Quantitative measures of thoroughness of FBD simulations for PLC-based digital I&C system
Simulation is a widely used functional verification method for FBD programs of PLC-based digital I&C system in nuclear power plants. It is difficult, however, to estimate the thoroughness (i.e., effectiveness or quality) of a simulation in the absence of any clear measure for the estimation. Thi...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Elsevier
2021-01-01
|
| Series: | Nuclear Engineering and Technology |
| Subjects: | |
| Online Access: | http://www.sciencedirect.com/science/article/pii/S1738573320301145 |