Abstract
Numerous industrial sectors are investing in Cyber-Physical-Systems (CPS). CPS provide their functionality by the interaction of various subsystems which are usually developed by different suppliers and are expected to cooperate safely. The open and cooperative nature of CPS poses a significant challenge for industrial sectors with stringent dependability constraints, such as, autonomous automobile systems, medical monitoring, process control systems, or automatic pilot avionics. As CPS may reconfigure itself during run-time, for instance in order to handle failures or to adapt on changing conditions (such as connected car features relying on availability of environmental information), the dependability of this adaptation must still be ensured. To tackle this assurance issue, several recommendations rely on a set of contracts to describe components attributes and evaluate the robustness of the configuration at run-time. In our research project, DEIS, we address these important and unsolved challenges by developing technologies for dependable system integration at run-time. At the core of these technologies lies the concept of a Digital Dependability Identity (DDI) of a component or system. DDIs are composable and executable in-the-field, facilitating (a) efficient synthesis of component and system dependability information over the supply chain and (b) effective evaluation of this information in-the-field for safe and secure composition of highly distributed and autonomous CPS. In contrast to other approaches mainly focusing on software specifics (such as SOME/IP or other SoA approaches), DDI focuses on system development level (also taking into account HW specifics and system decomposition). The paper is describing the approach focusing on the support for functional safety and validation of automated and connected vehicles, by providing an initial framework to manage dependability aspects.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
ISO - International Organization for Standardization, ISO 26262 Road vehicles Functional Safety Part 1–10 (2011)
The SPICE User Group, Automotive SPICE Process Assessment/Reference Model V3.0, July 2015
ISO - International Organization for Standardization, ISO/IEC 33000 Series on Process Assessment (2014)
Bryans, J., Payne, R., Holt, J., Perry, S.: Semi-formal and formal interface specification for system of systems architecture. In: 2013 IEEE International Systems Conference (SysCon), pp. 612–619, April 2013
AUTOSAR Development Cooperation, Adaptive Platform Release Overview (2017)
AUTOSAR development cooperation, AUTOSAR AUTomotive Open System ARchitecture (2009)
Amorim, T., Ruiz, A., Dropmann, C., Schneider, D.: Multidirectional modular conditional safety certificates. In: Koornneef, F., Gulijk, C. (eds.) SAFECOMP 2015. LNCS, vol. 9338, pp. 357–368. Springer, Cham (2015). doi:10.1007/978-3-319-24249-1_31
Amorim, T., Schneider, D., Ratasich, D., Grosu, R., Macher, G., Ruiz, A., Driussi, M.: Runtime safety assurance for adaptive cyber-physical systems - conserts M and ontology-based runtime reconfiguration applied to an automotive case study. In: Druml, N., Genser, A., Krieg, A., Menghin, M., Hoeller, A. (eds.) Handbook of Research on Solutions for Cyber-Physical Systems Ubiquity. IGI Global (2017)
Zimmer, B., Bürklen, S., Knoop, M., Höfflinger, J., Trapp, M.: Vertical safety interfaces – improving the efficiency of modular certification. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 29–42. Springer, Heidelberg (2011). doi:10.1007/978-3-642-24270-0_3
Iber, J., Hoeller, A., Rauter, T., Kreiner, C.: Towards a generic modeling language for contract-based design. In: 2nd International Workshop on Model-Driven Engineering for Component-Based Software Systems (ModComp), 2015 Workshop Proceedings, p. 24 (2015)
Schneider, D., Trapp, M., Papadopoulos, Y., Armengaud, E., Zeller, M., Hoefig, K.: Digital dependability identities. In: Proceedings of the IEEE 26th International Symposium on Software Reliability Engineering, ISSRE 2015, pp. 324–329 (2015)
Messnarz, R., Kreiner, C., Macher, G., Walker, A.: Extending automotive SPICE 3.0 for the use in ADAS service architectures. In Review - IEEE Softw. J. (2017)
Acknowledgments
This work is supported by the DEIS project - Dependability Engineering Innovation for automotive CPS. This project has received funding from the European Unions Horizon 2020 research and innovation programme under grant agreement No. 732242.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Macher, G., Armengaud, E., Schneider, D., Brenner, E., Kreiner, C. (2017). Towards Dependability Engineering of Cooperative Automotive Cyber-Physical Systems. In: Stolfa, J., Stolfa, S., O'Connor, R., Messnarz, R. (eds) Systems, Software and Services Process Improvement. EuroSPI 2017. Communications in Computer and Information Science, vol 748. Springer, Cham. https://doi.org/10.1007/978-3-319-64218-5_16
Download citation
DOI: https://doi.org/10.1007/978-3-319-64218-5_16
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-64217-8
Online ISBN: 978-3-319-64218-5
eBook Packages: Computer ScienceComputer Science (R0)