32 citations · 189 across the 41 of their papers we have counts for
44 papers
Actual causality in fault trees
Georgiana Caltais, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
Fault trees are a widely used as effective risk models for complex systems, answering the question "what can go wrong?", especially through minimal cut set analysis. We study fault…
Ontology-Grounded Capability Interaction Graphs: From Knowledge Graphs to Fault Trees
Manzi Aimé Ntagengerwa, Georgiana Caltais, Mariëlle Stoelinga
The development of Cyber-Physical Systems (CPSs) is inherently multidisciplinary, involving expertise from domains such as software engineering, electrical engineering, and mechatr…
CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems
Uraz Odyurt, Ömer Sayilir, Mariëlle Stoelinga +1
Industrial cyber-physical systems generate vast amounts of semi-structured time-series data that require careful preprocessing before they can be effectively used for machine learn…
Fault Tree Synthesis from Knowledge Graphs
Manzi Aimé Ntagengerwa, Georgiana Caltais, Mariëlle Stoelinga
A truly effective diagnostic system provides system engineers with valuable insights into the behavior of their machines, leveraging a rich body of (often tacit) expertise. Much of…
Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies
Reza Soltani, Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg +1
This paper introduces AFDL, a logic-based framework for reasoning about safety, security, and defense interactions in Attack-Fault-Defense Trees, which is a model that captures all…
Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata
Laura Brandán Briones, Marcus Gerhold, Petra van den Bos +1
Model-based testing (MBT) derives test suites from a behavioural specification of the system under test. In practice, engineers favour simple models, such as labelled transition sy…