Embedded Systems: Challenges in Specification and Verification.
Amir PnueliPublished in: EMSOFT (2002)
Keyphrases
- embedded systems
- formal verification
- low cost
- computing power
- embedded devices
- embedded software
- real time image processing
- hardware software
- resource limited
- processing power
- formal methods
- model checking
- safety critical
- hw sw
- poses unique challenges
- real time systems
- flash memory
- software systems
- asynchronous circuits
- embedded real time systems
- high level
- case study
- protocol specification
- communication technologies
- formal specification
- consumer electronics
- image processing
- real world