Výsledky vyhledávání

Adaptive Scheduling of Data Paths using Uppaal Tiga

Autor: AIAttilli, I., Houben, F., Igna, G., Michels, S., Zhu, F., Vaandrager, F.W., Andova, Suzana, McIver, Annabelle, D'Argenio, Pedro, Cuijpers, Pieter, Markovski, Jasen, Morgan, Caroll, Nunez, Manuel

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 13, Iss Proc. QFM 2009, Pp 1-11 (2009)
QFM
Andova, Suzana; McIver, Annabelle; D'Argenio, Pedro (ed.), Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications Eindhoven, The Netherlands, 3rd November 2009, 1-12
STARTPAGE=1;ENDPAGE=12;ISSN=2075-2180;TITLE=Andova, Suzana; McIver, Annabelle; D'Argenio, Pedro (ed.), Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications Eindhoven, The Netherlands, 3rd November 2009
Andova, Suzana; McIver, Annabelle; D'Argenio, Pedro (ed.), Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications Eindhoven, The Netherlands, 3rd November 2009, pp. 1-12

We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a printer. As far as we know, this is the first application of timed automata techn

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::100a8de97f7fe6461b2faf57218c12ed
https://doaj.org/article/656531c4047b4c29b242b54e1f8c88f6

Zobrazit plný text záznamu

Model-driven design-space exploration for software-intensive embedded systems

Autor: Basten, T., Hendriks, M., Trcka, N., Somers, L.J.A.M., Geilen, M.C.W., Yang, Y., Igna, G., Smet, de, S., Voorhoeve, M., Aalst, van der, W.M.P., Corporaal, H., Vaandrager, F.W., Hamberg, R., Reckers, F., Verriet, J.

Publikováno v: Embedded Systems ISBN: 9781461448204
Embedded Systems ; 22, 189-244. New York : Springer
STARTPAGE=189;ENDPAGE=244;TITLE=Embedded Systems ; 22
Model-Based Design of Adaptive Embedded Systems, 189-244
STARTPAGE=189;ENDPAGE=244;TITLE=Model-Based Design of Adaptive Embedded Systems
Basten, T.; Hamberg, R.; Reckers, F. (ed.), Model-Based Design of Adaptive Embedded Systems, pp. 189-244

The complexity of today’s embedded systems is increasing rapidly. Ever more functionality is realised in software, for reasons of cost and flexibility. This leads to many implementation alternatives that vary in functionality, performance, hardware

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a5ff47785e1e36eb8a3ea55ee522f04e
https://doi.org/10.1007/978-1-4614-4821-1_7

Zobrazit plný text záznamu

Performance analysis of real-time task systems using timed automata

Autor: Igna, G.

Contains fulltext : 102351.pdf (Publisher’s version ) (Open Access) Radboud Universiteit Nijmegen, 22 januari 2013 Promotor : Vaandrager, F.W. 128 p.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0021e0d12dcf06cd8ab5ae3e3668b85c
http://hdl.handle.net/2066/102351

Zobrazit plný text záznamu

Modeling task systems using parameterized partial orders

Autor: Houben, F., Igna, G., Vaandrager, F., Kato, S.

Publikováno v: International Journal on Software Tools for Technology Transfer, 15, 269-286
IEEE Real-Time and Embedded Technology and Applications Symposium
Kato, S. (ed.), RTAS 2012 : the 18th IEEE Real-Time and Embedded Technology and Applications Symposium Proceedings, Beijing China, April 17-19, 2012, pp. 317-327
International Journal on Software Tools for Technology Transfer, 15, 3, pp. 269-286
Kato, S. (ed.), RTAS 2012 : the 18th IEEE Real-Time and Embedded Technology and Applications Symposium Proceedings, Beijing China, April 17-19, 2012, 317-327. Los Alamitos : IEEE Computer Society
STARTPAGE=317;ENDPAGE=327;TITLE=Kato, S. (ed.), RTAS 2012 : the 18th IEEE Real-Time and Embedded Technology and Applications Symposium Proceedings, Beijing China, April 17-19, 2012

Inspired by work on model-based design of printers, the notion of a parametrized partial order (PPO) was introduced recently. PPOs are a simple extension of partial orders, expressive enough to compactly represent large task graphs with repetitive be

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d75f2c43d715ad3223756cccd1a5588a
http://hdl.handle.net/2066/117109

