Mazen Ahmed Abbas Ebeid <br/><br/>
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  
<br/><br/>Thesis (M.Sc.) - Cairo University - Faculty of Engineering - Department of Electronics and Communications  
<br/><br/> 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  
<br/><br/>
<br/><br/><label>Subjects--Index Terms: </label>Automotive Functional Safety  ISO-26262 Symbolic Execution