Model Based Development of Safety-Critical Systems Using Template Based Code Generation.
Matthias RegensburgerChristian BucklAlois C. KnollGerhard SchrottPublished in: PRDC (2007)
Keyphrases
- safety critical
- code generation
- formal methods
- safety analysis
- support systems
- fault tolerant
- embedded systems
- agent architecture
- adaptive systems
- software engineering
- code generator
- low cost
- knowledge based systems
- formal specification
- artificial intelligence
- application development
- data driven
- cooperative
- database systems
- information systems
- machine learning
- data mining