Zobrazit plný text záznamu

Verification of Printer Datapaths Using Timed Automata

Autor: Igna, G., Vaandrager, F., Margaria, T., Steffen, B.

Publikováno v: Margaria, T.; Steffen, B. (ed.), Leveraging Applications of Formal Methods, Verification, and Validation, pp. 412-423
Lecture Notes in Computer Science ; 6416, 412-423. Berlin : Springer
STARTPAGE=412;ENDPAGE=423;TITLE=Lecture Notes in Computer Science ; 6416
Lecture Notes in Computer Science ISBN: 9783642165603
ISoLA (2)

In multiprocessor systems with many data-intensive tasks, a bus may be among the most critical resources. Typically, allocation of bandwidth to one (high-priority) task may lead to a reduction of the bandwidth of other tasks, and thereby effectively

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a20465f1112ec4cd15f4e7558053e738
https://hdl.handle.net/2066/83697

Zobrazit plný text záznamu

Model-driven design-space exploration for embedded systems: the Octopus Toolset

Autor: Basten, T., van Benthum, E., Geilen, M.C.W., Hendriks, M., Houben, Fred, Igna, G., Reckers, F.J., Smet, de, S., Somers, L.J.A.M., Teeselink, Egbert, Trcka, N., Vaandrager, F.W., Verriet, J.H., Voorhoeve, M., Yang, Y., Margaria, T., Steffen, B.

Publikováno v: Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I, 90-105
STARTPAGE=90;ENDPAGE=105;TITLE=Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
Lecture Notes in Computer Science ; 6415, 90-105. Berlin : Springer
STARTPAGE=90;ENDPAGE=105;TITLE=Lecture Notes in Computer Science ; 6415
Lecture Notes in Computer Science ISBN: 9783642165573
ISoLA (1)
Margaria, T.; Steffen, B. (ed.), Leveraging Applications of Formal Methods, Verification, and Validation, pp. 90-105

The complexity of today's embedded systems and their development trajectories requires a systematic, model-driven design approach, supported by tooling wherever possible. Only then, development trajectories become manageable, with high-quality, cost-

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::85e4097894639168b434a8d59f20c2f7
https://research.tue.nl/nl/publications/55fd7466-ed7a-4ede-b2b6-07e6ec25098e

Zobrazit plný text záznamu

Towards Data Path Analysis Using Uppaal

Autor: Igna, G., Troubitsyna, E.

Publikováno v: Troubitsyna, E. (ed.), Proceedings of Doctoral Symposium held in conjunction with Formal Methods 2008, May 26-30 2008, Turku, Finland, 18-22. Turku, Finland : Turku Centre for Computer Science
STARTPAGE=18;ENDPAGE=22;TITLE=Troubitsyna, E. (ed.), Proceedings of Doctoral Symposium held in conjunction with Formal Methods 2008, May 26-30 2008, Turku, Finland
Troubitsyna, E. (ed.), Proceedings of Doctoral Symposium held in conjunction with Formal Methods 2008, May 26-30 2008, Turku, Finland, pp. 18-22

Contains fulltext : 66929.pdf (Author’s version preprint ) (Open Access) Doctoral Symposium held in conjunction with Formal Methods 2008, 26 mei 2008

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5eb8752ea81bdcceddf3765e0afa3f77
https://hdl.handle.net/2066/66929

Zobrazit plný text záznamu

Formal Modeling and Scheduling of Datapaths of Digital Document Printers

Autor: Igna, G., Kannan, V., Yang, Y., Basten, T., Geilen, M., Vaandrager, F.W., Voorhoeve, M., Smet, S. de, Somers, L., Cassez, F., Jard, C.

Publikováno v: Cassez, F.; Jard, C. (ed.), Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings, pp. 169-186
Cassez, F.; Jard, C. (ed.), Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings, 169-186. Berlin, Heidelberg : Springer
STARTPAGE=169;ENDPAGE=186;ISSN=0302-9743;TITLE=Cassez, F.; Jard, C. (ed.), Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

Contains fulltext : 70243.pdf (Author’s version postprint ) (Open Access) 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, 15 september 2008

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4adcb2629950c334d6731ac1649a2a6c
https://hdl.handle.net/2066/70243

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání