14 citations · 40 across the 7 of their papers we have counts for
7 papers
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…
SQUADfps: Integrated Model-Based Machine Safety and Product Quality for Flexible Production Systems
Chee Hung Koo, Stefan Rothbauer, Marian Vorderer +2
Growing individualization of products up to lot-size-1 and high volatility of product mixes lead to new challenges in the manufacturing domain, including the need for frequent reco…
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…
A Meta-model for Process Failure Mode and Effects Analysis (PFMEA)
Kai Hoefig, Cornel Klein, Stefan Rothbauer +3
Short product lifecycles and a high variety of products force industrial manufacturing processes to change frequently. Due to the manual approach of many quality analysis technique…