Abstract
Cyber-Physical Systems (CPS) harbor the enormous potential for societal improvement in terms of safety, comfort and economic efficiency. However, these benefits will only be unlocked if the safety of these systems can be assured with a sufficient level of confidence. Traditional safety engineering and assurance approaches alone cannot address the CPS-inherent uncertainties and unknowns induced by openness and adaptivity. Runtime safety assurance approaches such as Conditional Safety Certificates (ConSerts) represent novel means to cope with CPS assurance challenges by introducing modular and formalized safety arguments with variant support, thereby shifting the final safety certification step to runtime. However, the systematic engineering of ConSerts at design-time is a complex task which, up to now, has not been sufficiently addressed. Without systematic safety assurance at both design-time and runtime, CPS will hardly be assurable with acceptable confidence given the uncertainties and unknowns. In this paper, we present an engineering method for synthesizing ConSerts based on Digital Dependability Identities (DDI). The approach is demonstrated for a cooperative vehicle platooning function (CACC) from an industrial case study.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Schneider, D.: Conditional safety certification for open adaptive systems. Dissertation, Technical University of Kaiserslautern, Germany (2014). ISBN 978-3-8396-0690-2
Schneider, D., et al.: WAP: digital dependability identities. In: Proceeding of IEEE International Symposium on Software Reliability Engineering (ISSRE), pp. 324–329 (2015)
DEIS Consortium: Dependability engineering innovation for cyber-physical systems project dissemination. http://www.deis-project.eu/dissemination/. Accessed 21 May 2019
Reich, J., Zeller, M., Schneider, D.: Automated evidence analysis of safety arguments using digital dependability identities. In: Romanovsky, A., Troubitsyna, E., Bitsch, F. (eds.) SAFECOMP 2019. LNCS, vol. 11698, pp. 254–268. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-26601-1_18
Kabir, S., et al.: A runtime safety analysis concept for open adaptive systems. In: Papadopoulos, Y., Aslansefat, K., Katsaros, P., Bozzano, M. (eds.) IMBSA 2019. LNCS, vol. 11842, pp. 332–346. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-32872-6_22
Shalev-Shwartz, S., Shammah, S., Shashua, A.: On a formal model of safe and scalable self-driving cars. Intel/Mobileye (2017). http://arxiv.org/pdf/1708.06374v5
Reich, J., Schneider, D.: Towards (semi-)automated synthesis of runtime safety models: a safety-oriented design approach for service architectures of cooperative autonomous systems. In: Proceeding of 13th International Workshop on Dependable Smart Embedded and Cyber-physical Systems and Systems-of-Systems (DECSOS), Västerås, Sweden (2018)
Adler, R., Schneider, D., Höfig, K.: Evolution of fault trees from hardware safety analysis to integrated analysis of software-intensive control systems. In: Proceeding of 27th European Safety and Reliability Conference (ESREL), Portoroz, Slovenia (2017)
Kelly, T., Weaver, R.: The goal structuring notation - a safety argument notation. In: Proceeding of the Dependable Systems and Networks Workshop (2004)
Wei, R., Kelly, T.P., Dai, X., Zhao, S., Hawkins, R.: Model-based system assurance using the structured assurance case metamodel. J. Syst. Softw. 154, 211–233 (2019). https://doi.org/10.1016/j.jss.2019.05.013
Pohl, K., Hönninger, H., Achatz, R., Broy, M. (eds.): Model-Based Engineering of Embedded Systems – The SPES 2020 Methodology. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-34614-9
de la Vara, J.L., et al.: Model-based specification of safety compliance needs for critical systems: a holistic generic metamodel. Inf. Softw. Technol. 72, 16–30 (2016)
Eggert, J.: Predictive risk estimation for intelligent ADAS functions. In: IEEE 17th International Conference on Intelligent Transportation Systems (ITSC), Qingdao, China (2014)
Trapp, M., Schneider, D., Weiss, G.: Towards safety-awareness and dynamic safety management. In: 14th European Dependable Computing Conference (EDCC), Iasi, Romania (2018)
Acknowledgment
This work was funded by the DEIS Project (EC Grant 732242).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Reich, J. et al. (2020). Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities. In: Casimiro, A., Ortmeier, F., Bitsch, F., Ferreira, P. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2020. Lecture Notes in Computer Science(), vol 12234. Springer, Cham. https://doi.org/10.1007/978-3-030-54549-9_1
Download citation
DOI: https://doi.org/10.1007/978-3-030-54549-9_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-54548-2
Online ISBN: 978-3-030-54549-9
eBook Packages: Computer ScienceComputer Science (R0)