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.
What FM can offer DFCS design
01.11.1990
Aufsatz (Konferenz)
Keine Angabe
Englisch
Engineering Index Backfile | 1940
Smart seat belts - what they offer
British Library Conference Proceedings | 1996
|What should real-time testing offer
AIAA | 1972
|Tomorrow's Diesel - What Will It Offer?
SAE Technical Papers | 1965
|Smart seat belts - what they offer
Kraftfahrwesen | 1996
|