scispace - formally typeset
Search or ask a question
Author

I. El-Aroussi

Bio: I. El-Aroussi is an academic researcher from Middlesex University. The author has contributed to research in topics: Usability & Software. The author has an hindex of 1, co-authored 1 publications receiving 3 citations.

Papers
More filters
Proceedings ArticleDOI
14 Jun 2018
TL;DR: A detailed description of the Middlesex RoboTic platfOrm platform is provided, whose hardware specifications and software libraries are all released open source; a number of teaching usages of the platform are described, and some of its aspects in terms of effectiveness, usability, and maintenance are evaluated.
Abstract: This paper introduces the Middlesex RoboTic platfOrm (MIRTO), an open-source platform that has been used for teaching First Year Computer Science students since the academic year 2013/2014, with the aim of providing a physical manifestation of Software Engineering concepts that are often delivered using only abstract or synthetic case studies. In this paper we provide a detailed description of the platform, whose hardware specifications and software libraries are all released open source; we describe a number of teaching usages of the platform, report students' projects, and evaluate some of its aspects in terms of effectiveness, usability, and maintenance.

3 citations


Cited by
More filters
Dissertation
28 Nov 2018
TL;DR: This thesis reviews the logical and mathematical basis of stateless abstractions and takes steps towards the software implementation of agoric modelling as a framework for simulation and verification of the reliability of increasingly complex systems, and reports on experimental results related to a few select applications.
Abstract: In the past two decades advances in miniaturisation and economies of scale have led to the emergence of billions of connected components that have provided both a spur and a blueprint for the development of smart products acting in specialised environments which are uniquely identifiable, localisable, and capable of autonomy. Adopting the computational perspective of multi-agent systems (MAS) as a technological abstraction married with the engineering perspective of cyber-physical systems (CPS) has provided fertile ground for designing, developing and deploying software applications in smart automated context such as manufacturing, power grids, avionics, healthcare and logistics, capable of being decentralised, intelligent, reconfigurable, modular, flexible, robust, adaptive and responsive. Current agent technologies are, however, ill suited for information-based environments, making it difficult to formalise and implement multiagent systems based on inherently dynamical functional concepts such as trust and reliability, which present special challenges when scaling from small to large systems of agents. To overcome such challenges, it is useful to adopt a unified approach which we term agoric computation, integrating logical, mathematical and programming concepts towards the development of agent-based solutions based on recursive, compositional principles, where smaller systems feed via directed information flows into larger hierarchical systems that define their global environment. Considering information as an integral part of the environment naturally defines a web of operations where components of a systems are wired in some way and each set of inputs and outputs are allowed to carry some value. These operations are stateless abstractions and procedures that act on some stateful cells that cumulate partial information, and it is possible to compose such abstractions into higher-level ones, using a publish-and-subscribe interaction model that keeps track of update messages between abstractions and values in the data. In this thesis we review the logical and mathematical basis of such abstractions and take steps towards the software implementation of agoric modelling as a framework for simulation and verification of the reliability of increasingly complex systems, and report on experimental results related to a few select applications, such as stigmergic interaction in mobile robotics, integrating raw data into agent perceptions, trust and trustworthiness in orchestrated open systems, computing the epistemic cost of trust when reasoning in networks of agents seeded with contradictory information, and trust models for distributed ledgers in the Internet of Things (IoT); and provide a roadmap for future developments of our research.

8 citations

Book ChapterDOI
11 Sep 2017
TL;DR: The need for embedding creativity in the UK higher education computing curriculum and some of the challenges associated with this are explored and a number of recommendations are made.
Abstract: We explore the need for embedding creativity in the UK higher education computing curriculum and some of the challenges associated with this We identify some of the initiatives and movements in this area and discuss some of the work that has been carried out We then describe some of the ways we have tried to meet these challenges and reflect on our degree of success with respect to the goal of producing graduates who are fit for the myriad of job opportunities they will come across in a rapidly changing technology landscape Finally, we make a number of recommendations

2 citations