Self-Adaptive Communication for Collaborative Mobile Entities in ERCMS

International audienceAdaptation of communication is required for maintaining the connectivity and the quality of communication in group-wide collaborative activities. This becomes challenging to handle when considering mobile entities in a wireless environment, requiring responsiveness and availability of the communication system. We address these challenges in the context of the ROSACE project where mobile ground and flying robots have to collaborate with each other and with remote human and artificial actors to save and rescue in case of disasters such as forest fires. This paper aims to expose a communication component architecture allowing to manage a cooperative adaptation which is aware of the activity and resource context into pervasive environment. This allows to provide the appropriate adaptation of the activity in response to evolutions of the activity requirements and the changes in relation with the communication resource constraints. In this paper, we present a simulation of a ROSACE use case. The results show how ROSACE entities collaborate to maintain the connectivity and to enhance the quality of communications

Model-based provisioning and management of adaptive distributed communication in mobile cooperative systems

Adaptation of communication is required to maintain the reliable connection and to ensure the minimum quality in collaborative activities. Within the framework of wireless environment, how can host entities be handled in the event of a sudden unexpected change in communication and reliable sources? This challenging issue is addressed in the context of Emergency rescue system carried out by mobile devices and robots during calamities or disaster. For this kind of scenario, this book proposes an adaptive middleware to support reconfigurable, reliable group communications. Here, the system structure has been viewed at two different states, a control center with high processing power and uninterrupted energy level is responsible for global task and entities like autonomous robots and firemen owning smart devices act locally in the mission. Adaptation at control center is handled by semantic modeling whereas at local entities, it is managed by a software module called communication agent (CA). Modeling follows the well-known SWRL instructions which establish the degree of importance of each communication link or component. Providing generic and scalable solutions for automated self-configuration is driven by rule-based reconfiguration policies. To perform dynamically in changing environment, a trigger mechanism should force this model to take an adaptive action in order to accomplish a certain task, for example, the group chosen in the beginning of a mission need not be the same one during the whole mission. Local entity adaptive mechanisms are handled by CA that manages internal service APIs to configure, set up, and monitors communication services and manages the internal resources to satisfy telecom service requirements

Diseño de un robot móvil autónomo de telepresencia

The recent rise in tele-operated autonomous mobile vehicles calls for a seamless control architecture that reduces the learning curve when the platform is functioning autonomously (without active supervisory control), as well as when tele-operated. Conventional robot plat-forms usually solve one of two problems. This work develops a mobile base using the Robot Operating System (ROS) middleware for teleoperation at low cost. The three-layer architec-ture introduced adds or removes operator complexity. The lowest layer provides mobility and robot awareness; the second layer provides usability; the upper layer provides inter-activity. A novel interactive control that combines operator intelligence/ skill with robot/autonomous intelligence enabling the mobile base to respond to expected events and ac-tively react to unexpected events is presented. The experiments conducted in the robot laboratory summarises the advantages of using such a system.El reciente auge de los vehículos móviles autónomos teleoperados exige una arquitectura de control sin fisuras que reduzca la curva de aprendizaje cuando la plataforma funciona de forma autónoma (sin control de supervisión activo), así como cuando es teleoperada. Las plataformas robóticas convencionales suelen resolver uno de los dos problemas. Este tra-bajo desarrolla una base móvil que utiliza el middleware Robot Operating System (ROS) para la teleoperación a bajo coste. La arquitectura de tres capas introducida añade o elimina la complejidad del operador. La capa más baja proporciona movilidad y conciencia robótica; la segunda capa proporciona usabilidad; la capa superior proporciona interactividad. Se presenta un novedoso control interactivo que combina la inteligencia/habilidades del op-erador con la inteligencia autónoma del robot, lo que permite que la base móvil responda a los eventos esperados y reaccione activamente a los eventos inesperados. Los experi-mentos realizados en el laboratorio robótica resumen las ventajas de utilizar un sistema de este tipoDepartamento de Ingeniería de Sistemas y AutomáticaMáster en Electrónica Industrial y Automátic

A Generic Multi-Layer Architecture Based on ROS-JADE Integration for Autonomous Transport Vehicles

