Formal methods research begins to produce methods which will enable mathematic modeling of the physical behavior of digital hardware and software systems. The development of these methods directly supports the NASA mission of increasing the scope and effectiveness of flight system modeling capabilities. The conventional, continuous mathematics that is used extensively in modeling flight systems is not adequate for accurate modeling of digital systems. Therefore, the current practice of digital flight control system design has not had the benefits of extensive mathematical modeling which are common in other parts of flight system engineering. Formal methods research shows that by using discrete mathematics, very accurate modeling of digital systems is possible. These discrete modeling methods will bring the traditional benefits of modeling to digital hardware and hardware design. Sound reasoning about accurate mathematical models of flight control systems can be an important part of reducing risk of unsafe flight control.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    What can formal methods offer to digital flight control systems design


    Beteiligte:


    Erscheinungsdatum :

    01.11.1990


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Machinery Monitoring & Control Systems - What Can They Offer?

    Jestel, D. / Motor Ship | British Library Conference Proceedings | 1997


    What FM can offer DFCS design

    Rushby, John | NTRS | 1990


    Application of formal methods to fault-tolerant flight control systems [5253-163]

    Xue, L. / Chen, Z. / SPIE - The International Society for Optical Engineering | British Library Conference Proceedings | 2003