AbstractSafety cases become increasingly important for software certification. Models play a crucial role in building and combining information for the safety case. This position paper sketches an ideal model-based safety case with defect hypotheses and failure characterisations. From this, open research issues are derived
This paper presents an approach for relating informed task models and system models in the domain of...
Abstract1: Since the mid 1990s, model-based development techniques have been adopted for the develop...
This work addresses specification and design of reliable safety-critical systems, such as nuclear re...
AbstractSafety cases become increasingly important for software certification. Models play a crucial...
© 2017, Springer International Publishing AG. We propose the concept of a model-connected safety cas...
<p>Testing safety-critical systems is crucial since a failure or malfunction may result in death or ...
Critical systems such as those found in the avionics, automotive, maritime, and energy domains are o...
Abstract: Safety critical software requires integrating verification techniques in software developm...
A software accident is an unforseen outcome that arises from a failure of a software project or soft...
This paper presents a safety case approach to the justification of safety-related systems. It combin...
This paper presents a safety case approach to the justification of safety-related systems. It combin...
Model-based software engineering methodologies, languages, standards, technologies, and tools are in...
A software accident is an unforseen outcome that arises from a failure of a software project or soft...
Classical software verification focuses on answering the question if the implementation of a piece o...
The safety concept of a safety-critical system is the specification of the safety requirements neces...
This paper presents an approach for relating informed task models and system models in the domain of...
Abstract1: Since the mid 1990s, model-based development techniques have been adopted for the develop...
This work addresses specification and design of reliable safety-critical systems, such as nuclear re...
AbstractSafety cases become increasingly important for software certification. Models play a crucial...
© 2017, Springer International Publishing AG. We propose the concept of a model-connected safety cas...
<p>Testing safety-critical systems is crucial since a failure or malfunction may result in death or ...
Critical systems such as those found in the avionics, automotive, maritime, and energy domains are o...
Abstract: Safety critical software requires integrating verification techniques in software developm...
A software accident is an unforseen outcome that arises from a failure of a software project or soft...
This paper presents a safety case approach to the justification of safety-related systems. It combin...
This paper presents a safety case approach to the justification of safety-related systems. It combin...
Model-based software engineering methodologies, languages, standards, technologies, and tools are in...
A software accident is an unforseen outcome that arises from a failure of a software project or soft...
Classical software verification focuses on answering the question if the implementation of a piece o...
The safety concept of a safety-critical system is the specification of the safety requirements neces...
This paper presents an approach for relating informed task models and system models in the domain of...
Abstract1: Since the mid 1990s, model-based development techniques have been adopted for the develop...
This work addresses specification and design of reliable safety-critical systems, such as nuclear re...
DOI
Add to ORKG