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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Formal methods for achieving reliable software


    Beteiligte:
    Goldberg, J. (Autor:in)


    Erscheinungsdatum :

    01.10.1979


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch




    ACHIEVING RELIABLE MANUFACTURING THROUGH PRECISION MAINTENANCE

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


    Formal methods in software engineering

    Hird, G.R. | Tema Archiv | 1990


    Formal Methods for Life-Critical Software

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


    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