Engineering Swarms of Cyber-Physical Systems with the CPSwarm Workbench

  title={Engineering Swarms of Cyber-Physical Systems with the CPSwarm Workbench},
  author={Micha Sende and Melanie Schranz and Gianluca Prato and Etienne Brosse and Omar Morando and Martina Umlauft},
Engineering swarms of cyber-physical systems (CPSs) is a complex process. We present the CPSwarm workbench that creates an automated design workflow to ease this process. This formalized workflow guides the user from modeling, to code generation, to deployment, both in simulation and on CPS hardware platforms. The workbench combines existing and emerging tools to solve real-world CPS swarm problems. As a proof-of-concept, we use the workbench to design a swarm of unmanned aerial vehicles (UAVs… Expand


The CPSwarm Technology for Designing Swarms of Cyber-Physical Systems
The CPSwarm approach aims to establish a science of system integration in the domain of swarms of CPS, i.e., of complex herds of heterogeneous CPSs that interact and collaborate based on local policies in order to solve complex industrial-driven and real-world problems. Expand
Modelling a CPS Swarm System: A Simple Case Study
An application of the initial CPSwarm workbench is shown by the example of a reference problem called EmergencyExit, where a swarm of robots needs to find an exit in an unmapped environment and leave this room through the exit as soon as possible. Expand
Designing Swarms of Cyber-Physical Systems: the H2020 CPSwarm Project: Invited Paper
The CPSwarm project, presented in this paper, aims at tackling these kinds of challenges by easing development and integration of complex herds of heterogeneous CPS through a combination of existing and emerging tools. Expand
Scalable Distributed Simulation for Evolutionary Optimization of Swarms of Cyber-Physical Systems
Swarms of cyber-physical systems can be used to tackle many challenges that traditional multi-robot systems fail to address. In particular, the self-organizing nature of swarms ensures they are bothExpand
Modeling Swarm Intelligence Algorithms for CPS Swarms
This paper proposes an approach to model the local behavior of individual CPSs using Swarm intelligence algorithms from a software engineering perspective and introduces a two-level hierarchy: the first level models the swarm intelligence algorithms as opaque blocks which are detailed in the second level by individual actions as activity diagrams. Expand
OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems
It is argued that the current vertically integrated, discipline-specific tool chains for CPS design need to be complemented with horizontal integration layers that support model integration, tool integration and design process integration. Expand
A Survey on Concepts, Applications, and Challenges in Cyber-Physical Systems
An extensive set of technical challenges are enumerated and specific applications are used to elaborate and provide insight into each specific concept in the Cyber-Physical System. Expand
A parallel hierarchical finite state machine approach to UAV control for search and rescue tasks
This position paper proposes a solution for the UAV control process using a Parallel Hierarchical Finite State Machine (PHFSM) that results in a high level system including all features required by an complex U drone control to search and rescue tasks. Expand
Co-modelling and co-simulation in the engineering of systems of cyber-physical systems
An approach to multidisciplinary design in which discrete-event models of computing elements are coupled with continuous-time models of physical processes and the environment is described, allowing the exploration of a design space of alternative allocations of responsibility to cyber and physical elements. Expand
Cyber Physical Systems: Design Challenges
  • Edward A. Lee
  • Computer Science
  • 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC)
  • 2008
It is concluded that it will not be sufficient to improve design processes, raise the level of abstraction, or verify designs that are built on today's abstractions to realize the full potential of cyber-Physical Systems. Expand