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.
Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module
2014-01-01
15 pages
Article/Chapter (Book)
Electronic Resource
English
Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module
British Library Conference Proceedings | 2014
|Dependable ADAS by Combining Design Time Testing and Runtime Monitoring
Tema Archive | 2014
|British Library Conference Proceedings | 2010
|CONTROL & MONITORING - Online and offline monitoring
Online Contents | 2009