header
Local cover image
Local cover image
Image from OpenLibrary

Ensuring functional safety for software designs using formal verification framework / Mazen Ahmed Abbas Ebeid ; Supervised Mohamed Riad Elghoneimy , Mona Mohamed Hassan Safar

By: Contributor(s): Material type: TextTextLanguage: English Publication details: Cairo : Mazen Ahmed Abbas Ebeid , 2021Description: 60 P. : charts ; 30cmOther title:
  • التحقق من السلامة الوظيفية لتصميم البرمجيات باستخدام إطار التحقق الرسمي [Added title page title]
Subject(s): Online resources: Available additional physical forms:
  • Issued also as CD
Dissertation note: Thesis (M.Sc.) - Cairo University - Faculty of Engineering - Department of Electronics and Communications Summary: 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
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Home library Call number Copy number Status Barcode
Thesis Thesis قاعة الرسائل الجامعية - الدور الاول المكتبة المركزبة الجديدة - جامعة القاهرة Cai01.13.08.M.Sc.2021.Ma.E (Browse shelf(Opens below)) Not for loan 01010110084816000
CD - Rom CD - Rom مخـــزن الرســائل الجـــامعية - البدروم المكتبة المركزبة الجديدة - جامعة القاهرة Cai01.13.08.M.Sc.2021.Ma.E (Browse shelf(Opens below)) 84816.CD Not for loan 01020110084816000

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

Issued also as CD

There are no comments on this title.

to post a comment.

Click on an image to view it in the image viewer

Local cover image