The Ravenscar Tasking Profile for High Integrity Real-Time Programs.

Alan Burns Brian Dobbing George Romanski

Published in: Ada-Europe (1998)

Keyphrases

real time
high reliability
vision system
databases
wide range
integrity constraints
neural network
real world
machine learning
information systems
high level
image sequences
distributed databases
computer programs
programming environment