A verification case study of a complex real-time system from the automotive area, an emergency brake assistant, is conducted. In particular the application and usefulness of formal methods in the refinement process during the design of a large system is investigated, where it will be meant by 'large system' a system which cannot be formally verified as a whole due to its complexity. The authors establish that the application of formal methods in the early phase of a system design is beneficial despite the limits of current tools. Useful directions of further work to improve the verified design of safety-critical systems are also shown.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Verification in the design process of large real-time systems: a case study


    Additional title:

    Verifizierungen innerhalb eines Entwurfprozesses für umfangreiche Echtzeitsysteme: eine Fallstudie


    Contributors:
    Montag, Pascal (author) / Nowotka, Dirk (author) / Levi, Paul (author)


    Publication date :

    2006


    Size :

    13 Seiten, 7 Bilder, 24 Quellen



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Specification and Automated Verification of Real-Time Behaviour - A Case Study

    Kristensen, C. H. / Andersen, J. H. / Skou, A. et al. | British Library Conference Proceedings | 1995


    ABS: A CASE tool for real time systems design

    Bernaudin, F. / Feliot, C. / Pelhate, L. et al. | British Library Conference Proceedings | 2000



    Verification of Real-Time Systems using Statistical Model Checking

    Hansen, Jeffery P. / Wrage, Lutz | AIAA | 2015