Persistence Landscapes - Implementing a Dataset Verification Method in Resource-Scarce Embedded Systems.
Sérgio BrancoErtugrul DogrulukJoão G. CarvalhoMarco S. ReisJorge CabralPublished in: Comput. (2023)
Keyphrases
- embedded systems
- verification method
- model checking
- low cost
- temporal logic
- computing power
- embedded devices
- embedded software
- processing power
- real time systems
- real time image processing
- resource limited
- hw sw
- hardware software
- embedded real time systems
- consumer electronics
- field programmable gate array
- safety critical
- flash memory
- database
- software systems
- real time
- resource sharing
- resource management
- efficient implementation
- resource allocation
- multi agent
- database systems