rvsvm2014 Arcaini, Paolo Gargantini, Angelo Riccobene, Elvinia

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

in ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings (Eds. Boniol, Frédéric and Wiels, Virginie and Ait Ameur, Yamine and Schewe, Klaus-Dieter) Springer International Publishing, Communications in Computer and Information Science, vol. 433 (2014): 95-109 ISBN 978-3-319-07511-2

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.

[read the copyright and download the pdf file] [DOI] [url] [presentation]

My sw links