Skip to main content
Top
Published in:
Cover of the book

Open Access 2021 | OriginalPaper | Chapter

Dynamic Safety Certification for Collaborative Embedded Systems at Runtime

Authors : David Santiago Velasco Moncada, Daniel Schneider, Ana Petrovska, Nishanth Laxman, Felix Möhrle, Stefan Rothbauer, Marc Zeller, Chee Hung Koo, Samira Safdari

Published in: Model-Based Engineering of Collaborative Embedded Systems

Publisher: Springer International Publishing

loading …

Traditionally, integration and quality assurance of embedded systems are done entirely at development time. Moreover, since such systems often perform safety-critical tasks and work in human environments, safety analyses are performed and safety argumentations devised to convince certification authorities of their safety and to certify the systems if necessary. Collaborative embedded systems, however, are designed to integrate and collaborate with other systems dynamically at runtime. A complete prediction and analysis of all relevant properties during the design phase is usually not possible, as many influencing factors are not yet known. This makes the application of traditional safety analysis and certification techniques impractical, as they usually require a complete specification of the system and its context in advance. In the following chapter, we introduce new techniques to meet this challenge and outline a safety certification concept specifically tailored to collaborative embedded systems.

Metadata
Title
Dynamic Safety Certification for Collaborative Embedded Systems at Runtime
Authors
David Santiago Velasco Moncada
Daniel Schneider
Ana Petrovska
Nishanth Laxman
Felix Möhrle
Stefan Rothbauer
Marc Zeller
Chee Hung Koo
Samira Safdari
Copyright Year
2021
DOI
https://doi.org/10.1007/978-3-030-62136-0_8

Premium Partner