Exhaustive testing of safety-critical software for reactor protection system.
Sang Hun LeeSeung Jun LeeSung Min ShinEun-chan LeeHyun Gook KangPublished in: Reliab. Eng. Syst. Saf. (2020)
Keyphrases
- information security
- safety critical
- nuclear power plant
- formal methods
- fault tolerant
- embedded systems
- safety analysis
- software intensive systems
- agent architecture
- regulatory requirements
- support systems
- test cases
- adaptive systems
- software systems
- load balancing
- reverse engineering
- real time
- artificial intelligence
- knowledge base