Toggle Main Menu Toggle Search

Open Access padlockePrints

Information Structures for Traceability for Dependable Avionic Systems

Lookup NU author(s): Dr Amer Saeed



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

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 1997

Pages: 24

Print publication date: 01/01/1997

Source Publication Date: 1997

Report Number: 567

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

Place Published: Newcastle upon Tyne