Dataset for 'Formalizing Hierarchical Scheduling for Refinement of Real-Time Systems'
- Zhu, Chenyang
- Butler, Michael
- Cirstea, Corina
DOI Publisher
University of SouthamptonAbstract
Event-B model of a two-level hierarchical scheduling system with local resource sharing managed by time division multiplexing global scheduler and two alternative local schedulers refined by the nondeterministic queue-based scheduling policy. Developed to support a special issue of ABZ2018 in Science of Computer Programming. Track paper: Formalizing Hierarchical Scheduling for Refinement of Real-Time Systems. DOI: https://doi.org/10.1016/j.scico.2020.102390</span
Add to ORKG