Abstract
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.
Keywords
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Proff, H., Schönharting, J., Schramm, D., Ziegler, J.: Zukünftige Entwicklungen in der Mobilität. Springer, Wiesbaden (2012, in German). https://doi.org/10.1007/978-3-8349-7117-3
Schneider, D., Trapp, M.: Engineering conditional safety certificates for open adaptive systems. IFAC Proc. Vol. 46(22), 139–144 (2013)
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)
Back, R.J.R., Sere, K.: Superposition refinement of reactive systems. Formal Aspects Comput. 8, 324–346 (1996)
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)
Schneider, D.: Conditional Safety Certification for Open Adaptive Systems. Doctoral thesis, Fraunhofer IRB Verlag, Germany (2014). ISBN:383960690X 9783839606902
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)
Schneider, D., et al.: WAP: digital dependability identities. In: IEEE 26th International Symposium Software Reliability Engineering (ISSRE), pp. 324–329 (2015)
Eckel, A., et al.: State of the art and SoA architecture requirements report. Edited by EMC2 Project Consortium (2014)
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)
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)
International Organization for Standardization: ISO 26262-10 Clause 9: Road Vehicles - Functional Safety – Safety Element out of Context Development (2010)
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)
Acknowledgements
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).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Reich, J., Schneider, D. (2018). Towards (Semi-)Automated Synthesis of Runtime Safety Models: A Safety-Oriented Design Approach for Service Architectures of Cooperative Autonomous Systems. In: Gallina, B., Skavhaug, A., Schoitsch, E., Bitsch, F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2018. Lecture Notes in Computer Science(), vol 11094. Springer, Cham. https://doi.org/10.1007/978-3-319-99229-7_13
Download citation
DOI: https://doi.org/10.1007/978-3-319-99229-7_13
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-99228-0
Online ISBN: 978-3-319-99229-7
eBook Packages: Computer ScienceComputer Science (R0)