An Approach to Automatic Code Generation for Safety-Critical Systems.

Michael W. Whalen Mats Per Erik Heimdahl

Published in: ASE (1999)

Keyphrases

safety critical
code generation
embedded systems
formal methods
safety analysis
agent architecture
fault tolerant
intelligent systems
information systems
metadata
relational databases
software engineering
distributed systems
data driven
monitoring system
support systems