Testing automation systems by means of model checking

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

Researchers

Research units

  • Luleå University of Technology
  • St. Petersburg National Research University of Information Technologies, Mechanics and Optics (ITMO)

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.

Details

Original languageEnglish
Title of host publicationProceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2017
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

Download statistics

No data available

ID: 18791323