Searched for: subject%3A%22Formal%255C%252BMethods%22
(1 - 2 of 2)
List view
Grid view
document
Augusto da Silva, F. (author), Bagbaba, Ahmet Cagri (author), Hamdioui, S. (author), Sauer, Christian (author)
The development of Integrated Circuits for the Automotive sector imposes on complex challenges. ISO26262 Functional Safety requirements entail extensive Fault Injection campaigns and complex analysis for the evaluation of deployed Software Tools. This paper proposes a methodology to improve Fault Analysis Tools Confidence Level (TCL) by...
conference paper 2020
document
Augusto da Silva, F. (author), Bagbaba, Ahmet Cagri (author), Sartoni, Sandro (author), Cantoro, Riccardo (author), Reorda, Matteo Sonza (author), Hamdioui, S. (author), Sauer, Christian (author)
The development of Integrated Circuits for the Automotive sector imposes on major challenges. ISO26262 compliance, as part of this process, entails complex analysis for the evaluation of potential random hardware faults. This paper proposes a systematic approach to identify faults that do not disrupt safety-critical functionalities and...
conference paper 2020