A modeling and code generation framework for critical embedded systems design: From Simulink down to VHDL and Ada/C code.
Mickael LanoeMatteo BordinDominique HellerPhilippe CoussyCyrille ChavetPublished in: ICECS (2014)
Keyphrases
- embedded systems
- code generation
- field programmable gate array
- modeling language
- model driven
- application development
- design patterns
- design principles
- code generator
- low cost
- real time systems
- computing power
- embedded software
- rapid prototyping
- hardware design
- embedded devices
- hw sw
- case study
- hardware description language
- embedded real time systems
- artificial intelligence
- software architecture
- software development
- formal specification
- life cycle
- hardware software
- design process
- software engineering
- relational databases
- database