Browse by author
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.
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
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/567.pdf
