Efficient Methodology for ISO26262 Functional Safety Verification

Silva, Felipe Augusto da; Bagbaba, Ahmet Cagri; Hamdioui, Said; Sauer, Christian

doi:10.1109/iolts.2019.8854449

Cited by 3 publications

(1 citation statement)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Finally, [13] suggests performing a stochastic gate-level simulation for small circuits. Last but not least, there are some works that investigate the combination of different fault analysis technologies such as [14] and [15]. These works combine the strength of formal methods and fault injection simulators; however, they analyse only permanent faults and do not analyse the representation of gate-level SET faults at RTL.…”

Section: Related Workmentioning

confidence: 99%

Representing Gate-Level SET Faults by Multiple SEU Faults at RTL

Bagbaba,

Jenihhin,

Ubar

et al. 2021

Preprint

Self Cite

View full text Add to dashboard Cite

The advanced complex electronic systems increasingly demand safer and more secure hardware parts. Correspondingly, fault injection became a major verification milestone for both safety-and security-critical applications. However, fault injection campaigns for gate-level designs suffer from huge execution times. Therefore, designers need to apply early design evaluation techniques to reduce the execution time of fault injection campaigns. In this work, we propose a method to represent gate-level Single-Event Transient (SET) faults by multiple Single-Event Upset (SEU) faults at the Register-Transfer Level. Introduced approach is to identify true and false logic paths for each SET in the flip-flops' fan-in logic cones to obtain more accurate sets of flip-flops for multiple SEUs injections at RTL. Experimental results demonstrate the feasibility of the proposed method to successfully reduce the fault space and also its advantage with respect to state of the art. It was shown that the approach is able to reduce the fault space, and therefore the fault-injection effort, by up to tens to hundreds of times.

show abstract

Section: Related Workmentioning

confidence: 99%

Representing Gate-Level SET Faults by Multiple SEU Faults at RTL

Bagbaba,

Jenihhin,

Ubar

et al. 2021

Preprint

Self Cite

View full text Add to dashboard Cite

show abstract

Design of a Testing Tool Based on Fault Injection for Functional Safety

Yan,

Li,

Lei

et al. 2024

E3S Web Conf.

View full text Add to dashboard Cite

ISO 26262 provides testing requirements for functional safety development and testing to mitigate unacceptable risks arising from system functional failures. Fault injection plays a vital role in assessing system robustness and validating the efficacy of safety mechanisms. This paper explores the fault types and implementation process of fault injection in the context of functional safety confirmation and validation. A fault injection board specifically designed for electrical faults is developed and integrated with Controller Area Network (CAN) messages to verify the effectiveness and correctness of safety mechanisms. The proposed approach offers the advantages of flexible switching and ease of control, making it a valuable tool in ensuring the functional safety of automotive systems.

show abstract