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

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
Case Study Digital Printed Abstract View Cite Source
Type
Conference paper
Publication
4th International Conference on ASM, Alloy, B, TLA, VDM, and Z (ABZ'14)

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.

Document

Reference

% BibTex
@InProceedings{10.1007/978-3-319-07512-9_7,
author="Arcaini, Paolo
and Gargantini, Angelo
and Riccobene, Elvinia",
editor="Boniol, Fr{\'e}d{\'e}ric
and Wiels, Virginie
and Ait Ameur, Yamine
and Schewe, Klaus-Dieter",
title="Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module",
booktitle="ABZ 2014: The Landing Gear Case Study",
year="2014",
publisher="Springer International Publishing",
address="Cham",
pages="95--109",
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.",
isbn="978-3-319-07512-9"
}

Sources

For more information, please contact the authors

ABZ'14

Related