Toggle Main Menu Toggle Search

ePrints

Information Structures for Traceability for Dependable Avionic Systems

Lookup NU author(s): Dr Amer Saeed

Downloads


Abstract

As the complexity of computing systems increases, the provision of an effective traceability scheme is recognised as essential for the efficient management of system development. Several approaches have been advocated for enhancing traceability, a central concern is to provide appropriate structures for recording the artifacts produced during system development. In this paper, we present a traceability procedure applicable to the development of dependable avionic systems. The procedure was developed by customising a set of generic information structures that support the recording and manipulation of design rationale. The customisation process was directed by an exposition of development practices for dependable avionic systems, in terms of a set of complementary models of a development context. To examine the effectiveness of the procedure and guide further work a case study based on a high-integrity flight control subsystem is employed.


Publication metadata

Author(s): Pearson S, Saeed A

Publication type: Report

Series Title: Department of Computing Science Technical Report Series

Year: 1997

Pages: 24

Source Publication Date: 1997

Report Number: 567

Institution: Department of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/567.pdf


Share