45 citations · 142 across the 17 of their papers we have counts for
14 papers · 1 filter
Towards a safe MLOps Process for the Continuous Development and Safety Assurance of ML-based Systems in the Railway Domain
Marc Zeller, Thomas Waschulzik, Reiner Schmid +1
Traditional automation technologies alone are not sufficient to enable driverless operation of trains (called Grade of Automation (GoA) 4) on non-restricted infrastructure. The req…
Towards Continuous Safety Assessment in Context of DevOps
Marc Zeller
Traditionally, promoted by the internet companies, continuous delivery is more and more appealing to industries which develop systems with safety-critical functions. Since safety-c…
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…
DEIS: Dependability Engineering Innovation for Industrial CPS
Erik Armengaud, Georg Macher, Alexander Massoner +15
The open and cooperative nature of Cyber-Physical Systems (CPS) poses new challenges in assuring dependability. The DEIS project (Dependability Engineering Innovation for automotiv…
Meta model application for consistency management of models for avionic systems design
Jef Stegen, Stefan Dutre, Joe Zhensheng Guo +2
This paper presents the application of a meta model and single underlying model on an applied avionics system design use case. System models, safety assurance cases and safety requ…
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…
Combination of component fault trees and Markov chains to analyze complex, software-controlled systems
Marc Zeller, Francesco Montrone
Fault Tree analysis is a widely used failure analysis methodology to assess a system in terms of safety or reliability in many industrial application domains. However, with Fault T…
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…
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…
DPN -- Dependability Priority Numbers
Zhensheng Guo, Marc Zeller
This paper proposes a novel model-based approach to combine the quantitative dependability (safety, reliability, availability, maintainability and IT security) analysis and trade-o…
Failure Mode Reasoning in Model Based Safety Analysis
Hamid Jahanian, David Parker, Marc Zeller +2
Failure Mode Reasoning (FMR) is a novel approach for analyzing failure in a Safety Instrumented System (SIS). The method uses an automatic analysis of an SIS program to calculate p…
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…