Requirements for reliable avionic systems are discussed in terms of the effectiveness of programming methodology. The need for methods to cope with the complexity of critical real-time systems is emphasized. Some general concepts about formal methods are presented and an example is given of the SRI hierarchical development methodology taken from the executive system of the SIFT fault tolerant computer. Formal methods with alternatives are compared and the prospects for introducing formal methods into practice are considered.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Formal methods for achieving reliable software


    Contributors:


    Publication date :

    1979-10-01


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English




    ACHIEVING RELIABLE MANUFACTURING THROUGH PRECISION MAINTENANCE

    Carr, Tom / Hollingsworth, Myles / Southall, Terry | TIBKAT | 2020


    Formal methods in software engineering

    Hird, G.R. | Tema Archive | 1990


    Epistemology, Software Engineering, and Formal Methods

    Holloway, C. M. / Langley Research Center; Computer Systems Technical Committee / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1994


    Formal methods for life-critical software

    Butler, Ricky / Johnson, Sally | AIAA | 1993


    Formal Methods for Life-Critical Software

    Butler, R. / Johnson, S. / AIAA | British Library Conference Proceedings | 1993