الفهرس 
Ensuring functional safety for software designs using formal verification framework
English SummaryOnly 14 pages are availabe for public view
 |  | from | 78 |  |  |
| | | from | 78 | | |
Abstract
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