Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach.
Matteo BordinTullio VardanegaPublished in: Ada-Europe (2007)
Keyphrases
- real time systems
- metamodel
- model driven
- embedded systems
- modeling language
- real time
- software systems
- life cycle
- black box
- reference model
- distributed systems
- development process
- design patterns
- data driven
- uml profile
- data model
- object oriented programming language
- mission critical
- timing constraints
- real time embedded
- cooperative
- platform independent
- transformation rules
- database
- development processes
- machine learning