header

Ensuring functional safety for software designs using formal verification framework / (Record no. 83263)

MARC details
000 -LEADER
fixed length control field 01737cam a2200337 a 4500
003 - CONTROL NUMBER IDENTIFIER
control field EG-GiCUC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250223032851.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 211122s2021 ua d f m 000 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency EG-GiCUC
Language of cataloging eng
Transcribing agency EG-GiCUC
041 0# - LANGUAGE CODE
Language code of text/sound track or separate title eng
049 ## - LOCAL HOLDINGS (OCLC)
Holding library Deposite
097 ## - Thesis Degree
Thesis Level M.Sc
099 ## - LOCAL FREE-TEXT CALL NUMBER (OCLC)
Classification number Cai01.13.08.M.Sc.2021.Ma.E
100 0# - MAIN ENTRY--PERSONAL NAME
Personal name Mazen Ahmed Abbas Ebeid
245 10 - TITLE STATEMENT
Title Ensuring functional safety for software designs using formal verification framework /
Statement of responsibility, etc. Mazen Ahmed Abbas Ebeid ; Supervised Mohamed Riad Elghoneimy , Mona Mohamed Hassan Safar
246 15 - VARYING FORM OF TITLE
Title proper/short title التحقق من السلامة الوظيفية لتصميم البرمجيات باستخدام إطار التحقق الرسمي
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Cairo :
Name of publisher, distributor, etc. Mazen Ahmed Abbas Ebeid ,
Date of publication, distribution, etc. 2021
300 ## - PHYSICAL DESCRIPTION
Extent 60 P. :
Other physical details charts ;
Dimensions 30cm
502 ## - DISSERTATION NOTE
Dissertation note Thesis (M.Sc.) - Cairo University - Faculty of Engineering - Department of Electronics and Communications
520 ## - SUMMARY, ETC.
Summary, etc. 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
530 ## - ADDITIONAL PHYSICAL FORM AVAILABLE NOTE
Additional physical form available note Issued also as CD
653 #4 - INDEX TERM--UNCONTROLLED
Uncontrolled term Automotive Functional Safety
653 #4 - INDEX TERM--UNCONTROLLED
Uncontrolled term ISO-26262
653 #4 - INDEX TERM--UNCONTROLLED
Uncontrolled term Symbolic Execution
700 0# - ADDED ENTRY--PERSONAL NAME
Personal name Mohamed Riad Elghoneimy ,
Relator term
700 0# - ADDED ENTRY--PERSONAL NAME
Personal name Mona Mohamed Hassan Safar ,
Relator term
856 ## - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="http://172.23.153.220/th.pdf">http://172.23.153.220/th.pdf</a>
905 ## - LOCAL DATA ELEMENT E, LDE (RLIN)
Cataloger Nazla
Reviser Revisor
905 ## - LOCAL DATA ELEMENT E, LDE (RLIN)
Cataloger Shimaa
Reviser Cataloger
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type Thesis
Holdings
Source of classification or shelving scheme Not for loan Home library Current library Date acquired Full call number Barcode Date last seen Koha item type Copy number
Dewey Decimal Classification   المكتبة المركزبة الجديدة - جامعة القاهرة قاعة الرسائل الجامعية - الدور الاول 11.02.2024 Cai01.13.08.M.Sc.2021.Ma.E 01010110084816000 22.09.2023 Thesis  
Dewey Decimal Classification   المكتبة المركزبة الجديدة - جامعة القاهرة مخـــزن الرســائل الجـــامعية - البدروم 11.02.2024 Cai01.13.08.M.Sc.2021.Ma.E 01020110084816000 22.09.2023 CD - Rom 84816.CD