The inherent multidisciplinary nature of cyberphysical systems makes it difficult to get early insight in key system properties and trade-offs that have to be made. Our aim is to support system architects of such systems by facilitating the co-simulation of models from different disciplines and design space exploration. This has been achieved by defining a domainspecific language called CoHLA which allows a high-level description of a system architecture and simulation parameters to be specified. A generator has been implemented that generates a co-simulation of component models using an implementation of the HLA standard. Component models that adhere to the FMI standard can be incorporated easily. Moreover, CoHLA includes primitives to express design space parameters and metrics; this information is used to generate tooling for automated design space exploration.

No abstract

This paper shows a method for the development of embedded control software of a cyber-physical system. The approach consists of two parts, a cycle for the rapid development of a set of features based on agile software development, and a variable-detail approach using modeldriven development to develop and test single features. The method is used to develop the control system of a mini-segway, which is able to balance, steer and drive. This structured method gives effective results and a large set of models for future development. • Order and split the features and levels of detail as

The multidisciplinary nature of the design of cyberphysical systems makes it hard to gain insight in the system behaviour early in the design process. Our aim is to allow the designers to analyse the integration of system components as well as the behaviour of the complete system in an early stage. This is achieved by creating abstract component models and refining them throughout the design process. After every refinement cycle, the models can be co-simulated to analyse the behaviour of the system, supporting design decisions. The cosimulation is created based on existing standards such as HLA and FMI and uses a domain-specific language to construct a co-simulation automatically. This approach is illustrated using a case study which resembles a confidential industrial case.

This work presents a tool for automatic testing of cyber-physical systems via simulation. Cyber-physical system design can benefit from this automated testing as it allows for system-level requirements and prevents regression of the design.The tool is based on three parts: A testing language, a simulator controller, and a post processor. The testing language is a domain-specific language based on a Gherkin style syntax and can define test for multiple models and simulators. The domain specific language also defines algebraic, logical, and linear temporal logic transformations for outputs to define testing conditions. The tool can perform different sub-sets of tests based on a graphical or command line interface.The tool is demonstrated using an example where a motor is selected for a winch system. Here it is shown that the tool can verify component-and system-level requirements, and can detect regression. The tool is basis for a method supporting the design of cyber-physical systems.