Topic 8

Lesson 8. Industry Certification and Audits of Critical Software. Functional Safety of Embedded Systems (Embedded Software) and Road Vehicles (ISO 26262)

Objective: formation of a holistic system of knowledge, methodological culture and practical engineering skills in the field of design, development, verification and certification audit of critical embedded software (Safety-Critical Embedded Software) in accordance with the requirements of the international standard for functional safety of road transport ISO 26262. The student must master the system decomposition and distinction between the categories Mission-Critical and Safety-Critical, understand the ontology of failures (distinguishing between random hardware failures and systematic code defects) and master the modified V-model with the requirements of end-to-end bidirectional tracing (Traceability). During the training process, special attention is paid to the practical mastering of the HARA (Hazard Analysis and Risk Assessment) methodology for determining the Levels of integrity of automotive safety (ASIL A - ASIL D) based on parametric analysis of the severity of consequences (S), frequency of the situation (E) and controllability (C). Students must learn to apply strict restrictions of safe coding (static memory allocation, prohibition of recursion according to MISRA C / AUTOSAR C++ standards), design fault-tolerant architectures according to Fail-Safe, Fail-Operational and TMR patterns, as well as conduct mathematical verification of the code with achievement of 100% coverage according to strict MC/DC metrics. An important practical result is the formation of the ability to develop a complete Safety Case and undergo a certification audit procedure by notified bodies (in particular TÜV) with fault injection testing on HIL (Hardware-in-the-Loop) hardware stands for official confirmation of compliance and obtaining vehicle admission to serial production.