16 citations · 21 across the 2 of their papers we have counts for
2 papers
cs.SE2021★ 5 cited
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…
cs.SE2021★ 16 cited
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…