More than a decade ago, the research topic models@ run. time was coined. Since then, the
research area has received increasing attention. Given the prolific results during these …

Context Critical systems in domains such as aviation, railway, and automotive are often
subject to a formal process of safety certification. The goal of this process is to ensure that …

In recent years it has become more and more evident that openness and adaptivity are key
characteristics of next-generation distributed systems. The reason for this is not least due to …

The key property of models@ run. time systems is their use and provision of manageable
reflection, which is characterized to be tractable and predictable and by this overcomes the …

System-of-Systems (SoS) have been considered the new trend of software systems for
several reasons, such as the advancement of computer technology and the increasing …

Open adaptive systems are the basis for a promising new generation of embedded systems
with huge economic potential. In many application domains, however, the systems are safety …

Safety assurance and certification are amongst the most expensive and time-consuming
tasks in the development of safety-critical systems. Demonstration of compliance with safety …

Cooperative Intelligent Transportation System (C-ITS) is a prime example of Cyber-Physical
System (CPS)-Internet of Things (IoT), in that the mechanics are combined with electronic …

In recent years, the term cyber-physical systems has emerged to characterize a new
generation of embedded systems. In cyber-physical systems, embedded systems will be …

Context: Systems exhibiting anticipatory behavior are controlling devices that are influencing
decisions critical to business with increasing frequency, but testing such systems has …