This paper describes an interlocking set of techniques covering control law and control system architecture design, documentation and validation. These address the problems experienced by the airframe manufacturer in proving the integrity of a digital control system (hardware and software) in such a way that the undoubted power and flexibility of digital techniques can be fully exploited. An idealised processor architecture and instruction set is presented and its application illustrated by reference to a set of non linear control laws. This shows how the control law coding and verification can be eliminated as a separate step in the design process. Finally the beneficial effect of the control law structure on the process of failure identifications and subsequent failure management is described.
A modular approach to high reliability software generation with application to non linear control
Ein modulares Verfahren zur Entwicklung hochzuverlaessiger Software und Anwendung bei der Regelung nichtlinearer Systeme
1983
11 Seiten, 12 Bilder, 2 Tabellen, 8 Quellen
Conference paper
English
An Integrated Approach to Achieving High Software Reliability
British Library Conference Proceedings | 1998
|Cleanroom Approach to Space Software Reliability
British Library Conference Proceedings | 1998
|Cleanroom Approach to Space Software Reliability
British Library Online Contents | 1998
|Modular Rocket Engine Control Software (MRECS)
British Library Conference Proceedings | 1997
|Modular Rocket Engine Control Software (MRECS)
AIAA | 1996
|