Design of embedded systems: formal models, validation, and synthesis.
Stephen A. EdwardsLuciano LavagnoEdward A. LeeAlberto L. Sangiovanni-VincentelliPublished in: Proc. IEEE (1997)
Keyphrases
- embedded systems
- formal models
- embedded software
- computing power
- low cost
- hw sw
- embedded devices
- resource limited
- processing power
- real time systems
- embedded real time systems
- hardware software
- real time image processing
- flash memory
- communication technologies
- software systems
- design process
- multi agent systems
- hardware and software
- fuzzy logic
- expert systems
- machine learning
- real world
- protocol stack
- neural network