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.

Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module / P. Arcaini, A. Gargantini, E. Riccobene (COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE). - In: ABZ 2014 : The Landing Gear Case Study / [a cura di] F. Boniol, V. Wiels, Y. Ait Ameur, K. D. Schewe. - Switzerland : Springer International Publishing, 2014. - ISBN 9783319075129. - pp. 95-109 (( Intervento presentato al 4. convegno International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z : June 2-6 tenutosi a Toulose (FR) nel 2014 [10.1007/978-3-319-07512-9].

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

E. Riccobene
Ultimo
2014

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.
Gears; Landing gear (aircraft); Network components; Sensors; Abstract state machines; Formal Specification; Java class; Model based testing; Model-based testing approaches; Offline; Runtime Monitoring; Safety critical systems
Settore INF/01 - Informatica
http://www.springer.com/series/7899
Book Part (author)
File in questo prodotto:
File Dimensione Formato  
votingSystem_abz2014.pdf

accesso riservato

Tipologia: Pre-print (manoscritto inviato all'editore)
Dimensione 417.79 kB
Formato Adobe PDF
417.79 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/253222
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 10
  • ???jsp.display-item.citation.isi??? ND
social impact