Software Synthesis for Complex Reactive Embedded Systems.
Felice BalarinMassimiliano ChiodoPublished in: ICCD (1999)
Keyphrases
- embedded systems
- embedded software
- low cost
- hardware software
- embedded devices
- safety critical
- software systems
- computing power
- processing power
- real time systems
- embedded real time systems
- resource limited
- communication technologies
- field programmable gate array
- real time image processing
- high level
- software development
- object oriented
- software components
- computer systems
- flash memory
- software engineering
- case study
- protocol stack
- artificial intelligence