Better Late Than Never : Verification of Embedded Systems After Deployment.
Martin RingFritjof BornebuschChristoph LüthRobert WilleRolf DrechslerPublished in: DATE (2019)
Keyphrases
- embedded systems
- low cost
- embedded devices
- computing power
- resource limited
- embedded software
- processing power
- model checking
- real time systems
- hardware software
- safety critical
- real time image processing
- flash memory
- software systems
- embedded real time systems
- hw sw
- field programmable gate array
- formal methods
- high level
- cooperative
- multi agent
- protocol stack
- database systems