40 Years of Computing at Newcastle
Department Technical Report Series No. 567
Information Structures for Traceability of Dependable Avionic Systems
S. Pearson and A. Saeed
University of Newcastle upon Tyne. 1997.
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.
Department Technical Report Series - 1997
Department Technical Report Series Index
Contents Page - 40 Years of Computing at Newcastle
Technical Report Abstract No. 567, 30 June 1997