SysML Aided Safety Analysis for Safety-Critical Systems.

Guoqi Li Boxuan Wang

Published in: AICI (1) (2011)

Keyphrases

safety analysis
safety critical
nuclear power plant
formal methods
fault tolerant
agent architecture
embedded systems
support systems
control system
symbolic model checking
fault model
adaptive systems
software engineering
real time
cooperative