{"id":1109,"date":"2019-11-19T09:15:46","date_gmt":"2019-11-19T09:15:46","guid":{"rendered":"https:\/\/www.cpswarm.eu\/?page_id=1109"},"modified":"2019-11-19T09:56:51","modified_gmt":"2019-11-19T09:56:51","slug":"cpswarm-workbench","status":"publish","type":"page","link":"https:\/\/www.cpswarm.eu\/index.php\/cpswarm-workbench\/","title":{"rendered":"CPSwarm Workbench"},"content":{"rendered":"

The CPSwarm Workbench and associated tools have significantly evolved over the course of the project. The evolutions have resulted in a system with better integration and individual components with high potential for exploitability beyond the CPSwarm project.
\nThe following summarizes the current state of the components and provides a walkthrough of the CPSwarm system, and the set of libraries provided by the CPswarm project: Modelling and Behavior libraries.<\/p>\n

\n

CPSwarm Workbench and Associated Tools<\/h1>\n
\n

Fig. 1 illustrates the final architecture design for the CPSwarm system with the following set of components:<\/p>\n

    \n
  1. Launcher Service<\/li>\n
  2. Modelling Tool<\/li>\n
  3. Simulation and Optimization Environment<\/li>\n
  4. Code Generator<\/li>\n
  5. Deployment Tool<\/li>\n
  6. Monitoring & Command Tool<\/li>\n<\/ol>\n
    \"CPSwarm
    Fig.1 – CPSwarm Architecture.<\/center><\/figcaption><\/figure>\n

    This design divides the CPSwarm system into two logical groups based on the deployment model. The components that are used during design time are part of the CPSwarm Workbench. On the other hand, the Monitoring & Command Tool and Swarm Member are considered as part of the Runtime Environment.<\/p>\n

    To leverage all the features provided by the CPSwarm Workbench, the entry point for the user is the Launcher Service. The next section explains all the design and development tasks that the user can execute using the CPSwarm Tools accessibile and configurable through the Launcher Service.<\/p>\n

    \n

    CPSwarm functionalities<\/h2>\n
    \n

    The Launcher Service is a thin, central component that acts as a portal and starting point of interaction with other components of the system. The Launcher Service manages inputs and outputs of the component and offers a minimalistic user interface to guide the user toward different design steps and to set components configurations for launching different components, see Figure 2.<\/p>\n

    \"CPSwarm
    Fig.2 – Screenshot of the Launcher.<\/center><\/figcaption><\/figure>\n

    For more details, please check out the Launcher on GitHub.<\/a> Through the Launcher, the user has access to the following functionalities provided by the CPSwarm tools.<\/p>\n

    \n

    Swarm Modelling<\/h3>\n
    \n

    During the Swarm Modelling phase, CPSwarm workbench guides the user to define\/model several aspects of CPS swarm. The launcher helps the user to manage its different modelling projects by selecting an existing project or creating a new one and open it.<\/p>\n

    \"CPSwarm
    Fig.3 – Screenshot of the Modelling Tool while designing the architecture of a drone.<\/center><\/figcaption><\/figure>\n

    Once a Modelling project is opened, Figure 3, the user can define or update one of the CPS swarm aspects by using CPSwarm Modelling language.<\/a> Among these aspects, the first one can be the swarm behavior which are modelled as UML state machine. For more details, please check out the Swarm Modelling Tool on GitHub.<\/a><\/p>\n

    \n

    Simulation & Optimization<\/h3>\n
    \n

    The Simulation and Optimization step allows testing the swarm modelled with Modelling Tool. The Launcher can be used to run the Simulation and Optimization Orchestrator (SOO).<\/p>\n

    \"CPSwarm
    Fig.4 – Optimization Monitoring.<\/center><\/figcaption><\/figure>\n

    The Simulation and Optimization Orchestrator is the centralized component connected, from one side to the Launcher and from the other side to the Optimization Tool (OT) and to a set of distributed Simulation Managers (SM)s using the eXtensible Messaging and Presence Protocol (XMPP) protocol. During the optimization, the process can be monitored using the data provided by the SMs. Figure 4 shows a chart generated by Thingsboard<\/a> to monitor a running optimization). For more details, please check out the following projects on CPSwarm GitHub and the relative wiki pages:<\/p>\n

    Simulation and Optimization Orchestrator<\/a><\/p>\n

    Optimization Tool<\/a><\/p>\n

    Simulation Manager for Stage<\/a><\/p>\n

    Simulation Manager for Gazebo<\/a><\/p>\n

    \n

    Code Generation<\/h3>\n
    \n

    The Code Generator has a central role in driving the flow of the toolchain from the modeling part to the deployment of the code on the actual CPS. Inside the CPSwarm Workbench, the Code Generator is responsible to translate design-level modeled behaviors into concrete and executable code as it is shown in Figure 5.<\/p>\n

    \"CPSwarm
    Fig.5 – Interconnection between different workbench’s components.<\/center><\/figcaption><\/figure>\n

    The first version of the Code Generator supports the generation of code starting from the formal description of a Finite State Machine using the SCXML standard. For more details, please check out the Code Generation Tool on GitHub.<\/a><\/p>\n

    \n

    Swarm Deployment<\/h3>\n
    \n

    The swarm deployment stage is where the source codes, configuration files, or artifacts are transferred to swarm devices. The source codes are generated codes as well as library files and other handwritten pieces of code. Configuration files are generated after modelling or provided by the software developer or the deployer. Lastly, artifacts are packages that include software or other resources.<\/p>\n

    \"CPSwarm
    Fig.6 – Deployment Tool\u2019s web interface for viewing the devices and their status.<\/center><\/figcaption><\/figure>\n

    Once the necessary files are ready for deployment, the user can launch the server component of the Deployment Tool and then open its web interface. Figure 6 is a screenshot of the device management page on the Deployment Tool\u2019s web interface. The web interface of the Deployment Tool enables the user to see available swarm devices or initiate the secure registration of new ones. The user may update the meta-information about the devices, see the current running applications, and monitor the status of the devices in a list or on the map. For more details, please check out the Swarm Deployment Tool on GitHub.<\/a><\/p>\n

    \n

    Monitoring and Command<\/h3>\n
    \n

    The monitoring and command part of the workflow serves as a mean to support the configuration of the swarm and on the other side to monitor its behavior during operation. The Monitoring and Command Tool is used as part of the Runtime Environment and after the deployment phase. The user may use the Launcher to start the Monitoring and Command Tool\u2019s server and its web-based graphical user interface. The basic user interface is depicted in Figure 7.<\/p>\n

    \"CPSwarm
    Fig.7 – Basic Monitoring and Configuration Tool user interface<\/center><\/figcaption><\/figure>\n

    The user interface enables the user to start a mission, monitor the actual status of the swarm, as well as to send configuration\/reconfiguration commands to modify\/update the swarm behavior, e.g., to abort the mission or to re-purpose part of the swarm members.<\/p>\n

    \n

    CPSwarm Libraries<\/h2>\n
    \n

    The CPSwarm opensource software includes  this set of libraries that can be used to design and develop CPSs swarm applications.<\/p>\n

    \n

    Modelling Library<\/h3>\n
    \n

    The Modelling Tool, within the CPSwarm project includes the software Modelio<\/a> and its CPSwarm extension. Modelio is a standalone desktop application that provides a UI for user to do generic modelling work. The CPSwarm extension is a plugin of Modelio which provides CPSwarm-related functionality.<\/p>\n

    \"CPSwarm
    Fig.7 – Modelling project of the Modelling library.<\/center><\/figcaption><\/figure>\n

    The modelling library is needed by the Modelio CPSwarm extension, so Modelio CPSwarm extension build includes modelling library release to be deployed and available together with the extension. Figure 7 shows the Modelling Library as part of the Modelling Tool. This model is exported and included during CPS extension build.<\/p>\n

    \n

    Behavior Library<\/h3>\n
    \n

    The Behavior Library consists of Abstraction Library, Swarm Library, and Communication Library. It is based on the latest ROS long-term support release ROS Kinetic Kame<\/a>. Newer versions may also work.<\/p>\n

    \n

    Abstraction Library<\/h4>\n
    \n
    The CPSwarm Abstraction Library covers two different roles: the former is to provide a set of CPS-specific adaptation libraries in order to access platform-specific information of a robotic system in a standard and coherent way. The latter is to provide support for the development of<\/div>\n
    algorithms using a Model-Driven approach that can be deployed on CPSs using an automated code generation process.<\/div>\n
    <\/div>\n
    The abstraction library is subdivided in three main parts:<\/div>\n