Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Georgeta Igna"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 13, Iss Proc. QFM 2009, Pp 1-11 (2009)
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://doaj.org/article/656531c4047b4c29b242b54e1f8c88f6
Publikováno v:
SIES
To reduce the growth in size, weight and power of avionic electronic systems, the avionics industry tends to integrate more and more functions on less electronic computing units. Particularly, the use of multicore processors seems ineluctable in this
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f479ec962751c5e6e0e247b57551bb2e
https://doi.org/10.1109/sies.2017.7993394
https://doi.org/10.1109/sies.2017.7993394
Publikováno v:
VaMoS
Variability poses enormous challenges to the manufacturing domain: the demand for highly customized and personalized goods requires bringing a large amount of flexibility to traditional mass production techniques. In particular, when a factory is ask
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::669a3c32f3ad0936b923ed8c19f99a1c
https://doi.org/10.1145/2866614.2866623
https://doi.org/10.1145/2866614.2866623
Autor:
Karsten Albers, Matthias Büker, Laurent Dieudonné, Robert Hilbrich, Georgeta Igna, Stefan Kugele, Thomas Kuhn, Maike Rosinger, Raphael Weber
Publikováno v:
Advanced Model-Based Engineering of Embedded Systems ISBN: 9783319480022
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ba98d8f3833c9ca294d81ae65e63f37b
https://doi.org/10.1007/978-3-319-48003-9_9
https://doi.org/10.1007/978-3-319-48003-9_9
Publikováno v:
ETFA
Adaptability and changeability are becoming the key features of future manufacturing. With adaptability comes a need to dynamically and frequently change factory topologies throughout the life-cycle of manufacturing systems. These changes are necessa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5384dfd1150950818e5524e6b05f1782
https://doi.org/10.1109/etfa.2015.7301452
https://doi.org/10.1109/etfa.2015.7301452
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319103280
SmartGridSec
SmartGridSec
Successful decentralized and prosumer-based smart grids need to be at least as dependable and secure as the prevailing one-way, generation-transmission-distribution-consumer power grids. With this motivation in mind, we propose a two-phase model-base
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fa34e0337428f2e8b61491306d3fe9b1
https://doi.org/10.1007/978-3-319-10329-7_2
https://doi.org/10.1007/978-3-319-10329-7_2
Autor:
Twan Basten, Frits W. Vaandrager, Marc Voorhoeve, Yang Yang, Venkatesh Kannan, Marc Geilen, Lou Somers, Sebastian De Smet, Georgeta Igna
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540857778
FORMATS
FORMATS
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c5da755292c23f9f9aaea754bf6b7fb1
https://doi.org/10.1007/978-3-540-85778-5_13
https://doi.org/10.1007/978-3-540-85778-5_13