Safety assessment methods for avionics software system
| dc.contributor.advisor | Jia, Huamin | |
| dc.contributor.advisor | Madani, Irfan | |
| dc.contributor.author | Mao, Jiawen | |
| dc.date.accessioned | 2019-07-12T11:19:54Z | |
| dc.date.available | 2019-07-12T11:19:54Z | |
| dc.date.issued | 2017-11 | |
| dc.description.abstract | 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. | en_UK |
| dc.identifier.uri | http://dspace.lib.cranfield.ac.uk/handle/1826/14339 | |
| dc.language.iso | en | en_UK |
| dc.rights | © Cranfield University, 2015. All rights reserved. No part of this publication may be reproduced without the written permission of the copyright holder. | |
| dc.subject | Software safety | en_UK |
| dc.subject | software development process | en_UK |
| dc.subject | software safety assessment process | en_UK |
| dc.subject | DO-178C | en_UK |
| dc.subject | ARP4754A | en_UK |
| dc.subject | functional hazard assessment | en_UK |
| dc.subject | fault tree analysis | en_UK |
| dc.subject | failure mode and effects analysis | en_UK |
| dc.subject | formal method | en_UK |
| dc.subject | NuSMV | en_UK |
| dc.title | Safety assessment methods for avionics software system | en_UK |
| dc.type | Thesis | en_UK |