14 citations · 40 across the 7 of their papers we have counts for
5 papers · 1 filter
Verification of Component Fault Trees Using Error Effect Simulations
Sebastian Reiter, Marc Zeller, Kai Hoefig +3
The growing complexity of safety-relevant systems causes an increasing effort for safety assurance. The reduction of development costs and time-to-market, while guaranteeing safe o…
Towards the adoption of model-based engineering for the development of safety-critical systems in industrial practice
Marc Zeller, Daniel Ratiu, Kai Hoefig
Model-based engineering promises to boost productivity and quality of complex systems development. In the context of safety-critical systems, a traditionally highly regulated and c…
Towards a Cross-Domain Software Safety Assurance Process for Embedded Systems
Marc Zeller, Kai Hoefig, Martin Rothfelder
In this work, we outline a cross-domain assurance process for safety-relevant software in embedded systems. This process aims to be applied in various different application domains…
ALFRED: a methodology to enable component fault trees for layered architectures
Kai Hoefig, Marc Zeller, Reiner Heilmann
Identifying drawbacks or insufficiencies in terms of safety is important also in early development stages of safety critical systems. In industry, development artefacts such as com…
ArChes -- Automatic generation of component fault trees from continuous function charts
Marc Zeller, Kai Hoefig, Jean-Pascal Schwinn
The growing size and complexity of software in embedded systems poses new challenges to the safety assessment of embedded control systems. In industrial practice, the control softw…