An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification.
Seo Ryong KooPoong-Hyun SeongJunbeom YooSung Deok ChaYeong Jae YooPublished in: Reliab. Eng. Syst. Saf. (2005)
Keyphrases
- safety critical
- formal methods
- formal specification
- safety analysis
- regulatory requirements
- embedded systems
- requirements analysis
- software architecture
- agent architecture
- model checking
- artificial intelligence
- development process
- software development
- software systems
- fault tolerant
- knowledge based systems
- real time
- software engineering
- support systems
- open source
- user interface
- case study
- databases
- e learning
- adaptive systems
- life cycle
- software agents
- decision support system