Safeware: system safety and computers
Safeware: system safety and computers
Model-Based Synthesis of Fault Trees from Matlab-Simulink Models
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Evolving car designs using model-based automated safety analysis and optimisation techniques
Journal of Systems and Software - Special issue: Computer software & applications
Tool support for incremental failure mode and effects analysis of component-based systems
Proceedings of the conference on Design, automation and test in Europe
Integrating Safety Analyses and Component-Based Design
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems
Model-based safety engineering of interdependent functions in automotive vehicles using EAST-ADL2
SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
A Computer-Aided Approach to Preliminary Hazard Analysis for Automotive Embedded Systems
ECBS '11 Proceedings of the 2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems
Identifying hardware failures systematically
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
Comparing risk identification techniques for safety and security requirements
Journal of Systems and Software
| Hi-index | 0.00 |
The shift of the automotive industry towards powertrain electrification introduces new automotive sensors, actuators and functions that lead to an increasing complexity of automotive embedded systems. The safety-criticality of these systems demands the application of analysis techniques such as PHA (Preliminary Hazard Analysis), FTA (Fault Tree Analysis) and FMEA (Failure Modes and Effects Analysis) in the development process. The early application of PHA allows to identify and classify hazards and to define top-level safety requirements. Building on this, the application of FTA and FMEA supports the verification of a system architecture defining an embedded system together with connected sensors and controlled actuators. This work presents a modeling framework with automated analysis and synthesis capabilities that supports a safety engineering workflow using the domain-specific language EAST-ADL. The contribution of this work is (1) the definition of properties that indicate the correct application of the workflow using the language. The properties and a model integrating the work products of the workflow are used for the automated detection of errors (property checker) and the automated suggestion and application of corrective measures (model corrector). Furthermore, (2) fault trees and a FMEA table can be automatically synthesized from the same model. The applicability of this computer-aided and tightly integrated approach is evaluated using the case study of a hybrid electric vehicle development.