16 citations · 29 across the 3 of their papers we have counts for
3 papers
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…
Model-Based Reliability and Safety: Reducing the Complexity of Safety Analyses Using Component Fault Trees
Kai Hoefig, Andreas Joanni, Marc Zeller +5
The importance of mission or safety critical software systems in many application domains of embedded systems is continuously growing, and so is the effort and complexity for relia…
Automatic Generation of RAMS Analyses from Model-based Functional Descriptions using UML State Machines
Christof Kaukewitsch, Henrik Papist, Marc Zeller +1
In today's industrial practice, safety, reliability or availability artifacts such as fault trees, Markov models or FMEAs are mainly created manually by experts, often distinctivel…