Towards (Semi-)Automated Synthesis of Runtime Safety Models: A Safety-Oriented Design Approach for Service Architectures of Cooperative Autonomous Systems
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.
KeywordsSafety 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).
- 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
- 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.Schneider, D.: Conditional Safety Certification for Open Adaptive Systems. Doctoral thesis, Fraunhofer IRB Verlag, Germany (2014). ISBN:383960690X 9783839606902Google Scholar
- 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.Eckel, A., et al.: State of the art and SoA architecture requirements report. Edited by EMC2 Project Consortium (2014)Google Scholar
- 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.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.International Organization for Standardization: ISO 26262-10 Clause 9: Road Vehicles - Functional Safety – Safety Element out of Context Development (2010)Google Scholar
- 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