Towards (Semi-)Automated Synthesis of Runtime Safety Models: A Safety-Oriented Design Approach for Service Architectures of Cooperative Autonomous Systems

  • Jan ReichEmail author
  • Daniel Schneider
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11094)


Future automotive systems will exhibit ever-higher grades of automation up to the point of autonomy. The full potential in automation can only be unlocked when combining it with the capability of cooperation, leading to the vision of comprehensively networked cooperative autonomous systems (CAS). To enable a safe CAS cooperation at runtime, we introduced the ConSert approach in previous work, which allows fully automated safety interface compatibility checks in the field based on runtime safety models. However, a systematic engineering approach for synthesizing these runtime safety models based on design time architecture and safety models does not exist to date. As all safety-engineering activities require the functional description of a system as input, we describe in this paper, how a top-down service-based design approach can look like for CAS, preparing an effective safety analysis and formulation of black-box behavioral deviation bounds in shape of safety guarantees and demands. Thereby, we point out challenges, which especially occur due to the complexity introduced by the distributed development of CAS. These challenges are exemplified for the traffic light assistant system, an example CAS from the automotive domain.


Safety interface synthesis ConSerts Service architecture 



The work presented in this paper was created in context of the DEIS Project (Dependability Engineering Innovation for CPS), which is funded by the European Commission (Grant Agreement No. 732242).


  1. 1.
    Proff, H., Schönharting, J., Schramm, D., Ziegler, J.: Zukünftige Entwicklungen in der Mobilität. Springer, Wiesbaden (2012, in German). Scholar
  2. 2.
    Schneider, D., Trapp, M.: Engineering conditional safety certificates for open adaptive systems. IFAC Proc. Vol. 46(22), 139–144 (2013)CrossRefGoogle Scholar
  3. 3.
    Kural, E., Jones, S., Parrilla, A., Grauers, A.: Traffic light assistant system for optimized energy consumption in an electric vehicle. In: International Conference on Connected Vehicles and Expo (ICCVE), Vienna, Austria, pp. 604–611 (2014)Google Scholar
  4. 4.
    Back, R.J.R., Sere, K.: Superposition refinement of reactive systems. Formal Aspects Comput. 8, 324–346 (1996)CrossRefGoogle Scholar
  5. 5.
    Feth, P., Adler, R.: Service-based modeling of cyber-physical automotive systems: a classification of services. In: Workshop CARS 2016 – Critical Automotive Applications: Robustness and Safety (2016)Google Scholar
  6. 6.
    Schneider, D.: Conditional Safety Certification for Open Adaptive Systems. Doctoral thesis, Fraunhofer IRB Verlag, Germany (2014). ISBN:383960690X 9783839606902Google Scholar
  7. 7.
    Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1(1), 11–33 (2004)CrossRefGoogle Scholar
  8. 8.
    Schneider, D., et al.: WAP: digital dependability identities. In: IEEE 26th International Symposium Software Reliability Engineering (ISSRE), pp. 324–329 (2015)Google Scholar
  9. 9.
    Eckel, A., et al.: State of the art and SoA architecture requirements report. Edited by EMC2 Project Consortium (2014)Google Scholar
  10. 10.
    Röckl, M., Gacnik, J., Schomerus, J.: Integration of Car-2-Car communication as a virtual sensor in automotive sensor fusion for advanced driver assistance systems. In: Proceedings of FISITA 2008. Springer Automotive Media (2008)Google Scholar
  11. 11.
    Wagner, M., Zobel, D., Meroth, A.: SODA: service-oriented architecture for runtime adaptive driver assistance systems. In: 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing. Institute of Electrical and Electronics Engineers (IEEE) (2014)Google Scholar
  12. 12.
    International Organization for Standardization: ISO 26262-10 Clause 9: Road Vehicles - Functional Safety – Safety Element out of Context Development (2010)Google Scholar
  13. 13.
    Trapp, M., Weiss, G., Schneider, D.: Towards safety-awareness and dynamic safety management. In: Proceedings of IEEE 14th European Dependable Computing Conference (EDCC) (2018, to be published)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  1. 1.Fraunhofer IESEKaiserslauternGermany

Personalised recommendations