Dynamic Safety Certification for Collaborative Embedded Systems at Runtime

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.

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.

@InProceedings{Moncada2021,
  pages     = {171--196},
  title     = {Dynamic Safety Certification for Collaborative Embedded Systems at Runtime},
  publisher = {Springer International Publishing},
  year      = {2021},
  author    = {Moncada, David Santiago Velasco and Schneider, Daniel and Petrovska, Ana and Laxman, Nishanth and M{\"o}hrle, Felix and Rothbauer, Stefan and Zeller, Marc and Koo, Chee Hung and Safdari, Samira},
  editor    = {B{\"o}hm, Wolfgang and Broy, Manfred and Klein, Cornel and Pohl, Klaus and Rumpe, Bernhard and Schr{\"o}ck, Sebastian},
  address   = {Cham},
  isbn      = {978-3-030-62136-0},
  abstract  = {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.},
  booktitle = {Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology},
  doi       = {10.1007/978-3-030-62136-0_8},
  url_pdf   = {https://link.springer.com/content/pdf/10.1007%2F978-3-030-62136-0_8.pdf}
}

Downloads: 3