Search: id:"swepub:oai:DiVA.org:ltu-68266" >
Scalable methods of...
Scalable methods of discrete plant model generation for closed-loop model checking
-
- Buzhinsky, Igor (author)
- Department of Electrical Engineering and Automation, Aalto University
-
- Pakonen, Antti (author)
- VTT Technical Research Centre of Finland, Espoo
-
- 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), 2017
- 2017
- English.
-
In: Proceedings IECON 2017. - Piscataway, NJ : Institute of Electrical and Electronics Engineers (IEEE). - 9781538611272 ; , s. 5483-5488
- Related links:
-
https://urn.kb.se/re...
-
show more...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- To facilitate correctness and safety of mission-critical automation systems, formal methods should be applied in addition to simulation and testing. One of such formal methods is model checking, which is capable of verifying complex requirements for the system's model. If both the controller and the controlled plant are formally modeled, then the variant of this technique called closed-loop model checking can be applied. Recently, a technique of automatic plant model generation has been proposed which is applicable in this scenario. This paper continues the work in this direction by presenting two plant model construction approaches which are much more scalable with respect to the previous one, and puts this work into a more practical context. The approaches are evaluated on a case study from the nuclear automation domain
Subject headings
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (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