Validation of reactive embedded systems against specification requirements.
Joanna StrugStanislaw DeniziakKrzysztof SapiechaPublished in: Ann. UMCS Informatica (2004)
Keyphrases
- embedded systems
- real time systems
- reactive systems
- computing power
- low cost
- embedded devices
- embedded software
- processing power
- field programmable gate array
- resource limited
- software systems
- real time image processing
- application specific
- high level
- flash memory
- embedded real time systems
- agent architecture
- real time
- communication technologies
- safety critical
- hardware software
- image processing
- formal specification
- response time
- cooperative