English
Related papers

Related papers: Combination of component fault trees and Markov ch…

200 papers

With the advancement of huge data generation and data handling capability, Machine Learning and Probabilistic modelling enables an immense opportunity to employ predictive analytics platform in high security critical industries namely data…

Artificial Intelligence · Computer Science 2016-10-18 Bodhisattwa Prasad Majumder , Ayan Sengupta , Sajal jain , Parikshit Bhaduri

Model-based safety analysis approaches aim at finding critical failure combinations by analysis of models of the whole system (i.e. software, hardware, failure modes and environment). The advantage of these methods compared to traditional…

Logic in Computer Science · Computer Science 2010-06-29 Matthias Güdemann , Frank Ortmeier

Cyber-physical systems, like Smart Buildings and power plants, have to meet high standards, both in terms of reliability and availability. Such metrics are typically evaluated using Fault trees (FTs) and do not consider maintenance…

Logic in Computer Science · Computer Science 2018-01-15 Nathalie Cauchi , Khaza Anuarul Hoque , Alessandro Abate , Marielle Stoelinga

Joint safety and security analysis of cyber-physical systems is a necessary step to correctly capture inter-dependencies between these properties. Attack-Fault Trees represent a combination of dynamic Fault Trees and Attack Trees and can be…

Cryptography and Security · Computer Science 2023-09-19 Raffaela Groner , Thomas Witte , Alexander Raschke , Sophie Hirn , Irdin Pekaric , Markus Frick , Matthias Tichy , Michael Felderer

With the growing popularity of large-scale collaborative ontology-engineering projects, such as the creation of the 11th revision of the International Classification of Diseases, we need new methods and insights to help project- and…

Human-Computer Interaction · Computer Science 2016-02-17 Simon Walk , Philipp Singer , Markus Strohmaier , Denis Helic , Natalya F. Noy , Mark Musen

Systems engineering approaches use high-level models to capture the architecture and behavior of the system. However, when safety engineers conduct safety and reliability analysis, they have to create formal models, such as fault-trees,…

Software Engineering · Computer Science 2020-04-29 Simon József Nagy , Bence Graics , Kristóf Marussy , András Vörös

In order to mitigate cascading failure blackout risks in power systems, the critical components whose failures lead to high blackout risks should be identified. In this paper, such critical components are identified by the state-failure…

Physics and Society · Physics 2020-01-16 Linzhi Li , Hao Wu , Yonghua Song , Yi Liu

A large number of safety-critical control systems are based on N-modular redundant architectures, using majority voters on the outputs of independent computation units. In order to assess the compliance of these architectures with…

Software Engineering · Computer Science 2013-04-25 Francesco Flammini , Stefano Marrone , Nicola Mazzocca , Valeria Vittorini

We propose a holistic methodology for designing automotivesystems that consider security a central concern at every design stage.During the concept design, we model the system architecture and definethe security attributes of its…

Fault trees are a key model in reliability analysis. Classical static fault trees (SFT) can best be analysed using binary decision diagrams (BDD). State-based techniques are favorable for the more expressive dynamic fault trees (DFT). This…

Software Engineering · Computer Science 2022-03-29 Daniel Basgöze , Matthias Volk , Joost-Pieter Katoen , Shahid Khan , Marielle Stoelinga

Safety Instrumented Systems (SIS) protect major hazard facilities, e.g. power plants, against catastrophic accidents. An SIS consists of hardware components and a controller software -- the ``program''. Current safety analyses of SIS'…

Software Engineering · Computer Science 2020-07-22 Hamid Jahanian , Annabelle McIver

Fault Tree Analysis (FTA) is a dependability analysis technique that has been widely used to predict reliability, availability and safety of many complex engineering systems. Traditionally, these FTA-based analyses are done using…

Logic in Computer Science · Computer Science 2015-05-12 Waqar Ahmed , Osman Hasan

We investigate the failure mechanisms of load sharing complex systems. The system is composed of multiple nodes or components whose failures are determined based on the interaction of their respective strengths and loads (or capacity and…

Adaptation and Self-Organizing Systems · Physics 2014-02-03 Shahnewaz Siddique , Vitali Volovoi

One of the most appreciated features of Fault Trees (FTs) is their simplicity, making them fit into industrial processes. As such processes evolve in time, considering new aspects of large modern systems, modelling techniques based on FTs…

Machine Learning · Computer Science 2024-03-21 Roberta De Fazio , Stefano Marrone , Laura Verde , Vincenzo Reccia , Paolo Valletta

Due to uncertainties and the complicated intrinsic dynamics of power systems, it is difficult to predict the cascading failure paths once the cascades occur. This makes it challenging to achieve the effective power system protection against…

Systems and Control · Electrical Eng. & Systems 2019-08-02 Chao Zhai

Risk assessment of cyber-physical systems, such as power plants, connected devices and IT-infrastructures has always been challenging: safety (i.e. absence of unintentional failures) and security (i.e. no disruptions due to attackers) are…

Cryptography and Security · Computer Science 2019-05-10 Étienne André , Didier Lime , Mathias Ramparison , Mariëlle Stoelinga

Automated driving functions at high levels of autonomy operate without driver supervision. The system itself must provide suitable responses in case of hardware element failures. This requires fault-tolerant approaches using domain ECUs and…

Computers and Society · Computer Science 2022-10-11 Tim Maurice Julitz , Antoine Tordeux , Manuel Löwer

Cyber-physical systems come with increasingly complex architectures and failure modes, which complicates the task of obtaining accurate system reliability models. At the same time, with the emergence of the (industrial) Internet-of-Things,…

Formal Languages and Automata Theory · Computer Science 2019-09-16 Alexis Linard , Doina Bucur , Marielle Stoelinga

Security risk management can be applied on well-defined or existing systems; in this case, the objective is to identify existing vulnerabilities, assess the risks and provide for the adequate countermeasures. Security risk management can…

Cryptography and Security · Computer Science 2014-04-09 Stéphane Paul

In recent years, there has been considerable effort to modernize existing and new nuclear power plants with digital instrumentation and control systems. However, there has also been considerable concern both by industry and regulatory…

Software Engineering · Computer Science 2022-05-25 Edward Chen , Han Bao , Tate Shorthill , Carl Elks , Nam Dinh