Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems.
Matteo BordinMarco PanunzioStefano PuriPublished in: ASE (2008)
Keyphrases
- real time systems
- model driven
- data driven
- code generation
- distributed systems
- service oriented
- metamodel
- real time
- platform independent
- model checking
- embedded systems
- timing constraints
- data integration
- mission critical
- model driven development
- architectural model
- development process
- real time database systems
- model driven engineering
- integrity constraints
- database
- petri net
- low cost
- relational databases
- anytime algorithms
- data sets
- model driven architecture
- object oriented programming language