Abstract
Cyber-Physical Systems (CPSs) provide enormous potential for innovation. Examples are modern road vehicles (assisted and autonomous driving), CPS road networks (car2x), power plants, smart grids and healthcare devices. However, due to the dynamic interconnection and the largely unpredictable number of possible system configurations the dependable cooperation of CPS can not be fully assured at design time. The malfunction of a CPS could threaten human life, cause environmental damage and major financial loss. In order to address these challenges, this paper presents an early excerpt of an ongoing holistic approach and toolchain architecture that supports the design, development, implementation, operation and maintenance of dependable CPS. The proposed approach uses the dependability information accumulated during the system specification process as an input configuration for self-adaptive systems. These self-adaptive systems then test and assure the dependability properties of the CPS throughout the whole system life cycle.
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
References
Graph Database Use Cases and Solutions. https://neo4j.com/use-cases/
Cherdantseva, Y., et al.: A review of cyber security risk assessment methods for SCADA systems. Comput. Secur. 56, 1–27 (2016)
Chockalingam, S., Hadžiosmanović, D., Pieters, W., Teixeira, A., van Gelder, P.: Integrated safety and security risk assessment methods: a survey of key characteristics and applications. In: Havarneanu, G., Setola, R., Nassopoulos, H., Wolthusen, S. (eds.) CRITIS 2016. LNCS, vol. 10242, pp. 50–62. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-71368-7_5
Dobaj, J.: INSpIRA: INtegrating Security Into Risk Assessment. In: 2018 IEEE/ACM 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2018), Gothenburg, Sweden, p. 5 (2018)
Information Security Forum: Threat Horizon 2017: Dangers accelerate (2015)
Gall, H.: Functional safety IEC 61508/IEC 61511 the impact to certification and the user (2008)
Glaessgen, E.H., Stargel, D.S.: The digital twin paradigm for future NASA and U.S. air force vehicles (2012)
Iber, J., Rauter, T., Krisper, M., Kreiner, C.: The potential of self-adaptive software systems in industrial control systems. In: Stolfa, J., Stolfa, S., O’Connor, R.V., Messnarz, R. (eds.) EuroSPI 2017. CCIS, vol. 748, pp. 150–161. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-64218-5_12
Information Security Forum: Threat Horizon 2019: Disruption, Distortion, Deterioration (2017)
International Organization for Standardization: ISO 26262 Road vehicles - Functional safety (2011)
APIS IQ-Software: Funktionale Sicherheit (2017). https://www.apis.de/
Kephart, J.O.J., Chess, D.D.M.: The vision of autonomic computing. Computer 1, 41–50 (2003)
Kreiner, C.: Trident architectural views - a pattern for dependable systems design (2015)
Macher, G., Armengaud, E., Schneider, D., Brenner, E., Kreiner, C.: Towards dependability engineering of cooperative automotive cyber-physical systems. In: Stolfa, J., Stolfa, S., O’Connor, R.V., Messnarz, R. (eds.) EuroSPI 2017. CCIS, vol. 748, pp. 205–215. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-64218-5_16
Macher, G., Much, A., Riel, A., Messnarz, R., Kreiner, C.: Automotive SPICE, safety and cybersecurity integration. In: Tonetta, S., Schoitsch, E., Bitsch, F. (eds.) SAFECOMP 2017. LNCS, vol. 10489, pp. 273–285. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-66284-8_23
Macher, G., Höller, A., Sporer, H., Armengaud, E., Kreiner, C.: Service Deterioration Analysis (SDA): an early development phase dependability analysis method. In: Proceedings - 2015 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN-W 2015, pp. 27–32 (2015). https://doi.org/10.1109/DSN-W.2015.13. ISBN 9781467380447
Messnarz, R., Kreiner, C., Macher, G., Walker, A.: Extending Automotive SPICE 3.0 for the use in ADAS and future self-driving service architectures. J. Softw.: Evol. Process 30(5), e1948 (2018). https://doi.org/10.1002/smr.1948
Messnarz, R., Kreiner, C.J., Riel, A.: Integrating Automotive SPICE, functional safety, and cybersecurity concepts: a cybersecurity layer model. Softw. Qual. Prof. 18(4), 13–23 (2016)
Much, A.: Automotive security: challenges, standards, and solutions. Softw. Qual. Prof. 18(4), 4–12 (2016)
Schmittner, C., Gruber, T., Puschner, P., Schoitsch, E.: Security application of failure mode and effect analysis (FMEA). In: Bondavalli, A., Di Giandomenico, F. (eds.) SAFECOMP 2014. LNCS, vol. 8666, pp. 310–325. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-10506-2_21
Schneider, D., Trapp, M., Papadopoulos, Y., Armengaud, E., Zeller, M., Hofig, K.: WAP: Digital dependability identities (2015)
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Dobaj, J., Iber, J., Krisper, M., Kreiner, C. (2018). Towards Executable Dependability Properties. In: Larrucea, X., Santamaria, I., O'Connor, R., Messnarz, R. (eds) Systems, Software and Services Process Improvement. EuroSPI 2018. Communications in Computer and Information Science, vol 896. Springer, Cham. https://doi.org/10.1007/978-3-319-97925-0_28
Download citation
DOI: https://doi.org/10.1007/978-3-319-97925-0_28
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-97924-3
Online ISBN: 978-3-319-97925-0
eBook Packages: Computer ScienceComputer Science (R0)