The results of aircrafts and spacecrafts flight tests are reported. It is shown that the problems of Digital Flight Control Systems (DFCS) are the problems of systems whose complexity has exceeded the reach of the intellectual tools employed. It is also shown that intuition, experience, and techniques derived from mechanical and analog systems are insufficient for complex, integrated, digital systems. Formal Methods (FM) of computer science can offer DFCS systematic techniques for the construction of trustworthy software, including: techniques for the precise specification of requirements and the development of designs; systematic approaches to the design and structuring of distributed and concurrent systems; fault tolerance algorithms; and systematic methods of testing and analytic methods of verification.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    What FM can offer DFCS design


    Beteiligte:
    Rushby, John (Autor:in)


    Erscheinungsdatum :

    01.11.1990


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch




    What America has to offer

    Engineering Index Backfile | 1940


    Smart seat belts - what they offer

    Mackay, M. / Institution of Mechanical Engineers; Automobile Division / Institution of Electrical Engineers | British Library Conference Proceedings | 1996



    Tomorrow's Diesel - What Will It Offer?

    Holler, H. G. | SAE Technical Papers | 1965


    Smart seat belts - what they offer

    Mackay,M. / Univ.of Birmingham,GB | Kraftfahrwesen | 1996