Integer programming approach for schedulability of sporadic real-time systems

DOI10.13328/J.CNKI.JOS.005025MaRDI QIDQ5368636zbMATH OpenOpenAlexFDO

Authors Jinghao Sun, Jingchang Sun, Nan Guan, Qingxu Deng

Publication date 20 October 2017

Full work available at URL https://research.polyu.edu.hk/en/publications/integer-programming-approach-for-schedulability-of-sporadic-real-

zbMATH Keywords

earliest deadline firstinteger programminglinear relaxationpolyhedral analysisschedulability

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Deterministic scheduling theory in operations research (90B35) Integer programming (90C10)

Recommendations

• scientific article; zbMATH DE number 4014024
• Combinatorial optimization in real-time scheduling: Theory and algorithms
• Periodic Linear Programming with applications to real-time scheduling
• A study of integer programming formulations for scheduling problems
• scientific article; zbMATH DE number 2147037
• Scheduling of time-triggered real-time systems
• Special issue: Flexible scheduling on real-time systems
• On the approximability of an interval scheduling problem
• Approximation algorithms for scheduling real-time jobs with multiple feasible intervals

Cited in

(1)

• EDF-schedulability of synchronous periodic task systems is coNP-hard

This page was built for publication: Integer programming approach for schedulability of sporadic real-time systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5368636)