Challenging Scheduling Problem in the field of System Design

Scheduling problems are of primary importance in many logistical, design and industrial applications. They can be v ery heterogeneous and often mix with a resource allocation phase which makes the problem particularly challenging. A number of solution techniques has been developed to deal with such problems. It is therefore important, for evaluati on purposes, to dispose of relevant instances, possibly repre senting real problems. In this paper we present a real world allocation and scheduling problem from the field of embedded system design; in this context, we describe four variants and devise an instance generation algorithm.

[1]  J. Christopher Beck,et al.  Constraint-directed techniques for scheduling alternative activities , 2000, Artif. Intell..

[2]  J. Christopher Beck,et al.  Proactive Algorithms for Scheduling with Probabilistic Durations , 2005, IJCAI.

[3]  Marc E. Posner,et al.  Generating Experimental Data for Computational Testing with Machine Scheduling Applications , 2001, Oper. Res..

[4]  Dongkun Shin,et al.  Power-aware scheduling of conditional task graphs in real-time multiprocessor systems , 2003, Proceedings of the 2003 International Symposium on Low Power Electronics and Design, 2003. ISLPED '03..

[5]  Luca Benini,et al.  Allocation, Scheduling and Voltage Scaling on Energy Aware MPSoCs , 2006, CPAIOR.

[6]  Petru Eles,et al.  Bus access optimization for distributed embedded systems based on schedulability analysis , 2000, DATE '00.

[7]  Luca Baldini,et al.  Synthesis of pipelined systems for the contemporaneous execution of periodic and aperiodic tasks with hard real-time constraints , 2004, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..

[8]  Petru Eles,et al.  Overhead-conscious voltage selection for dynamic and leakage energy reduction of time-constrained systems , 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

[9]  Luca Benini,et al.  A Cooperative, Accurate Solving Framework for Optimal Allocation, Scheduling and Frequency Selection on Energy-Efficient MPSoCs , 2006, 2006 International Symposium on System-on-Chip.

[10]  F. Frances Yao,et al.  A scheduling model for reduced CPU energy , 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.

[11]  J. Christopher Beck,et al.  Job Shop Scheduling with Probabilistic Durations , 2004, ECAI.

[12]  Rajesh K. Gupta,et al.  Dynamic slack reclamation with procrastination scheduling in real-time embedded systems , 2005, Proceedings. 42nd Design Automation Conference, 2005..

[13]  Erlendur S. Thorsteinsson.  Branch-and-Check: A Hybrid Framework Integrating Mixed Integer Programming and Constraint Logic Programming , 2001, CP.

[14]  J. Christopher Beck,et al.  Scheduling Alternative Activities , 1999, AAAI/IAAI.

[15]  Teodor Gabriel Crainic,et al.  Benchmark-problem instances for static scheduling of task graphs with communication delays on homogeneous multiprocessor systems , 2006, Comput. Oper. Res..

[16]  Vipul Jain,et al.  Algorithms for Hybrid MILP/CP Models for a Class of Optimization Problems , 2001, INFORMS J. Comput..

[17]  John N. Hooker,et al.  Planning and Scheduling by Logic-Based Benders Decomposition , 2007, Oper. Res..

[18]  Alice C. Parker,et al.  SOS: Synthesis of application-specific heterogeneous multiprocessor systems , 2001, J. Parallel Distributed Comput..

[19]  Sharad Malik,et al.  Bounds on power savings using runtime dynamic voltage scaling: an exact algorithm and a linear-time heuristic approximation , 2005, ISLPED '05. Proceedings of the 2005 International Symposium on Low Power Electronics and Design, 2005..

[20]  P. Eles,et al.  Bus access optimization for distributed embedded systems based on schedulability analysis , 2000, Proceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537).

[21]  Yuan Xie,et al.  Co-synthesis with custom ASICs , 2000, Proceedings 2000. Design Automation Conference. (IEEE Cat. No.00CH37106).

[22]  Anoop Gupta,et al.  Parallel computer architecture - a hardware / software approach , 1998 .

[23]  Gerhard Fohler,et al.  Static scheduling of pipelined periodic tasks in distributed real-time systems , 1997, Proceedings Ninth Euromicro Workshop on Real Time Systems.

[24]  Thomas Wild,et al.  A constructive algorithm with look-ahead for mapping and scheduling of task graphs with conditional edges , 2003, Euromicro Symposium on Digital System Design, 2003. Proceedings..

[25]  Michele Lombardi,et al.  Stochastic Allocation and Scheduling for Conditional Task Graphs in MPSoCs , 2006, CP.

[26]  Ishfaq Ahmad,et al.  Benchmarking and Comparison of the Task Graph Scheduling Algorithms , 1999, J. Parallel Distributed Comput..

[27]  Scott Hauck,et al.  Reconfigurable computing: a survey of systems and software , 2002, CSUR.

[28]  Roman Barták,et al.  Extension of O(n log n) Filtering Algorithms for the Unary Resource Constraint to Optional Activities , 2005, Constraints.

[29]  Wayne H. Wolf,et al.  TGFF: task graphs for free , 1998, Proceedings of the Sixth International Workshop on Hardware/Software Codesign. (CODES/CASHE'98).

[30]  Hugh Garraway.  Parallel Computer Architecture: A Hardware/Software Approach , 1999, IEEE Concurrency.

[31]  Dongkun Shin,et al.  Power-aware scheduling of conditional task graphs in real-time multiprocessor systems , 2003, ISLPED '03.

[32]  Hironori Kasahara,et al.  A standard task graph set for fair evaluation of multiprocessor scheduling algorithms , 2002 .

[33]  Luca Benini,et al.  Allocation and Scheduling for MPSoCs via decomposition and no-good generation , 2005, IJCAI.

[34]  Ranga Vemuri,et al.  Hardware-software partitioning and pipelined scheduling of transformative applications , 2002, IEEE Trans. Very Large Scale Integr. Syst..