Sökning: onr:"swepub:oai:DiVA.org:ltu-68268" >
Explicit-state and ...
Explicit-state and symbolic model checking of nuclear I&C systems : A comparison
-
- Buzhinsky, Igor (författare)
- Department of Electrical Engineering and Automation, Aalto University
-
- Pakonen, Antti (författare)
- VTT Technical Research Centre of Finland, Espoo
-
- Vyatkin, Valeriy (författare)
- 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
- Engelska.
-
Ingår i: Proceedings IECON 2017. - Piscataway, NJ : Institute of Electrical and Electronics Engineers (IEEE). - 9781538611272 ; , s. 5439-5446
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- In some fields of industrial automation, such as nuclear power plant (NPP) industry in Finland, thorough verification of systems and demonstration of their safety are mandatory. Model checking is one of the techniques to achieve a high level of reliability. The goal of this paper is practical: we explore which type of model checking - either explicit-state or symbolic - is more suitable to verify instrumentation and control (I&C) applications, represented as function block networks. Unlike previous studies, in addition to the common open-loop approach, which views the controller model alone, we consider closed-loop verification, where the plant is also modeled. In addition, we present a procedure to translate block networks to the language of the SPIN explicit-state model checker.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
Nyckelord
- Dependable Communication and Computation Systems
- Kommunikations- och beräkningssystem
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas