The paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies differ from previously reported applications of formal methods in that formal methods were applied very early in the requirements engineering process to validate the evolving requirements. The results were fed back into the projects to improve the informal specifications. For each case study, we describe what methods were applied, how they were applied, how much effort was involved, and what the findings were. In all three cases, formal methods enhanced the existing verification and validation processes by testing key properties of the evolving requirements and helping to identify weaknesses. We conclude that the benefits gained from early modeling of unstable requirements more than outweigh the effort needed to maintain multiple representations.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Experiences using lightweight formal methods for requirements modeling


    Beteiligte:
    Easterbrook, S. (Autor:in) / Lutz, R. (Autor:in) / Covington, R. (Autor:in) / Kelly, J. (Autor:in) / Ampo, Y. (Autor:in) / Hamilton, D. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    1998


    Format / Umfang :

    11 Seiten, 27 Quellen




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch




    Application of Formal Methods to Scenario-based Requirements Engineering

    Babin, G. / Lustman, F. | British Library Online Contents | 2001



    Formal methods and temporal safety requirements: A level crossing application

    Defossez, F. / Bon, P. / Collart Dutilleul, S. | Tema Archiv | 2007


    Formal requirements-based programming for complex systems

    Rash, J.L. / Hinchey, M.G. / Rouff, C.A. | Tema Archiv | 2005