Survey on fault detection, isolation, and recovery strategies in the space domain
M Tipaldi, B Bruenjes - Journal of Aerospace Information Systems, 2015 - arc.aiaa.org
Bernhard Bruenjes is the Head of the Software Department of OHB System AG. He has
occupied this position for the past 18 years. In that time, he has conducted and overseen …
occupied this position for the past 18 years. In that time, he has conducted and overseen …
Formal design of asynchronous fault detection and identification components using temporal epistemic logic
Autonomous critical systems, such as satellites and space rovers, must be able to detect the
occurrence of faults in order to ensure correct operation. This task is carried out by Fault …
occurrence of faults in order to ensure correct operation. This task is carried out by Fault …
Model-based safety assessment of a triple modular generator with xSAP
The system design process needs to cope with the increasing complexity and size of
systems, motivating the replacement of labor intensivemanual techniques with automated …
systems, motivating the replacement of labor intensivemanual techniques with automated …
Model-based reliability analysis of aerospace systems
HY Bruintjes, A Cimatti, JP Katoen - 2019 - publications.rwth-aachen.de
Zur Sicherstellung von zuverlässigen und sicheren Systemen, trotz steigender Komplexität
und hoher Nachfrage nach Leistungsfähigkeit, werden neuartige Ansätze zur …
und hoher Nachfrage nach Leistungsfähigkeit, werden neuartige Ansätze zur …
Causality and Temporal Dependencies in the Design of Fault Management Systems
M Bozzano - arXiv preprint arXiv:1710.03392, 2017 - arxiv.org
Reasoning about causes and effects naturally arises in the engineering of safety-critical
systems. A classical example is Fault Tree Analysis, a deductive technique used for system …
systems. A classical example is Fault Tree Analysis, a deductive technique used for system …