Search: id:"swepub:oai:DiVA.org:ltu-68184" >
Testing Automation ...
Testing Automation Systems by Means of Model Checking
-
- Buzhinsky, Igor (author)
- Department of Electrical Engineering and Automation, Aalto University
-
- Vyatkin, Valeriy (author)
- Luleå tekniska universitet,Datavetenskap,Department of Electrical Engineering and Automation, Aalto University
-
(creator_code:org_t)
- Piscataway, Nj : Institute of Electrical and Electronics Engineers (IEEE), 2018
- 2018
- English.
-
In: IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). - Piscataway, Nj : Institute of Electrical and Electronics Engineers (IEEE). - 9781509065059
- Related links:
-
https://urn.kb.se/re...
-
show more...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- ndustrial 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.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Keyword
- Dependable Communication and Computation Systems
- Kommunikations- och beräkningssystem
Publication and Content Type
- ref (subject category)
- kon (subject category)
Find in a library
To the university's database