Software and hardware certification of safety-critical avionic systems: A comparison study.

Wonkeun Youn Baeck-jun Yi

Published in: Comput. Stand. Interfaces (2014)

Keyphrases

safety critical
formal methods
embedded systems
fault tolerant
safety analysis
agent architecture
knowledge based systems
support systems
adaptive systems
nuclear power plant
management system
medical images
intelligent systems
regulatory requirements