Ensuring functional safety for software designs using formal verification framework /
Mazen Ahmed Abbas Ebeid
Ensuring functional safety for software designs using formal verification framework / التحقق من السلامة الوظيفية لتصميم البرمجيات باستخدام إطار التحقق الرسمي Mazen Ahmed Abbas Ebeid ; Supervised Mohamed Riad Elghoneimy , Mona Mohamed Hassan Safar - Cairo : Mazen Ahmed Abbas Ebeid , 2021 - 60 P. : charts ; 30cm
Thesis (M.Sc.) - Cairo University - Faculty of Engineering - Department of Electronics and Communications
This thesis proposes a new verification technique which targets verifying thecompliance of AUTOSAR software with the ISO-26262 functional safety standard. A framework is presented which formally verifies that a givenimplemented software fulfils high risk Automotive Safety Integrity Level(ASIL) C and D requirements.The framework exploits the power of symbolicexecution to uncover defects early in the design stage
Automotive Functional Safety ISO-26262 Symbolic Execution
Ensuring functional safety for software designs using formal verification framework / التحقق من السلامة الوظيفية لتصميم البرمجيات باستخدام إطار التحقق الرسمي Mazen Ahmed Abbas Ebeid ; Supervised Mohamed Riad Elghoneimy , Mona Mohamed Hassan Safar - Cairo : Mazen Ahmed Abbas Ebeid , 2021 - 60 P. : charts ; 30cm
Thesis (M.Sc.) - Cairo University - Faculty of Engineering - Department of Electronics and Communications
This thesis proposes a new verification technique which targets verifying thecompliance of AUTOSAR software with the ISO-26262 functional safety standard. A framework is presented which formally verifies that a givenimplemented software fulfils high risk Automotive Safety Integrity Level(ASIL) C and D requirements.The framework exploits the power of symbolicexecution to uncover defects early in the design stage
Automotive Functional Safety ISO-26262 Symbolic Execution