Model-Driven Engineering and Formal Validation of High-Performance Embedded Systems.
Abdoulaye GamatiéÉric RuttenHuafeng YuPierre BouletJean-Luc DekeyserPublished in: Scalable Comput. Pract. Exp. (2009)
Keyphrases
- embedded systems
- model driven engineering
- low cost
- model driven
- embedded devices
- embedded software
- resource limited
- computing power
- real time systems
- software systems
- flash memory
- hardware software
- software engineering
- embedded real time systems
- formal methods
- model driven architecture
- hw sw
- database systems
- consumer electronics
- modeling language
- protocol stack