Automatic Analysis of Embedded Systems Specified in Astral.
K. BrinkL. J. G. BunJan van KatwijkR. F. Lutje SpelbergW. J. ToetenelPublished in: HICSS (3) (1998)
Keyphrases
- embedded systems
- automatic analysis
- low cost
- computing power
- embedded devices
- resource limited
- processing power
- embedded software
- real time systems
- software systems
- hardware software
- flash memory
- embedded real time systems
- consumer electronics
- hw sw
- real time image processing
- field programmable gate array
- safety critical
- real world
- communication technologies
- vessel tree
- response time