Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement.
James Shin YoungJosh MacDonaldMichael ShilmanAbdallah TabbaraPaul N. HilfingerA. Richard NewtonPublished in: DAC (1998)
Keyphrases
- embedded systems
- low cost
- resource limited
- embedded software
- computing power
- hw sw
- safety critical
- embedded devices
- processing power
- real time systems
- formal methods
- real time image processing
- hardware software
- field programmable gate array
- flash memory
- open source
- embedded real time systems
- real time
- communication technologies
- design process
- building blocks
- high level
- artificial intelligence