Reliable software for unreliable hardware: embedded code generation aiming at reliability.
Semeen RehmanMuhammad ShafiqueFlorian KriebelJörg HenkelPublished in: CODES+ISSS (2011)
Keyphrases
- code generation
- embedded systems
- software development
- control software
- software reuse
- modeling language
- hardware software
- application development
- hardware design
- computer systems
- code generator
- software design
- software systems
- model driven
- rapid prototyping
- software components
- software developers
- case study
- test cases
- hardware implementation
- software maintenance
- design patterns
- automatically generated
- software quality
- software projects
- formal specification
- service oriented
- business process
- data driven
- source code
- object oriented
- data warehouse
- blue gene
- e learning