Information Structures for Traceability for Dependable Avionic Systems

  1. Lookup NU author(s)
  2. Dr Amer Saeed
Author(s)Pearson S, Saeed A
Publication type Report
Series TitleDepartment of Computing Science Technical Report Series
Source Publication Date1997
Report Number567
Full text is available for this publication:
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.
InstitutionDepartment of Computing Science, University of Newcastle upon Tyne
Place PublishedNewcastle upon Tyne
ActionsLink to this publication