On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling

DOI10.1007/978-3-319-22975-1_8MaRDI QIDQ2945589zbMATH OpenOpenAlexFDO

Authors Raul Gorcitz, Emilien Kofman, Thomas Carle, Dumitru Potop-Butucaru, Robert de Simone

Publication date 14 September 2015

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-01250010/file/paper.pdf

zbMATH Keywords

constraint solvingreal-time schedulingrepeatablesatisfiability modulo theories

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Deterministic scheduling theory in operations research (90B35)

Recommendations

• Scheduling real-time computations with separation constraints
• On-line scheduling of scalable real-time tasks on multiprocessor systems.
• On-line scheduling with non-crossing constraints
• Refinement of Timing Constraints for Concurrent Tasks with Scheduling
• Scheduling algorithms based on weakly hard real-time constraints
• scientific article; zbMATH DE number 802345
• On-line scheduling with hard deadlines
• Extremal scheduling of parallel processing with and without real-time constraints

Cites work

• Complexity Results for Multiprocessor Scheduling under Resource Constraints
• Constraint-based scheduling: Applying constraint programming to scheduling problems.
• Measuring the performance of schedulability tests
• Optimal scheduling for two-processor systems
• Symmetry breaking for multi-criteria mapping and scheduling on multicores

Cited in

(1)

• Scheduling of time-triggered real-time systems

Describes a project that uses

Uses Software

• CPLEX

This page was built for publication: On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling

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