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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    What FM can offer DFCS design


    Contributors:


    Publication date :

    1990-11-01


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English




    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 | Automotive engineering | 1996