Use this URL to cite or link to this record in EThOS:
Title: Safety assessment methods for avionics software system
Author: Mao, Jiawen
ISNI:       0000 0004 7968 8652
Awarding Body: Cranfield University
Current Institution: Cranfield University
Date of Award: 2017
Availability of Full Text:
Access from EThOS:
Access from Institution:
Nowadays, the avionics software has been becoming more and more critical for both civil and military aircraft. However, the software may become crazy sometimes and may cause the catastrophic result if any failure in software. Therefore, the software safety assessment is not only crucial to the specific software, but also for the system and aircraft. Although there are some industry standards as guidelines for development of software system, applications of these standards to practical software systems are still challenged and hard to operate in practice. This thesis tries to solve this problem. After analyses and summaries of the system safety assessment process and existing software safety assessment process in different fields, research wants to propose the systematic and comprehensive software safety assessment process and method for avionics software. The thesis presents the research process, and proposes one suitable avionics software safety assessment process. Meanwhile, thesis uses a real functional block in flight management system as a case study, and then conducts the software safety requirement assessment based on the proposed software safety assessment method. After analysis the result of case study, this proposed software safety assessment process and methods can quickly and correctly identify the software design errors. So, this analysis can use to prove the feasibility and validity of this proposed software safety assessment process and methods, which will help engineers modify every software design errors at the early stage in order to guarantee the software safety.
Supervisor: Jia, Huamin ; Madani, Irfan Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available
Keywords: Software safety ; software development process ; software safety assessment process ; DO-178C ; ARP4754A ; functional hazard assessment ; fault tree analysis ; failure mode and effects analysis ; formal method ; NuSMV