Towards runtime verification of collaborative embedded systems.
Samira AkiliFelix LorenzPublished in: SICS Softw.-Intensive Cyber Phys. Syst. (2019)
Keyphrases
- embedded systems
- low cost
- computing power
- embedded devices
- software systems
- real time systems
- processing power
- embedded software
- real time image processing
- hw sw
- resource limited
- consumer electronics
- model checking
- hardware software
- embedded real time systems
- safety critical
- flash memory
- formal methods
- cooperative
- web services
- real world