A tag machine based performance evaluation method for job-shop schedules

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Volumn 29, Issue 7, 2010, Pages 1028-1041

  Dey, Soumyajit ^a   Sarkar, Dipankar ^a   Basu, Anupam ^a  

^a INDIAN INSTITUTE OF TECHNOLOGY   (India)

Author keywords

Heaps of pieces; Heterogeneous systems; Job shop scheduling; Performance evaluation; Petri nets; Tagged signal model

Indexed keywords

HETEROGENEOUS SYSTEM MODEL; HETEROGENEOUS SYSTEMS; JOB-SHOP; JOB-SHOP SCHEDULING; MODELS OF COMPUTATION; PERFORMANCE EVALUATION; SCHEDULE LENGTH; SIGNAL MODELS; TAG STRUCTURE;

MODEL STRUCTURES; PETRI NETS; SCHEDULING;

GRAPH THEORY;

EID: 77953846228     PISSN: 02780070     EISSN: None     Source Type: Journal    
DOI: 10.1109/TCAD.2010.2049067     Document Type: Article

References (29)

1. Y. Abdeddaïm, E. Asarin, and O. Maler, "Scheduling with timed automata," Theor. Comput. Sci., vol.354, no.2, pp. 272-300, Mar. 2006.
2. R. Alur, T. Dang, J. Esposito, Y. Hur, F. Ivancic, R. Vijay Kumar, I. Lee, P. Mishra, G. J. Pappas, and O. Sokolsky, "Hierarchical modeling and analysis of embedded systems," Proc. IEEE, vol.91, no.1, pp. 11-28, Jan. 2003.
3. F. Baccelli, G. Cohen, G. J. Olsder, and J. Quadrat, Synchronization and Linearity. New York: Wiley, 1992.
4. F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Passerone, and A. Sangiovanni-Vincentelli, "Metropolis: An integrated electronic system design environment," IEEE Comput., vol.36, no.4, pp. 45-52, Apr. 2003.
5. A. Benveniste, B. Caillaud, L. Carloni, P. Caspi, and A. Sangiovanni-Vincentelli, "Causality and scheduling constraints in heterogeneous reactive systems modeling," in Proc. FMCO, 2003, pp. 1-16.
6. A. Benveniste, B. Caillaud, L. Carloni, P. Caspi, and A. Sangiovanni-Vincentelli, "Heterogeneous reactive systems modeling: Capturing causality and the correctness of loosely time-triggered architectures (ltta)," in Proc. EMSOFT, 2004, pp. 220-229.
7. A. Benveniste, B. Caillaud, L. Carloni, P. Caspi, and A. Sangiovanni-Vincentelli, "Composing heterogeneous reactive systems," ACM Trans. Embedded Comput. Syst., vol.7, no.4, pp. 1-36, Jul. 2008.
8. A. Benveniste, B. Caillaud, L. Carloni, and A. Sangiovanni-Vincentelli, "Tag machines," in Proc. EMSOFT, 2005, pp. 255-263.
9. W. Brauer, W. Reisig, and G. Rozenberg, Petri Nets: Central Models and Their Properties, LNCS 254. Berlin/Heidelberg, Germany: Springer, 1987.
10. W. Chang, S. Ha, and E. Lee, "Heterogeneous simulation: Mixing discrete-event models with dataflow," J. VLSI Signal Process., vol.15, no.1, pp. 127-144, Jan. 1997.
11. A. Dasdan and R. Gupta, "Faster maximum and minimum mean cycle algorithms for system-performance analysis," IEEE Trans. Comput.-Aided Design Integr. Circuits Syst., vol.17, no.10, pp. 889-899, Oct. 1998.
12. J. Eker, J. Janneck, E. Lee, J. Liu, X. Liu, J. Ludvig, S. Neuendorffer, S. Sachs, and Y. Xiong, "Taming heterogeneity: The Ptolemy approach," Proc. IEEE, vol.91, no.1, pp. 127-144, Jan. 2003.
13. S. Gaubert and J. Mairesse, "Modeling and analysis of timed Petri nets using heaps of pieces," IEEE Trans. Autom. Control, vol.44, no.4, pp. 683-697, Apr. 1999.
14. S. Gaubert, "Methods and applications of (max, +) linear algebra," in Proc. STACS, 1997, pp. 261-282.
15. A. Ghamarian, "Timing analysis of synchronous dataflow graphs," Ph.D. dissertation, EE Dept., T.U. Eindhoven, The Netherlands, 2008.
16. A. Ghamarian, M. Geilen, S. Stuijk, T. Basten, B. Theelen, M. Mousavi, A. Moonen, and M. Bekooij, "Throughput analysis of synchronous data flow graphs," in Proc. ACSD, 2006, pp. 25-36.
17. H. P. Hillion and J. M. Proth, "Performance evaluation of jobshop systems using timed event-graphs," IEEE Trans. Autom. Control, vol.34, no.1, pp. 3-9, Jan. 1989.
18. A. Jantsch and I. Sander, "Models of computation and languages for embedded system design," IEE Proc. Comput. Digital Tech., vol.152, no.2, pp. 114-129, Mar. 2005.
19. G. Kahn, "The semantics of a simple language for parallel programming," in Information Processing, J. L. Rosenfeld, Ed. Amsterdam, The Netherlands: North Holland, Aug. 1974, pp. 471-475.
20. R. M. Karp, "A characterization of the minimum cycle mean in a digraph," Discrete Math., vol.23, no.3, pp. 309-311, Sep. 1978.
21. L. Lavagno, A. Sangiovanni-Vincentelli, and E. Sentovich, "Models of computation for embedded system design," in System-Level Synthesis. Norwell, MA: Kluwer, 1999, pp. 45-102.
22. E. Lee and D. Messerschmitt, "Synchronous data flow," Proc. IEEE, vol.75, no.9, pp. 1235-1245, Sep. 1987.
23. E. Lee and A. Sangiovanni-Vincentelli, "A framework for comparing models of computation," IEEE Trans. Comput.-Aided Design Integr. Circuits Syst., vol.17, no.12, pp. 1217-1229, Dec. 1998.
24. D. Mathaikutty, H. Patel, and S. Shukla, "A functional programming framework of heterogeneous models of computation for system design," in Proc. FDL, 2004, pp. 586-598.
25. D. Mathaikutty, H. Patel, S. Shukla, and A. Jantsch, "Sml-sys: A functional framework with multiple models of computation for modeling heterogeneous system," Des. Autom. Embedded Syst., vol.12, nos. 1-2, pp. 1-30, Jun. 2008.
26. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol.77, no.4, pp. 541-580, Apr. 1989.
27. I. Sander and A. Jantsch, "System modeling and design refinement in forsyde," IEEE Trans. Comput.-Aided Design Integr. Circuits Syst., vol.23, no.1, pp. 17-32, Jan. 2004.
28. S. Sriram and S. Bhattacharya. Embedded Multiprocessors: Scheduling and Synchronization. New York: Marcel Dekker, 2000.
29. G.X. Viennot, "Heaps of pieces, I: Basic definitions and combinatorial lemmas," in Combinatoire Énumérative, vol.1234, G. Labelle and P. Lerox, Eds. Berlin, Germany: Springer-Verlag, 1986, pp. 321-350.