The design and operation of manufacturing systems is evolving to adapt to different challenges. One of the most important is the reconfiguration of the manufacturing process in response to context changes (e.g., faulty equipment or urgent orders, among others). In this sense, the Autonomous Transport Vehicle (ATV) plays a key role in building more flexible and decentralized manufacturing systems. Nowadays, robotic frameworks (RFs) are used for developing robotic systems such as ATVs, but they focus on the control of the robotic system itself. However, social abilities are required for performing intelligent interaction (peer-to-peer negotiation and decision-making) among the different and heterogeneous Cyber Physical Production Systems (such as machines, transport systems and other equipment present in the factory) to achieve manufacturing reconfiguration. This work contributes a generic multi-layer architecture that integrates a RF with a Multi-Agent System (MAS) to provide social abilities to ATVs. This architecture has been implemented on ROS and JADE, the most widespread RF and MAS framework, respectively. We believe this to be the first work that addresses the intelligent interaction of transportation systems for flexible manufacturing environments in a holistic form.This work was financed by MINECO/FEDER, UE (grant number DPI2015-68602-R) and by UPV/EHU (grant number PPG17/56)

Self-managed Workflows for Cyber-physical Systems

Workflows are a well-established concept for describing business logics and processes in web-based applications and enterprise application integration scenarios on an abstract implementation-agnostic level. Applying Business Process Management (BPM) technologies to increase autonomy and automate sequences of activities in Cyber-physical Systems (CPS) promises various advantages including a higher flexibility and simplified programming, a more efficient resource usage, and an easier integration and orchestration of CPS devices. However, traditional BPM notations and engines have not been designed to be used in the context of CPS, which raises new research questions occurring with the close coupling of the virtual and physical worlds. Among these challenges are the interaction with complex compounds of heterogeneous sensors, actuators, things and humans; the detection and handling of errors in the physical world; and the synchronization of the cyber-physical process execution models. Novel factors related to the interaction with the physical world including real world obstacles, inconsistencies and inaccuracies may jeopardize the successful execution of workflows in CPS and may lead to unanticipated situations. This thesis investigates properties and requirements of CPS relevant for the introduction of BPM technologies into cyber-physical domains. We discuss existing BPM systems and related work regarding the integration of sensors and actuators into workflows, the development of a Workflow Management System (WfMS) for CPS, and the synchronization of the virtual and physical process execution as part of self-* capabilities for WfMSes. Based on the identified research gap, we present concepts and prototypes regarding the development of a CPS WFMS w.r.t. all phases of the BPM lifecycle. First, we introduce a CPS workflow notation that supports the modelling of the interaction of complex sensors, actuators, humans, dynamic services and WfMSes on the business process level. In addition, the effects of the workflow execution can be specified in the form of goals defining success and error criteria for the execution of individual process steps. Along with that, we introduce the notion of Cyber-physical Consistency. Following, we present a system architecture for a corresponding WfMS (PROtEUS) to execute the modelled processes-also in distributed execution settings and with a focus on interactive process management. Subsequently, the integration of a cyber-physical feedback loop to increase resilience of the process execution at runtime is discussed. Within this MAPE-K loop, sensor and context data are related to the effects of the process execution, deviations from expected behaviour are detected, and compensations are planned and executed. The execution of this feedback loop can be scaled depending on the required level of precision and consistency. Our implementation of the MAPE-K loop proves to be a general framework for adding self-* capabilities to WfMSes. The evaluation of our concepts within a smart home case study shows expected behaviour, reasonable execution times, reduced error rates and high coverage of the identified requirements, which makes our CPS~WfMS a suitable system for introducing workflows on top of systems, devices, things and applications of CPS.:1. Introduction 15 1.1. Motivation 15 1.2. Research Issues 17 1.3. Scope & Contributions 19 1.4. Structure of the Thesis 20 2. Workflows and Cyber-physical Systems 21 2.1. Introduction 21 2.2. Two Motivating Examples 21 2.3. Business Process Management and Workflow Technologies 23 2.4. Cyber-physical Systems 31 2.5. Workflows in CPS 38 2.6. Requirements 42 3. Related Work 45 3.1. Introduction 45 3.2. Existing BPM Systems in Industry and Academia 45 3.3. Modelling of CPS Workflows 49 3.4. CPS Workflow Systems 53 3.5. Cyber-physical Synchronization 58 3.6. Self-* for BPM Systems 63 3.7. Retrofitting Frameworks for WfMSes 69 3.8. Conclusion & Deficits 71 4. Modelling of Cyber-physical Workflows with Consistency Style Sheets 75 4.1. Introduction 75 4.2. Workflow Metamodel 76 4.3. Knowledge Base 87 4.4. Dynamic Services 92 4.5. CPS-related Workflow Effects 94 4.6. Cyber-physical Consistency 100 4.7. Consistency Style Sheets 105 4.8. Tools for Modelling of CPS Workflows 106 4.9. Compatibility with Existing Business Process Notations 111 5. Architecture of a WfMS for Distributed CPS Workflows 115 5.1. Introduction 115 5.2. PROtEUS Process Execution System 116 5.3. Internet of Things Middleware 124 5.4. Dynamic Service Selection via Semantic Access Layer 125 5.5. Process Distribution 126 5.6. Ubiquitous Human Interaction 130 5.7. Towards a CPS WfMS Reference Architecture for Other Domains 137 6. Scalable Execution of Self-managed CPS Workflows 141 6.1. Introduction 141 6.2. MAPE-K Control Loops for Autonomous Workflows 141 6.3. Feedback Loop for Cyber-physical Consistency 148 6.4. Feedback Loop for Distributed Workflows 152 6.5. Consistency Levels, Scalability and Scalable Consistency 157 6.6. Self-managed Workflows 158 6.7. Adaptations and Meta-adaptations 159 6.8. Multiple Feedback Loops and Process Instances 160 6.9. Transactions and ACID for CPS Workflows 161 6.10. Runtime View on Cyber-physical Synchronization for Workflows 162 6.11. Applicability of Workflow Feedback Loops to other CPS Domains 164 6.12. A Retrofitting Framework for Self-managed CPS WfMSes 165 7. Evaluation 171 7.1. Introduction 171 7.2. Hardware and Software 171 7.3. PROtEUS Base System 174 7.4. PROtEUS with Feedback Service 182 7.5. Feedback Service with Legacy WfMSes 213 7.6. Qualitative Discussion of Requirements and Additional CPS Aspects 217 7.7. Comparison with Related Work 232 7.8. Conclusion 234 8. Summary and Future Work 237 8.1. Summary and Conclusion 237 8.2. Advances of this Thesis 240 8.3. Contributions to the Research Area 242 8.4. Relevance 243 8.5. Open Questions 245 8.6. Future Work 247 Bibliography 249 Acronyms 277 List of Figures 281 List of Tables 285 List of Listings 287 Appendices 28

