Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents.
Tatsuhiro TsuchiyaHirofumi TeradaShinji KusumotoTohru KikunoEun Mi KimPublished in: COMPSAC (1997)
Keyphrases
- safety analysis
- object oriented design
- nuclear power plant
- safety critical
- formal specification
- symbolic model checking
- control system
- fault model
- object oriented systems
- object oriented
- model checking
- software design
- formal methods
- xml documents
- metadata
- database
- free text
- reliability analysis
- real time
- model checker
- partial observability
- decision making
- fault tolerant
- embedded systems
- artificial intelligence
- machine learning