Testing automation systems by means of model checking

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

2 Citations (Scopus)
129 Downloads (Pure)

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.

Original languageEnglish
Title of host publicationProceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2017
PublisherIEEE
Pages1-7
Number of pages7
VolumePart F134116
ISBN (Electronic)9781509065059
DOIs
Publication statusPublished - 4 Jan 2018
MoE publication typeA4 Article in a conference publication
EventIEEE International Conference on Emerging Technologies and Factory Automation - Limassol, Cyprus
Duration: 12 Sep 201715 Sep 2017
Conference number: 22

Publication series

NameProceedings IEEE International Conference on Emerging Technologies and Factory Automation
PublisherIEEE
ISSN (Print)1946-0740
ISSN (Electronic)2379-9560

Conference

ConferenceIEEE International Conference on Emerging Technologies and Factory Automation
Abbreviated titleETFA
CountryCyprus
CityLimassol
Period12/09/201715/09/2017

Fingerprint Dive into the research topics of 'Testing automation systems by means of model checking'. Together they form a unique fingerprint.

  • Cite this

    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, pp. 1-7). (Proceedings IEEE International Conference on Emerging Technologies and Factory Automation). IEEE. https://doi.org/10.1109/ETFA.2017.8247579