New safety critical radio altimeter for airbus and related design flow.

D. Hairion S. Emeriau E. Combot Michel Sarlotte

Published in: DATE (2007)

Keyphrases

safety critical
object oriented
embedded systems
formal methods
real time
knowledge base
knowledge based systems
fault tolerant
support systems
regulatory requirements