Proceedings of Abstracts Engineering and Computer Science Research Conference 2019

© 2019 The Author(s). This is an open-access work distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited. For further details please see https://creativecommons.org/licenses/by/4.0/. Note: Keynote: Fluorescence visualisation to evaluate effectiveness of personal protective equipment for infection control is © 2019 Crown copyright and so is licensed under the Open Government Licence v3.0. Under this licence users are permitted to copy, publish, distribute and transmit the Information; adapt the Information; exploit the Information commercially and non-commercially for example, by combining it with other Information, or by including it in your own product or application. Where you do any of the above you must acknowledge the source of the Information in your product or application by including or linking to any attribution statement specified by the Information Provider(s) and, where possible, provide a link to this licence: http://www.nationalarchives.gov.uk/doc/open-government-licence/version/3/This book is the record of abstracts submitted and accepted for presentation at the Inaugural Engineering and Computer Science Research Conference held 17th April 2019 at the University of Hertfordshire, Hatfield, UK. This conference is a local event aiming at bringing together the research students, staff and eminent external guests to celebrate Engineering and Computer Science Research at the University of Hertfordshire. The ECS Research Conference aims to showcase the broad landscape of research taking place in the School of Engineering and Computer Science. The 2019 conference was articulated around three topical cross-disciplinary themes: Make and Preserve the Future; Connect the People and Cities; and Protect and Care

Federated Robust Embedded Systems: Concepts and Challenges

The development within the area of embedded systems (ESs) is moving rapidly, not least due to falling costs of computation and communication equipment. It is believed that increased communication opportunities will lead to the future ESs no longer being parts of isolated products, but rather parts of larger communities or federations of ESs, within which information is exchanged for the benefit of all participants. This vision is asserted by a number of interrelated research topics, such as the internet of things, cyber-physical systems, systems of systems, and multi-agent systems. In this work, the focus is primarily on ESs, with their specific real-time and safety requirements. While the vision of interconnected ESs is quite promising, it also brings great challenges to the development of future systems in an efficient, safe, and reliable way. In this work, a pre-study has been carried out in order to gain a better understanding about common concepts and challenges that naturally arise in federations of ESs. The work was organized around a series of workshops, with contributions from both academic participants and industrial partners with a strong experience in ES development. During the workshops, a portfolio of possible ES federation scenarios was collected, and a number of application examples were discussed more thoroughly on different abstraction levels, starting from screening the nature of interactions on the federation level and proceeding down to the implementation details within each ES. These discussions led to a better understanding of what can be expected in the future federated ESs. In this report, the discussed applications are summarized, together with their characteristics, challenges, and necessary solution elements, providing a ground for the future research within the area of communicating ESs

