DEIS: Dependability Engineering Innovation for Industrial CPS

Armengaud, Eric; Macher, Georg; Massoner, Alexander; Frager, Sebastian; Adler, Rasmus; Schneider, Daniel; Longo, Simone; Melis, Massimiliano; Groppo, Riccardo; Villa, Federica; O’Leary, Pádraig; Bambury, Kevin; Finnegan, Anita; Zeller, Marc; Höfig, Kai; Papadopoulos, Yiannis; Hawkins, Richard; Kelly, Tim

doi:10.1007/978-3-319-66972-4_13

Cited by 7 publications

(3 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Cyber security Designing proper tools to guarantee the safety and dependability of Cyber-Physical Systems (CPS) [11].…”

Section: Implementation Of Ertmsmentioning

confidence: 99%

“…In the field of cyber security, the assurance of dependability of Cyber-Physical Systems (CPS) relies on the design of proper tools [11]. These must be capable of estimating the interactions between different data flows and layers of software in order to effectively estimate risk and present this in a clear, graphical form [12].…”

Section: Hybrid Ertms/ Etcs Levelmentioning

confidence: 99%

See 1 more Smart Citation

Towards Mobile and Intelligent Railway Transport: A Review of Recent Ertms Related Research

Ranjbar

Olsson

2020

WIT Transactions on the Built Environment

View full text Add to dashboard Cite

The development of the European Railway Traffic Management System (ERTMS) throughout Europe over the last two decades to remove obstacles to providing an interoperable railway network has been facing several challenges. This study briefly highlights several of these challenges by analysing the current architecture of ERTMS and main concerns such as its implementation, the interoperability of communication, formal methods, hybrid ERMS (Level 3), safety, and human factors. This study has taken a systematic approach to data collection and analysis through a review of the current literature. The studies examined illustrate that it is necessary to reduce the number of components in order to pivot the system toward mobile equipment, autonomous trains, and decentralised communication. In the area of formalisation, every supplier and responsible party conducting modelling and testing of the system uses a different tool. Here, we conclude it would be appropriate to develop a robust and reliable tool for modelling, formalisation, testing and the validation of critical safety systems in the railway industry according to its particular specifications and functionalities, e.g. for ERTMS L3, including moving block, virtual coupling, and Automatic Train Operation (ATO). To bridge gaps between human operation and new technologies, reduce human error, and increase performance in the railway industry, a stronger emphasis on the development of employees' skills with new technologies is highly recommended. In order to build upon previous investments in ERTMS and to guarantee backwards and forwards interoperability, it is necessary to exploit hybrid solutions and to gradually update the current systems.

show abstract

“…Cyber security Designing proper tools to guarantee the safety and dependability of Cyber-Physical Systems (CPS) [11].…”

Section: Implementation Of Ertmsmentioning

confidence: 99%

Section: Hybrid Ertms/ Etcs Levelmentioning

confidence: 99%

Towards Mobile and Intelligent Railway Transport: A Review of Recent Ertms Related Research

Ranjbar

Olsson

2020

WIT Transactions on the Built Environment

View full text Add to dashboard Cite

show abstract

“…Still, higher levels of safety intelligence at runtime can provide more flexibility and a more optimized "trade-off" between safety and performance. For further reference, we briefly discuss such levels in [11,12].…”

Section: Safety Models At <>mentioning

confidence: 99%

B-space: dynamic management and assurance of open systems of systems

Schneider

Trapp

2018

J Internet Serv Appl

Self Cite

View full text Add to dashboard Cite

Connected cars, freely configurable operating rooms, or autonomous harvesting fleets: dynamically emerging open systems of systems will shape a new generation of systems opening up a vast potential for new kinds of applications. In light of the hard-to-predict structure and behavior of such systems, assuring their safety will require some disruptive changes of established safety paradigms. Combining current research results from different disciplines with industrial experience, this paper dares to think out of the box and look beyond the limits of traditional safety assurance. It structures upcoming challenges posed by the emergence of open systems of systems, tries to shift existing paradigms to meet those new challenges, and proposes an abstract conceptual framework building on comprehensive interlinked multi-concern runtime models for dynamically assuring the safety as well as other properties of open systems of systems. As there currently is no comprehensive realization of the framework, we discuss what kind of approaches could fit into which parts of the framework and exemplify this for the case of conditional safety certificates.

show abstract