Advertisement

Towards Dependability Engineering of Cooperative Automotive Cyber-Physical Systems

  • Georg MacherEmail author
  • Eric Armengaud
  • Daniel Schneider
  • Eugen Brenner
  • Christian Kreiner
Conference paper
Part of the Communications in Computer and Information Science book series (CCIS, volume 748)

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.

Keywords

ISO 26262 SAE J3061 Automotive systems Dependability Cyber-security Functional safety Cyber-Physical Systems 

Notes

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.

References

  1. 1.
    ISO - International Organization for Standardization, ISO 26262 Road vehicles Functional Safety Part 1–10 (2011)Google Scholar
  2. 2.
    The SPICE User Group, Automotive SPICE Process Assessment/Reference Model V3.0, July 2015Google Scholar
  3. 3.
    ISO - International Organization for Standardization, ISO/IEC 33000 Series on Process Assessment (2014)Google Scholar
  4. 4.
    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 2013Google Scholar
  5. 5.
    AUTOSAR Development Cooperation, Adaptive Platform Release Overview (2017)Google Scholar
  6. 6.
    AUTOSAR development cooperation, AUTOSAR AUTomotive Open System ARchitecture (2009)Google Scholar
  7. 7.
    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 CrossRefGoogle Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    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 CrossRefGoogle Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    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)Google Scholar
  12. 12.
    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)Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Georg Macher
    • 1
    Email author
  • Eric Armengaud
    • 1
  • Daniel Schneider
    • 2
  • Eugen Brenner
    • 3
  • Christian Kreiner
    • 3
  1. 1.AVL List GmbHGrazAustria
  2. 2.Fraunhofer IESEKaiserslauternGermany
  3. 3.Graz University of TechnologyGrazAustria

Personalised recommendations