Formal Modeling and Scheduling of Datapaths of Digital Document Printers

Autor:	Twan Basten, Frits W. Vaandrager, Marc Voorhoeve, Yang Yang, Venkatesh Kannan, Marc Geilen, Lou Somers, Sebastian De Smet, Georgeta Igna
Rok vydání:	2008
Předmět:	Model checking Computer science Programming language Distributed computing Image processing USB computer.software_genre Scheduling (computing) Automaton law.invention Synchronous Data Flow Colored petri law Digital document computer
Zdroj:	Lecture Notes in Computer Science ISBN: 9783540857778 FORMATS
DOI:	10.1007/978-3-540-85778-5_13
Popis:	We apply three different modeling frameworks -- timed automata ( Uppaal ), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that involves an existing state-of-the-art image processing pipeline. Each of the resulting models is used to derive schedules for multiple concurrent jobs in the presence of limited resources (processing units, memory, USB bandwidth,..). The three models and corresponding analysis results are compared.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::c5da755292c23f9f9aaea754bf6b7fb1 https://doi.org/10.1007/978-3-540-85778-5_13 Zobrazit plný text záznamu