ENSURING FUNCTIONAL SAFETY FOR SOFTWARE DESIGNS USING FORMAL VERIFICATION FRAMEWORK
Mazen Ahmed Abbas Ebeid;
Abstract
This thesis proposes a new verification technique which targets verifying the compliance of AUTOSAR software with the ISO-26262 functional safety standard. A framework is presented which formally verifies that a given implemented software fulfils high risk Automotive Safety Integrity Level (ASIL) C and D requirements. The framework exploits the power of symbolic execution to uncover defects early in the design stage
Other data
| Title | ENSURING FUNCTIONAL SAFETY FOR SOFTWARE DESIGNS USING FORMAL VERIFICATION FRAMEWORK | Other Titles | التحقق من السلامة الوظيفية لتصميم البرمجيات باستخدام إطار التحقق الرسمي | Authors | Mazen Ahmed Abbas Ebeid | Issue Date | 2021 |
Attached Files
| File | Size | Format | |
|---|---|---|---|
| BB11490.pdf | 933.74 kB | Adobe PDF | View/Open |
Similar Items from Core Recommender Database
Items in Ain Shams Scholar are protected by copyright, with all rights reserved, unless otherwise indicated.