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.

(2014). Offline model-based testing and runtime monitoring of the sensor voting module [conference presentation - intervento a convegno]. Retrieved from http://hdl.handle.net/10446/30874

Offline model-based testing and runtime monitoring of the sensor voting module

ARCAINI, Paolo;GARGANTINI, Angelo Michele;
2014-01-01

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.
2014
Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia
File allegato/i alla scheda:
File Dimensione del file Formato  
votingSystem_abz2014_cameraReady.pdf

Solo gestori di archivio

Descrizione: author's postprint - versione referata
Dimensione del file 360.15 kB
Formato Adobe PDF
360.15 kB Adobe PDF   Visualizza/Apri
Pubblicazioni consigliate

Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo

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