Efficient safety analyses of complex software intensive embedded systems are still a challenging task. This article illustrates how model-driven development principles can be used in safety engineering to reduce cost and effort. To this end, the article shows how well accepted safety engineering approaches can be shifted to the level of model-driven development by integrating safety models into functional development models. Namely, we illustrate how UML profiles, model transformations, and techniques for multi language development can be used to seamlessly integrate component fault trees into the UML
In safety analysis for safety-critical embedded systems, methods such as FMEA and fault trees (FT) a...
Empirical Software Engineering (SE) strives to provide empirical evidence about the pros and cons of...
Abstract. The general trend towards complex technical systems with embed-ded software results in an ...
Software and System Product Lines (SSPL) are the state-of-the-art for systematically reusing a commo...
Abstract: Safety critical software requires integrating verification techniques in software developm...
In recent years, awareness of how software impacts safety has increased rapidly. Instead of regardin...
Safety-critical systems have to be developed carefully to prevent loss of life and resources due to...
We present in this work the Open Safety Analysis Model (OSAM) as the pillar of our approach for Inte...
In order to meet regulatory standards in the domain of safety-critical systems, these systems have t...
To handle the complexity of safety-critical embedded systems, it is not appropriate to develop funct...
Model Based Systems Engineering (MBSE) has encouraged the use of a single systems model in languages...
Migrating systems and safety engineering (often with legacy processes and certified tools) towards a...
This paper describes and demonstrates an approach that promises to bridge the gap between model-base...
The development of highly integrated, safety-relevant automotive functions is faced with the challen...
The article represents a matrix based specification format as a functional requirements specificatio...
In safety analysis for safety-critical embedded systems, methods such as FMEA and fault trees (FT) a...
Empirical Software Engineering (SE) strives to provide empirical evidence about the pros and cons of...
Abstract. The general trend towards complex technical systems with embed-ded software results in an ...
Software and System Product Lines (SSPL) are the state-of-the-art for systematically reusing a commo...
Abstract: Safety critical software requires integrating verification techniques in software developm...
In recent years, awareness of how software impacts safety has increased rapidly. Instead of regardin...
Safety-critical systems have to be developed carefully to prevent loss of life and resources due to...
We present in this work the Open Safety Analysis Model (OSAM) as the pillar of our approach for Inte...
In order to meet regulatory standards in the domain of safety-critical systems, these systems have t...
To handle the complexity of safety-critical embedded systems, it is not appropriate to develop funct...
Model Based Systems Engineering (MBSE) has encouraged the use of a single systems model in languages...
Migrating systems and safety engineering (often with legacy processes and certified tools) towards a...
This paper describes and demonstrates an approach that promises to bridge the gap between model-base...
The development of highly integrated, safety-relevant automotive functions is faced with the challen...
The article represents a matrix based specification format as a functional requirements specificatio...
In safety analysis for safety-critical embedded systems, methods such as FMEA and fault trees (FT) a...
Empirical Software Engineering (SE) strives to provide empirical evidence about the pros and cons of...
Abstract. The general trend towards complex technical systems with embed-ded software results in an ...