Task graph scheduling using timed automata

Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003

Volumn , Issue , 2003, Pages

  Abdeddaïm, Yasmina ^a   Kerbaa, Abdelkarim ^a   Maler, Oded ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED PARAMETER NETWORKS; STATE SPACE METHODS;

OPTIMAL SCHEDULE; PARALLEL MACHINE; REAL TIME PROGRAMS; SCHEDULING PROBLEM; SHORTEST PATH; STATE SPACE REPRESENTATION; TASK GRAPH SCHEDULING; TIMED AUTOMATA;

SCHEDULING;

EID: 84947241913     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IPDPS.2003.1213431     Document Type: Conference Paper

References (17)

1. Y. Abdedadm, Scheduling with Timed Automata, PhD Thesis, INPG, Grenoble, 2002.
2. Y. Abdeddä?m and O. Maler, Job-Shop Scheduling using Timed Automata in G. Berry, H. Comon and A. Fink el (Eds. ), Proc. CAV'01, 478-492, LNCS 2102, Springer 2001.
3. K. Altisen, G. Goessler, A. Pnueli, J. Sif akis, S. T ripakis and S. Yovine, A Framework for Scheduler Synthesis, Proc. RTSS'99, 154-163, IEEE, 1999.
4. R. Alur and D. L. Dill, A Theory of Timed Automata, Theoretical Computer Science 126, 183-235, 1994.
5. E. Asarin and O. Maler, As Soon as Possible: Time Optimal Control for Timed Automata, Proc. HSCC'99, 19-30, LNCS 1569, Springer, 1999.
6. E. Asarin, O. Maler and A. Pnueli, Symbolic Controller Synthesis for Discrete and Timed Systems, Hybrid Systems II, LNCS 999, Springer, 1995.
7. G. Behrmann, A. Fehnk er T. S. Hune, K. G. Larsen, P. Pettersson and J. Romijn, Efficient Guiding Towards Cost-Optimality in UPPAAL, Proc. TACAS 2001, 174-188, LNCS 2031, Springer, 2001.
8. E. G. Coffman, Computer and Job-Shop Scheduling Theory, Wiley, 1976.
9. R. P. Dilworth, A Decomposition Theorem for Partially Ordered Sets, Ann. Math. 51, 161-166, 1950.
10. T. Henzinger, X. Nicollin, J. Sif akis, and S. Y ovine, Symbolic Model-checking for Real-time Systems, Information and Computation 111, 193-244, 1994.
11. K.-Y. Kwong, A. Ishfaq, Benchmarking and Comparison of the Task Graph Scheduling, Journal of Parallel and Distributed Computing 59, 381-422, 1999.
12. K. G. Larsen, P. Pettersson and W. Y i, UPPAAL in a Nutshell, International Journal of Software Tools for Technology Transfer 1, 1997
13. O. Maler, A. Pnueli and J. Sif akis. On the Synthesis of Discrete Controllers for Timed Systems, Proc. STACS'95, LNCS 900, 229-242, Springer, 1995.
14. P. Niebert, S. T ripakis S. Y ovine, Minimum-Time Reachability for Timed Automata, IEEE Mediteranean Control Conference, 2000.
15. P. Niebert and S. Y ovine, Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode, Proc. HSCC'2000, 338-351, LNCS 1790, Springer, 2000.
16. T. Tobita, M. K ouda and H. Kasahara, Performance Evaluation of Minimum Execution Time Multiprocessor Scheduling Algorithms Using Standard Task Graph Set, Proc. PDPTA'2000, 745-751, 2000.
17. S. Y ovine, Kronos: A Verification Tool for Real-time Systems, International Journal of Software Tools for Technology Transfer 1, 123-133, 1997.