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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    A modular approach to high reliability software generation with application to non linear control


    Additional title:

    Ein modulares Verfahren zur Entwicklung hochzuverlaessiger Software und Anwendung bei der Regelung nichtlinearer Systeme


    Contributors:
    Wright, S.M. (author) / Winter, J.S. (author)

    Published in:

    Publication date :

    1983


    Size :

    11 Seiten, 12 Bilder, 2 Tabellen, 8 Quellen


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    An Integrated Approach to Achieving High Software Reliability

    Lyu, M. / IEEE; Aerospace and Electronics Systems Society | British Library Conference Proceedings | 1998


    Cleanroom Approach to Space Software Reliability

    Battini, F. / Eurospace | British Library Conference Proceedings | 1998


    Cleanroom Approach to Space Software Reliability

    Battini-Laben, F. | British Library Online Contents | 1998


    Modular Rocket Engine Control Software (MRECS)

    Tarrant, C. / Crook, J. / IEEE et al. | British Library Conference Proceedings | 1997


    Modular Rocket Engine Control Software (MRECS)

    Tarrant, Charlie / Crook, Jerry | AIAA | 1996