El Sabbagh, Habib A (2006) A quality assurance model for airborne safety-critical software. Masters thesis, Concordia University.
MR14305.pdf - Accepted Version
Software applications in which failure may result in possible catastrophic consequences on human life are classified as safety-critical. These applications are widely used in a variety of fields and systems such as airborne systems, nuclear reactors' control, and medical diagnostic equipment. Unfortunately, the world has seen several accidents and tragedies caused by software failure error or where such failure/error was part of the problem. This thesis looks into safety-critical software embedded in airborne systems. It proposes a lifecycle specially modeled for the development of safety-critical software in aerospace and in compliance with the DO-178B standard and a software quality assurance (SQA) model based on a set of four acceptance criteria that builds quality into safety-critical software throughout its development. The thesis also provides frameworks and guidelines for the implementation of the proposed SQA model in addition to sets of rules defining how to assess the software development with respect to the four acceptance criteria.
|Divisions:||Concordia University > Faculty of Engineering and Computer Science > Mechanical and Industrial Engineering|
|Item Type:||Thesis (Masters)|
|Authors:||El Sabbagh, Habib A|
|Pagination:||xiii, 144 leaves : ill. ; 29 cm.|
|Degree Name:||M.A. Sc.|
|Program:||Mechanical and Industrial Engineering|
|Thesis Supervisor(s):||Bhuiyan, Nadia|
|Deposited By:||Concordia University Libraries|
|Deposited On:||18 Aug 2011 18:39|
|Last Modified:||05 Nov 2016 01:14|
Repository Staff Only: item control page