TY  - BOOK
AU  - Mazen Ahmed Abbas Ebeid
AU  - Mohamed Riad Elghoneimy , 
AU  - Mona Mohamed Hassan Safar , 
TI  - Ensuring functional safety for software designs  using formal verification framework / 
PY  - 2021///
CY  - Cairo : 
PB  - Mazen Ahmed Abbas Ebeid , 
KW  - Automotive Functional Safety
KW  - ISO-26262
KW  - Symbolic Execution
N1  - Thesis (M.Sc.) - Cairo University - Faculty of Engineering - Department of Electronics and Communications; Issued also as CD
N2  - 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
UR  - http://172.23.153.220/th.pdf
ER  -