Practical applications of model checking in the Finnish nuclear industry

Keyphrases

• Instrumentation System 100%
• Nuclear Industry 100%
• Customer Activity 100%
• Nuclear Power Plant 50%
• Effective Method 50%
• Olkiluoto 50%
• Control System 50%
• VVER-440 50%
• Work-related 50%
• Spurious Actuation 50%
• Software System 50%
• Application Logic 50%
• Hardware System 50%
• Benefit Model 50%
• Time-to-event 50%
• Control System Applications 50%
• Computer-assisted 50%
• AES-2006 50%
• Graphical Modeling Tool 50%
• Verification Method 50%
• Operator Action 50%
• Design Errors 50%
• Array-based 50%
• Field Programmable Gate Arrays 50%
• Exact Timing 50%

INIS

• applications 100%
• design 100%
• nuclear industry 100%
• computer codes 66%
• control systems 66%
• verification 66%
• tools 33%
• modeling 33%
• errors 33%
• nuclear power plants 33%
• computers 33%
• utilities 33%
• wwer type reactors 33%
• auger electron spectroscopy 33%
• exceptions 33%

Computer Science

• Model Checking 100%
• Effective Method 16%
• Software Systems 16%
• Computer Hardware 16%
• Application Logic 16%
• Field Programmable Gate Arrays 16%
• Advanced Encryption Standard 16%