Specification, Implementation, and Validation of Object-Oriented Embedded Systems.
Sébastien GérardAlexandre DavidFrançois TerrierPublished in: ECOOP Workshops (2001)
Keyphrases
- embedded systems
- object oriented
- embedded software
- low cost
- computing power
- resource limited
- embedded devices
- software systems
- hw sw
- programming language
- real time embedded
- real time systems
- processing power
- instruction set
- object oriented databases
- sequence diagrams
- computing platform
- real time image processing
- high level
- embedded real time systems
- communication technologies
- hardware and software
- flash memory
- conceptual models
- design methodology
- efficient implementation
- protocol stack
- conceptual model
- poses unique challenges
- query language