Model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systems
Authors:
- Antti PakonenAPAntti Pakonen
- I BuzhinskyIBI Buzhinsky
- K BjörkmanKBK Björkman
Open Access
- 1 January 2021
- journal article
- research article
- Published by Elsevier in Reliability Engineering & System Safety
- Vol. 205
Abstract
No abstract availableKeywords
Funding Information
- Ministry of Economic Affairs and Employment
This publication has 25 references indexed in Scilit:
- An empirical study of control logic specifications for programmable logic controllersEmpirical Software Engineering, 2012
- Model checking of safety-critical software in the nuclear engineering domainReliability Engineering & System Safety, 2012
- Importance measures in risk-informed decision making: Ranking, optimisation and configuration controlReliability Engineering & System Safety, 2011
- Graphical scenarios for specifying temporal properties: an automated approachAutomated Software Engineering, 2007
- Deviation Analysis: A New Use of Model CheckingAutomated Software Engineering, 2005
- A Tutorial on Uppaal2004
- Temporal Induction by Incremental SAT SolvingElectronic Notes in Theoretical Computer Science, 2003
- Model checking fault tolerant systemsSoftware Testing, Verification and Reliability, 2002
- NuSMV 2: An OpenSource Tool for Symbolic Model Checking2002
- Symbolic model checking: 1020 States and beyondInformation and Computation, 1992