A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems.
Claire MaizaHamza RihaniJuan Maria RivasJoël GoossensSebastian AltmeyerRobert I. DavisPublished in: ACM Comput. Surv. (2019)
Keyphrases
- real time systems
- real time
- distributed systems
- embedded systems
- asynchronous circuits
- real time database systems
- model checking
- mission critical
- anytime algorithms
- timing constraints
- real time embedded
- object oriented programming language
- embedded real time systems
- artificial intelligence
- artificial neural networks