A Safety Requirement Elicitation Technique of Safety-Critical System Based on Scenario.

Junwei Du Jiqiang Wang Xiaogang Feng

Published in: ICIC (1) (2014)

Keyphrases

safety critical
safety analysis
formal methods
fault tolerant
nuclear power plant
agent architecture
embedded systems
support systems
adaptive systems
regulatory requirements
artificial intelligence
distributed systems
learning systems
information systems
control system
semi automatic