Certification of Ada Real-Time Executives for Safety Critical Applications.

Jacques Brygier Marc Richard-Foy

Published in: Ada-Europe (1993)

Keyphrases

safety critical
real time
fault tolerant
formal methods
embedded systems
safety analysis
nuclear power plant
support systems
agent architecture
knowledge based systems
adaptive systems
regulatory requirements
formal specification
user interaction
low cost
case based reasoning
data mining
databases