Development of simulation-based testing environment for safety-critical software
Recently, a software program has been used in nuclear power plants (NPPs) to digitalize many instrumentation and control systems. To guarantee NPP safety, the reliability of the software used in safety-critical instrumentation and control systems must be quantified and verified with proper test case...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Elsevier
2018-05-01
|
| Series: | Nuclear Engineering and Technology |
| Online Access: | http://www.sciencedirect.com/science/article/pii/S1738573318300779 |