Formalizing hierarchical scheduling for refinement of real-time systems.
Chenyang ZhuMichael J. ButlerCorina CîrsteaPublished in: Sci. Comput. Program. (2020)
Keyphrases
- real time systems
- real time database systems
- timing constraints
- real time
- real time databases
- embedded systems
- distributed systems
- scheduling problem
- scheduling algorithm
- hierarchical structure
- mission critical
- resource allocation
- resource constraints
- parallel processors
- architectural model
- object oriented programming language