Rapid Development Of Embedded Control Software Using Variable-Detail Modelling And Model-To-Code Transformation

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

Tooling for automated testing of cyber-physical system models

“…The workflow discussed in this sections is based on previous work on how to design CPS [2]. This way of working is used as it allows for multiple levels of detail in the design, which allows for testing during different stages of development.…”

“…These challenges are based on the interaction between different domains, and the issues that can crop up based on timing and boundary conditions. A way to tackle these design challenges has been proposed in earlier work [2], based on an iterative design approach. This required clear requirements for the final system under development (SUD), and the different stages of the design.…”