Executable Contracts for Incremental Prototypes of Embedded Systems.
Lionel MorelLouis MandelPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- embedded systems
- low cost
- embedded software
- real time systems
- embedded devices
- resource limited
- computing power
- processing power
- real time image processing
- software systems
- embedded real time systems
- supply chain
- hardware software
- flash memory
- safety critical
- consumer electronics
- artificial intelligence
- hw sw
- communication technologies
- multi agent
- real time