Abstract Formal specifications are widely used in the development of safety critical systems, as the Sensor Voting Module of the Landing Gear System. However, the conformance relationship between the formal specification and the concrete implementation must be checked. In this paper, we show a technique to formally link a Java class with its Abstract State Machine formal specification, and two approaches for checking their conformance: an offline model-based testing approach and an online runtime monitoring approach.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module


    Contributors:


    Publication date :

    2014-01-01


    Size :

    15 pages





    Type of media :

    Article/Chapter (Book)


    Type of material :

    Electronic Resource


    Language :

    English




    Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module

    Arcaini, P. / Gargantini, A. / Riccobene, E. | British Library Conference Proceedings | 2014


    Dependable ADAS by Combining Design Time Testing and Runtime Monitoring

    Mauritz, Malte / Rausch, Andreas / Schaefer, Ina | Tema Archive | 2014


    WAAS Offline Monitoring

    Gordon, S. / Sherrell, C. / Potter, B.J. et al. | British Library Conference Proceedings | 2010