Learn More
Intelligent automotive electronics significantly improved driving safety in the last decades. With the increasing complexity of automotive systems, dependability of the electronic components themselves and of their interaction must be assured to avoid any risk to driving safety due to unexpected failures caused by internal or external faults. Additionally,(More)
Certifying an electrical/electronic system as functionally safe requires a range of analysis and assessment procedures, which must be performed during the different design and manufacturing phases. In the automotive context, the ISO 26262 standard prescribes a set of methods, including FMEDA (Failure Modes, Effects, and Diagnostic Analysis), to evaluate the(More)
—Newly emerging safety standards are driving system-on-chip manufacturers to develop better error-detection and correction mechanisms as well as verification environments for their systems. Fault injection in models is one enhancement for verification environments with which chip aging and safety-critical features (e.g., resilience against radiation(More)
The verification complexity of safety-critical systems on chip increased manifold after the introduction of ISO 26262, the safety standard for automotive applications. As a result, checkpoint-restore techniques have been implemented to speed-up fault-injection simulations of register-transfer level and gate-level models. However, these techniques are not(More)
In this paper, we apply model-driven techniques to create a link between bottom-up and top-down safety analysis methods. Around MetaFPA, an internal framework for Metamodeling-based Failure Propagation Analysis, we build a safety evaluation environment integrating standard tools used for FMEDA: Failure Modes, Effects, and Diagnostic Analysis (e.g., Excel(More)
  • 1