Verified Code Generation for Embedded Systems.
Sabine GlesnerRubino GeißBoris BoeslerPublished in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
- embedded systems
- code generation
- application development
- modeling language
- low cost
- embedded devices
- software systems
- embedded software
- software development
- computing power
- model driven
- code generator
- resource limited
- hardware software
- software reuse
- real time systems
- hw sw
- embedded real time systems
- rapid prototyping
- e learning
- formal specification
- metamodel
- design patterns
- consumer electronics
- field programmable gate array
- development environment
- distributed systems
- software engineering