@inproceedings{756,
  keywords = {Dynamic scheduling, Integer linear programming, integer programming, Job shop scheduling, linear programming, manufacturing data processing, Manufacturing industries, minimum disruption repair, offline scheduling algorithm, Processor scheduling, robust task schedules synthesis, Robustness, scheduling, Scheduling algorithm, slack-based approach, Software systems, task graph, Timing, Uncertainty, unpredictable operating environment},
  author = {Nagarajan Kandasamy and David Hanak and Christopher van Buskirk and Himanshu Neema and Gabor Karsai},
  title = {Synthesis of Robust Task Schedules for Minimum Disruption Repair},
  abstract = {An off-line scheduling algorithm considers resource, precedence, and synchronization requirements of a task graph, and generates a schedule guaranteeing its timing requirements. This schedule must, however, be executed in a dynamic and unpredictable operating environment where resources may fail and tasks may execute longer than expected. To accommodate such execution uncertainties, this paper addresses the synthesis of robust task schedules using a slack-based approach and proposes a solution using integer linear programming (ILP). An ILP model, whose solution maximizes the temporal flexibility of the overall task schedule, is formulated. Two different ILP solvers are used to solve this model and their performance compared. For large task graphs, an efficient approximate method is presented and its performance evaluated.},
  year = {2004},
  journal = {IEEE International Conference on Systems, Man and Cybernetics},
  volume = {6},
  pages = {5056-5061},
  month = {10/2004},
  isbn = {0-7803-8566-7},
}