How do you develop and test your software systems? Not only systems that make safety-relevant decisions in an automated manner need to be validated. We are living in a world of embedded systems and complex architectural systems that control physical processes. One example is the braking process of a car, which is nowadays supported by a large number of assistance systems, such as ABS or ESP.
With cyber-physical systems, i.e., communicating embedded systems that can self-adapt to their environment and learn new tasks, the challenges for systems engineers are growing. Hence, systems need to change. This leads to entirely new challenges regarding the architecture of these systems.
In the absence of empirical data, the only means to evaluate new architectural concepts is to build real prototypes. The selection of the best concepts requires the realization of very many prototypes. This causes very high costs and long development cycles.