In this paper, we present a traceability procedure applicable to the development of dependable avionic systems. The procedure was developed by customizing a set of generic information structures that support the recording and manipulation of design rationale. The customization 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.
Information Structures for Traceability for Dependable Avionic Systems
1997
30 pages
Report
Keine Angabe
Englisch
Dependable real-time LANs for avionic applications
Tema Archiv | 1985
|Tracing Safety for Dependable Avionic Systems: An Object Oriented and Deductive Approach
British Library Conference Proceedings | 1998
|Tracing Safety for Dependable Avionic Systems: An Object Oriented and Deductive Approach
British Library Conference Proceedings | 2006
|TIBKAT | 1989
|Wiley | 2022
|