Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application.
Han Seong SonPoong Hyun SeongPublished in: Reliab. Eng. Syst. Saf. (2003)
Keyphrases
- safety critical
- nuclear power plant
- safety analysis
- software requirements
- formal methods
- fault tolerant
- verification method
- agent architecture
- support systems
- embedded systems
- model checking
- decision support
- software engineering
- adaptive systems
- systems development
- real time
- artificial intelligence
- development process
- intelligent agents
- knowledge based systems
- temporal logic
- requirements engineering
- functional requirements
- learning systems
- formal verification
- knowledge acquisition
- software development
- low cost
- case study