Software updates are indispensable for the continuous development of Cyber Physical
Systems (CPS): They allow for low-cost bug-fixing, fast adaptation to new or changing …

Our aim is to contribute to bridging the gap between the justified need from industry to reuse
third-party components and skepticism of the safety community in integrating and reusing …

Composable safety certification envisions reuse of safety case argument-fragments together
with safety-relevant components in order to reduce the cost and time needed to achieve …

Over the last 20 years, embedded systems have evolved from closed, rather static single-
application systems towards open, flexible, multi-application systems of systems. While this …

In order to maintain Europe as world leader in development of safety relevant systems one
of the keys would be to join together the European industrial, academic and scientific …

Due to the increasing electronic and software portions in Cyber Physical Systems (CPSs),
such as highly automated cars, and their safety-criticality, thorough verification and …

Both verification and validation aim to improve the quality of software products during the
development process. They use techniques like formal methods, symbolic execution, formal …

In recent years we have witnessed two different, very strong trends in the domain of
embedded systems: collaboration between systems and more cores per chip. The trend …

Abstract Speculative Software Modification (SSM) is an engineering approach for modifying
software for which either minimal or no software development information and/or artifacts are …

Safety-critical systems usually need to be certified according a domain-specific safety
standard. To reduce the cost and time needed to achieve the safety certification, reuse of …