This thesis addresses software evolution from the perspective of standards interoperability. We address the issue of how to apply contemporary software safety assurance standards to legacy safety-critical systems, with the aim of recertifying the legacy systems to the contemporary standards. The application of RTCA DO-178B Software Considerations in Airborne Systems and Equipment Certification to modified legacy software is the primary focus of this thesis. We present a model to capture the relationships between pre- and post-modification software and standards. The proposed formal model is then applied to the requirements for RTCA DO-178B and MIL-STD-498 as representative examples of contemporary and legacy software standards. The results provide guidance on how to achieve airworthiness certification for modified legacy software, whilst maximizing the use of software products from the previous development.
| Identifer | oai:union.ndltd.org:nps.edu/oai:calhoun.nps.edu:10945/2985 |
| Date | 03 1900 |
| Creators | Meacham, Desmond J. |
| Contributors | Michael, James B., Voas, Jeffrey M., Naval Postgraduate School (U.S.)., Computer Science |
| Publisher | Monterey, California. Naval Postgraduate School |
| Source Sets | Naval Postgraduate School |
| Detected Language | English |
| Type | Thesis |
| Format | xxiv, 73 p. : ill. (some col.) ;, application/pdf |
| Rights | Approved for public release, distribution unlimited |
Page generated in 0.0014 seconds