Abstract
The open and cooperative nature of Cyber-Physical Systems (CPS) poses a significant new challenge in assuring dependability. The DEIS project addresses this important and unsolved challenge by developing technologies that enable a science of dependable system integration. Such technologies facilitate the efficient synthesis of components and systems based on their dependability information, covering application domains such as automotive, railways, home automation and healthcare.
The DEIS project will bring significant impact to the CPS market by providing new engineering methods and tools reducing development time and cost of ownership, as well as supporting integration and interoperability of dependability information over the product life-cycle and over the supply chain.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Schneider, D., Trapp, M., Papadopoulos, Y., Armengaud, E., Zeller, M., Höfig, K.: WAP: digital dependability identities. In: 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE), pp. 324–329, November 2015
Kaiser, B., Liggesmeyer, P., Mäckel, O.: A new component concept for fault trees. In: Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software, SCS 2003, vol. 33, pp. 37–46. Australian Computer Society Inc., Darlinghurst (2003)
Papadopoulos, Y., McDermid, J.A.: Hierarchically performed hazard origin and propagation studies. In: Felici, M., Kanoun, K. (eds.) SAFECOMP 1999. LNCS, vol. 1698, pp. 139–152. Springer, Heidelberg (1999). https://doi.org/10.1007/3-540-48249-0_13
Kelly, T., Weaver, R.: The goal structuring notation-a safety argument notation. In: Proceedings of the Dependable Systems and Networks 2004 Workshop on Assurance Cases. Citeseer (2004)
Object Management Group: Structured Assurance Case Metamodel. http://www.omg.org/spec/SACM/. Accessed 27 Apr 2017
Schneider, D., Trapp, M.: Conditional safety certification of open adaptive systems. ACM Trans. Auton. Adapt. Syst. 8(2), 8:1–8:20 (2013)
Acknowledgements
This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No. 732242.
This paper summarises the project description, concepts, and plans from the original DEIS proposal. We acknowledge the original authors of the original DEIS proposal:
– Eric Armengaud, Nadine Knopper, Stephen Jones, Mario Oswald and Gerhard Griessnig (AVL List GmbH, Austria)
– Martin Rothfelder, Kai Höfig and Marc Zeller (Siemens AG, Germany)
– Alberto Pisoni, Federico Galliano and Massimiliano Melis (General Motors Powertrain-Europe S.r.l, Italy)
– Riccardo Groppo, Alberto Manzone, Paolo Santero and Marco Novaro (Ideas & Motions S.r.l, Italy)
– Eoin O‘Carroll, Kevin Bambury and Richard Bambury (Portable Medical Technology Ltd, Ireland)
– Mario Trapp and Daniel Schneider (Fraunhofer-Institute for Experimental Software Engineering, Germany)
– Yiannis Papadopoulos (University of Hull, United Kingdom)
– Federica Villa, Franco Zappa, Alberto Tosi and Marco Marcon (Politecnico di Milano, Italy)
– Fergal McCaffery and Anita Finnegan (RSRC ad Dundalk Institute of Technology, Ireland).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this paper
Cite this paper
Wei, R., Kelly, T.P., Hawkins, R., Armengaud, E. (2018). DEIS: Dependability Engineering Innovation for Cyber-Physical Systems. In: Seidl, M., Zschaler, S. (eds) Software Technologies: Applications and Foundations. STAF 2017. Lecture Notes in Computer Science(), vol 10748. Springer, Cham. https://doi.org/10.1007/978-3-319-74730-9_37
Download citation
DOI: https://doi.org/10.1007/978-3-319-74730-9_37
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-74729-3
Online ISBN: 978-3-319-74730-9
eBook Packages: Computer ScienceComputer Science (R0)