WCET Computation of Safety-Critical Avionics Programs: Challenges, Achievements and Perspectives.

Published in: WCET (2010)

Keyphrases

safety critical
formal methods
fault tolerant
safety analysis
embedded systems
agent architecture
adaptive systems
support systems
nuclear power plant
knowledge base
regulatory requirements
real time
data mining
artificial intelligence
software development