A Rely-Guarantee Specification of Mixed-Criticality Scheduling.
Cliff B. JonesAlan BurnsPublished in: CoRR (2020)
Keyphrases
- scheduling problem
- scheduling algorithm
- resource allocation
- specification language
- project scheduling
- dynamic scheduling
- round robin
- formal verification
- information systems
- parallel machines
- high level
- real time database systems
- flexible manufacturing systems
- data model
- resource utilization
- resource constraints
- formal specification
- minimize total
- manufacturing cell