An embedded system for safe, secure and reliable execution of high consequence software.

Published in: HASE (2000)

Keyphrases

software development
control flow
high reliability
computer systems
software tools
data flow
execution model
testing process
high precision
software architecture
neural network
software design
wide range
case study
software maintenance
source code
software quality
website
database
data encryption