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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    What can formal methods offer to digital flight control systems design


    Contributors:


    Publication date :

    1990-11-01


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English




    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



    A formal structure for advanced automatic flight-control systems

    Meyer, George / Cicolani, Luigi | TIBKAT | 1975