Specification and Verification Techniques of Embedded Systems Using Probabilistic Linear Hybrid Automata.
Yosuke MutsudaTakaaki KatoSatoshi YamanePublished in: ICESS (2005)
Keyphrases
- embedded systems
- hybrid automata
- finite state automata
- low cost
- embedded software
- embedded devices
- resource limited
- computing power
- processing power
- real time image processing
- software systems
- embedded real time systems
- safety critical
- formal verification
- real time systems
- field programmable gate array
- hardware software
- hw sw
- model checking
- formal methods
- consumer electronics
- hardware and software
- protocol stack
- protocol specification