SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems.
Jian XieWenan TanZhibin YangShuming LiLinquan XingZhiqiu HuangPublished in: Connect. Sci. (2022)
Keyphrases
- safety analysis
- safety critical
- cyber physical systems
- embedded systems
- formal methods
- nuclear power plant
- low cost
- fault tolerant
- agent architecture
- support systems
- software systems
- model checking
- real time
- fault model
- control system
- decision making
- information systems
- artificial intelligence
- intelligent agents
- user interface
- symbolic model checking
- data mining