Abstract: 

The domain of software-intensive systems in general and Cyber-Physical Systems (CPS) in particular has drawn considerable attention from both industry and academia in recent years. CPS differ from traditional software systems as they include both software and hardware components, with feedback loops where physical processes and computations affect each other, and where humans are involved in the decision-making process.
This shift from traditional software systems towards pervasive systems where software, hardware, and the human actors controlling them are deeply interwoven, has a significant impact on how these systems are designed, implemented, tested, and maintained, posing new challenges and opportunities to researchers.
Particularly, small (semi-)autonomous vehicles such as unmanned aerial vehicles (UAVs) or small autonomous robots have gained widespread use, with frequent interaction with humans, such as UAVs engaged in search-and-rescue flights, introducing various safety concerns that need to be mitigated. To mitigate against these threats, precautionary measures need to be taken to ensure that a CPS adheres to its specified requirements and operates within its predefined safety envelope. One crucial aspect for addressing these issues is runtime monitoring, i.e., collecting, and analyzing diverse runtime properties for detecting and mitigating potential safety and security issues.
This talk explores tools, methods, and frameworks to create digital representations of a running system, using runtime models, and to ensure that the system adheres to its requirements. Furthermore, it discusses opportunities for leveraging testing, combined with runtime monitoring to create a monitoring platform, and how simulation environments and new paradigms such as Human-on-the-Loop and Human Machine Teaming affect the behavior and monitoring needs of these systems.