Formal modeling and scheduling of datapaths of digital document printers

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5215 LNCS, Issue , 2008, Pages 170-187

  Igna, Georgeta ^b   Kannan, Venkatesh ^a   Yang, Yang ^a   Basten, Twan ^a   Geilen, Marc ^a   Vaandrager, Frits ^b   Voorhoeve, Marc ^a   De Smet, Sebastian ^c   Somers, Lou ^c  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

^c OCÉ TECHNOLOGIES B V   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

DATA PROCESSING; DATA STORAGE EQUIPMENT; GRAPH THEORY; IMAGE PROCESSING; IMAGING SYSTEMS; IMAGING TECHNIQUES; MARINE BIOLOGY; OPTICAL DATA PROCESSING; PETRI NETS; PIPELINE PROCESSING SYSTEMS; PIPELINES; REAL TIME SYSTEMS; SUPPLY CHAIN MANAGEMENT; TIME SHARING SYSTEMS;

ANALYSIS RESULTS; ART IMAGES; COLORED PETRI NETS; DATA-PATHS; FORMAL MODELING; INDUSTRIAL CASE STUDIES; INTERNATIONAL CONFERENCES; LIMITED RESOURCES; PROCESSING UNITS; SYNCHRONOUS DATA FLOW; TIMED AUTOMATA; TIMED SYSTEMS;

DATA FLOW ANALYSIS;

EID: 53049108450     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85778-5_13     Document Type: Conference Paper

References (14)

1. Abdedda?̈m, Y., Asarin, E., Maler, O.: Scheduling with timed automata. TCS 354(2), 272-300 (2006)
2. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. TCS 138, 3-34 (1995)
3. Behrmann, G., David, A., Larsen, K.: Atutorialon Uppaal. In:Bernardo, M.,Corradini, F. (eds.) SFM-RT2004.LNCS, vol. 3185, pp. 200-236. Springer,Heidelberg (2004)
4. Behrmann, G., David, A., Larsen, K.G., H?akansson, J., Pettersson, P., Yi, W., Hendriks, M.: Uppaal 4.0. In: QEST 2006, pp. 125-126. IEEE Computer Soceity Press, Los Alamitos (2006)
5. Behrmann, G., Larsen, K.G., Rasmussen, J.I.: Optimal scheduling using priced timed automata. SIGMETRICS Perform. Eval. Rev. 32(4), 34-40 (2005)
6. Ghamarian, A., Geilen, M., Stuijk, S., Basten, T., Moonen, A., Bekooij, M., Theelen, B., Mousavi, M.: Throughput analysis of synchronous data flow graphs. In: ACSD 2006, pp. 25-34. IEEE Computer Soceity Press, Los Alamitos (2006)
7. Hendriks, M., van den Nieuwelaar, N.J.M., Vaandrager, F.W.: Model checker aided design of a controller for a wafer scanner. STTT 8(6), 633-647 (2006)
8. Hendriks, M., Verhoef, M.: Timed automata based analysis of embedded system architectures. In: WPDRS 2006. IEEE, Los Alamitos (2006)
9. Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: HyTech: A Model Checker for Hybrid Systems. STTT 1, 110-122 (1997)
10. Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. In: EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (1992)
11. Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri nets and CPN tools for modelling and validation of concurrent systems. In: STTT, vol. 9(3-4) (2007)
12. Perathoner, S., Wandeler, E., Thiele, L., Hamann, A., Schliecker, S., Henia, R., Racu, R., Ernst, R., Harbour, M.G.: Influence of different system abstractions on the performance analysis of distributed real-time systems. In: EMSOFT, New York, NY, USA, pp. 193-202 (2007)
13. Stuijk, S., Geilen, M., Basten, T.: SDF3: SDF For Free. In: ACSD 2006, pp. 276-278. IEEE CS Press, Los Alamitos (2006)
14. Wong, C., Marchal, P., Yang, P., Prayati, A., Catthoor, F., Lauwereins, R., Verkest, D., Man, H.D.: Task concurrency management methodology to schedule the mpeg4 1m1 player on a highly parallel processor platform. In: CODES, pp. 170-177. ACM, New York (2001)