Extended mechatronic systems architecture modeling with SysML for enhanced safety analysis.

Faïda Mhenni Jean-Yves Choley Nga Nguyen

Published in: SysCon (2014)

Keyphrases

safety analysis
safety critical
nuclear power plant
control system
fault model
management system
symbolic model checking
formal methods
real time
reliability analysis
fault tolerant
state space
software architecture
partial observability