Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel.
Gérard BerryPublished in: FMICS (2007)
Keyphrases
- embedded systems
- circuit design
- computing power
- low cost
- embedded software
- hw sw
- resource limited
- real time systems
- embedded devices
- real time image processing
- processing power
- hardware software
- consumer electronics
- cyber physical systems
- safety critical
- communication technologies
- wireless networks
- building blocks
- signal processing
- source code