Testing automation systems by means of model checking
No Thumbnail Available
Access rights
openAccess
URL
Journal Title
Journal ISSN
Volume Title
A4 Artikkeli konferenssijulkaisussa
This publication is imported from Aalto University research portal.
View publication in the Research portal (opens in new window)
View/Open full text file from the Research portal (opens in new window)
Other link related to publication (opens in new window)
View publication in the Research portal (opens in new window)
View/Open full text file from the Research portal (opens in new window)
Other link related to publication (opens in new window)
Authors
Date
2018-01-04
Major/Subject
Mcode
Degree programme
Language
en
Pages
7
1-7
1-7
Series
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2017, Volume Part F134116, Proceedings IEEE International Conference on Emerging Technologies and Factory Automation
Abstract
Industrial automation systems are commonly obliged to comply with correctness requirements and safety standards. Testing and simulation are traditionally used to ensure this compliance. For mission-critical applications, formal verification and model checking in particular are also used, but such techniques are computationally intensive and difficult to apply in practice. This paper searches for synergies between testing and model checking by generalizing an earlier proposed formal test modeling framework. It presents a technique of testing automation systems with the use of model checking, which now supports multiple model checking environments and a more generic test case representation. The proposed technique is applied on a case study involving a simple safety-critical system with timing requirements. Experiments show that the technique is fast despite the use of formal methods and at the same time has several benefits compared to usual testing.Description
Keywords
Other note
Citation
Buzhinsky, I & Vyatkin, V 2018, Testing automation systems by means of model checking . in Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2017 . vol. Part F134116, Proceedings IEEE International Conference on Emerging Technologies and Factory Automation, IEEE, pp. 1-7, IEEE International Conference on Emerging Technologies and Factory Automation, Limassol, Cyprus, 12/09/2017 . https://doi.org/10.1109/ETFA.2017.8247579