Dynamic Safety Certification for Collaborative Embedded Systems at Runtime. Moncada, D. S. V., Schneider, D., Petrovska, A., Laxman, N., Möhrle, F., Rothbauer, S., Zeller, M., Koo, C. H., & Safdari, S. In Böhm, W., Broy, M., Klein, C., Pohl, K., Rumpe, B., & Schröck, S., editors, Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology, pages 171–196, Cham, 2021. Springer International Publishing.
Dynamic Safety Certification for Collaborative Embedded Systems at Runtime [pdf]Pdf  doi  abstract   bibtex   3 downloads  
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.

Downloads: 3