Classification and Management of Computational Resources of Robotic Swarms and the Overcoming of their Constraints

Swarm robotics is a relatively new and multidisciplinary research field with many potential applications (e.g., collective exploration or precision agriculture). Nevertheless, it has not been able to transition from the academic environment to the real world. While there are many potential reasons, one reason is that many robots are designed to be relatively simple, which often results in reduced communication and computation capabilities. However, the investigation of such limitations has largely been overlooked. This thesis looks into one such constraint, the computational constraint of swarm robots (i.e., swarm robotics platform). To achieve this, this work first proposes a computational index that quantifies computational resources. Based on the computational index, a quantitative study of 5273 devices shows that swarm robots provide fewer resources than many other robots or devices. In the next step, an operating system with a novel dual-execution model is proposed, and it has been shown that it outperforms the two other robotic system software. Moreover, results show that the choice of system software determines the computational overhead and, therefore, how many resources are available to robotic software. As communication can be a key aspect of a robot's behaviour, this work demonstrates the modelling, implementing, and studying of an optical communication system with a novel dynamic detector. Its detector improves the quality of service by orders of magnitude (i.e., makes the communication more reliable). In addition, this work investigates general communication properties, such as scalability or the effects of mobility, and provides recommendations for the use of such optical communication systems for swarm robotics. Finally, an approach is shown by which computational constraints of individual robots can be overcome by distributing data and processing across multiple robots

Situational awareness through IoT sensors : A smart healthcare system as a use case

Emerging technologies of the Internet of Things are getting increasingly significant and to some extent essential as well to the society we are living in. These technologies have shown ability over the time to be implemented in a number of different fields, for instance, Smart Home, Smart Building, Smart City, Smart Retail, Smart Supply Chain, Smart Farming, Smart Grid, Industrial Internet and many more. Incorporation of Internet of Things technologies in the healthcare sector has potential to benefit not only medical related enterprises but at the same time it can improve the overall health and well-being of individuals as well. The deployment of IoT integrated systems has to deal with fairly heterogeneous environments that consist of a large number of sensors and actuators which all can be quite different from one another in many aspects. For example, they can use different operating systems and can have different hardware architecture. Such sensors are sometimes used for situational awareness of the surrounding and for making the individuals interact better with their environment. Such variety of applications and tasks poses a problem for system designers and developers on the choice of the most suitable technology to be employed to accomplish a specific task. This thesis explores the potential of Internet of Things technologies in the medical sector. We used analytical hierarchical process to have a kind of situational awareness through IoT technologies. As an use case, a healthcare system was considered for elderly people with neurological problems who need special care – people suffering with dementia for example. At the same time we have taken into account for the proposed system that it would enable regular people track and monitor their usual activities with a focus on improving the quality of life and enhancing their overall wellbeing. It is of prime importance for the system designers and developers that they have an idea about the potential IoT technologies and applications that can help this cause. We have considered eleven different IoT technologies to select from for the proposed paradigm. The decision of selecting the most appropriate technology obviously depends upon different criteria. Every IoT technology has its pros and cons. According to the needs of the proposed healthcare system, we have constructed a multi-criteria hierarchical model to assess the potential of those eleven IoT technologies for the healthcare system and chosen the best one based on set criteria and sub criteria. A 4-tier Analytical Hierarchical model is used to compare those technologies in terms of their quality of service or effectiveness, their acceptability and from the cost perspective. These criteria are then further divided into sub-criteria and the technologies are compared with respect to these ten sub-criteria to have a more thorough and comprehensive analysis. For these comparisons, quantitative data were collected from the internet including IEEE articles, and some of the comparisons are purely subjective. The results indicate that wide-area low-power solutions show more potential for the proposed healthcare system than other IoT technologies which we used for comparison, and SigFox tops the table. Also WiFi solutions have shown significant potential. But again, every technology has its shortcomings as well. Further studies are needed to see if we can somehow make a hybrid healthcare system that utilizes multiple IoT technologies and incorporate the plus points of all of them into the system; such future system can prove to be revolutionary in the medical care