Ontology-Based Requirements Generation for Credibility Validation of Safety-Critical System.
Rui LiShilong MaWentao YaoPublished in: CIT/IUCC/DASC/PICom (2015)
Keyphrases
- safety critical
- regulatory requirements
- formal methods
- safety analysis
- fault tolerant
- agent architecture
- embedded systems
- nuclear power plant
- domain specific
- real time
- support systems
- information systems
- artificial intelligence
- medical images
- knowledge acquisition
- user interface
- fault model
- machine learning
- data mining