Safety analysis of a rotorcraft health and usage monitoring system.
Andrew J. KorneckiJanusz ZalewskiRichard P. AndersonPublished in: MMAR (2014)
Keyphrases
- monitoring system
- safety analysis
- health monitoring
- safety critical
- health status
- patient care
- nuclear power plant
- control system
- fault model
- symbolic model checking
- remote monitoring
- vital signs
- health care
- health data
- model checking
- learning systems
- safe operation
- formal verification
- power supply
- embedded systems
- continuous monitoring
- intelligent agents
- decision making