H2020 - ICT - DEIS

DEIS: Dependability Engineering Innovation for Industrial CPS (2017)
Book Chapter
Armengaud, E., Macher, G., Massoner, A., Frager, S., Adler, R., Schneider, D., Longo, S., Melis, M., Groppo, R., Villa, F., O’Leary, P., Bambury, K., Finnegan, A., Zeller, M., Höfig, K., Papadopoulos, Y., Hawkins, R., & Kelly, T. (2018). DEIS: Dependability Engineering Innovation for Industrial CPS. In C. Zachäus, B. Müller, & G. Meyer (Eds.), Advanced Microsystems for Automotive Applications 2017 : Smart Systems Transforming the Automobile (151-163). Springer. https://doi.org/10.1007/978-3-319-66972-4_13

The open and cooperative nature of Cyber-Physical Systems (CPS) poses new challenges in assuring dependability. The DEIS project (Dependability Engineering Innovation for automotive CPS. This project has received funding from the European Union’s Hor... Read More about DEIS: Dependability Engineering Innovation for Industrial CPS.

A model-based extension to HiP-HOPS for dynamic fault propagation studies (2017)
Journal Article
Kabir, S., Papadopoulos, Y., Walker, M., Parker, D., Aizpurua, J. I., Lampe, J., & Rüde, E. (2017). A model-based extension to HiP-HOPS for dynamic fault propagation studies. Lecture notes in computer science, 10437 LNCS, 163-178. https://doi.org/10.1007/978-3-319-64119-5_11

HiP-HOPS is a model-based approach for assessing the dependability of safety-critical systems. The method combines models, logic, probabilities and nature-inspired algorithms to provide advanced capabilities for design optimisation, requirement alloc... Read More about A model-based extension to HiP-HOPS for dynamic fault propagation studies.

Model-connected safety cases (2017)
Presentation / Conference Contribution
Retouniotis, A., Papadopoulos, Y., Sorokos, I., Parker, D., Matragkas, N., & Sharvia, S. Model-connected safety cases

© 2017, Springer International Publishing AG. We propose the concept of a model-connected safety case that could simplify certification of complex systems. System design models support the synthesis of both the structure of the safety case and the ev... Read More about Model-connected safety cases.