Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Dario Socci"'
Publikováno v:
Real-Time Systems. 55:709-773
Modern real-time systems tend to be mixed-critical, in the sense that they integrate on the same computational platform applications at different levels of criticality (e.g., safety critical and mission critical). Scheduling of such systems is a popu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c4b61e6805fe968106883d083ed99303
https://doi.org/10.1007/s11241-019-09329-9
https://doi.org/10.1007/s11241-019-09329-9
Autor:
Dario Socci, Lothar Thiele, Georgia Giannopoulou, Peter Poplavko, Madeleine Faugere, Sylvain Girbal, Nikolay Stoimenov, Benoît Dupont de Dinechin, Paraskevas Bourgos, Saddek Bensalem, Romain Soulat, Pengcheng Huang, Marius Bozga
Publikováno v:
Design Automation for Embedded Systems
Design Automation for Embedded Systems, Springer Verlag, 2018, 22 (1-2), pp.141-181. ⟨10.1007/s10617-018-9206-3⟩
Design Automation for Embedded Systems, Springer Verlag, 2018, 22 (1-2), pp.141-181. ⟨10.1007/s10617-018-9206-3⟩
International audience; Mixed-criticality systems are promoted in industry due to their potential to reduce size, weight, power, and cost. Nonetheless, deploying mixed-criticality applications on commercial multi-core platforms remains a highly chall
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cf0a48a24742c2d4dbccc1c192669bf6
https://doi.org/10.1007/s10617-018-9206-3
https://doi.org/10.1007/s10617-018-9206-3
Publikováno v:
RTNS
Previously, a lot of research has been done on scheduling a finite set of mixed criticality jobs with two levels of criticality on a single processor, which is also the subject of this work.It has been claimed that testing the correctness of solution
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::aacaac08c6d065a1bb86a6ca6eed6f65
https://doi.org/10.1145/3273905.3273916
https://doi.org/10.1145/3273905.3273916
Publikováno v:
7th International Symposium, ISoLA 2016
7th International Symposium, ISoLA 2016, Oct 2016, Corfu, Greece
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques ISBN: 9783319471655
ISoLA (1)
7th International Symposium, ISoLA 2016, Oct 2016, Corfu, Greece
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques ISBN: 9783319471655
ISoLA (1)
International audience; Those autonomic concurrent systems which are timing-critical and compute intensive need special resource managers in order to ensure adaptation to unexpected situations in terms of compute resources. So-called mixed-criticalit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d7f1db5c19f0479fbd772ccbc127cd3d
https://hal.archives-ouvertes.fr/hal-01898226/file/ISoLA2016_035_original_v2.pdf
https://hal.archives-ouvertes.fr/hal-01898226/file/ISoLA2016_035_original_v2.pdf
Publikováno v:
HPCC/CSS/ICESS
Modern safety-critical systems, such as avionics, tend to be mixed-critical, because integration of different tasks with different assurance requirements can effectively reduce their costs in terms of hardware, at the risk, however to increase the co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6647e50e2bd75efa1aef4c539f4b825d
https://doi.org/10.1109/hpcc-css-icess.2015.321
https://doi.org/10.1109/hpcc-css-icess.2015.321
Publikováno v:
ISORC
IEEE 18th International Symposium on Real-Time Distributed Computing, ISORC 2015
IEEE 18th International Symposium on Real-Time Distributed Computing, ISORC 2015, Apr 2015, Auckland, New Zealand. pp.198--207, ⟨10.1109/ISORC.2015.18⟩
IEEE 18th International Symposium on Real-Time Distributed Computing, ISORC 2015
IEEE 18th International Symposium on Real-Time Distributed Computing, ISORC 2015, Apr 2015, Auckland, New Zealand. pp.198--207, ⟨10.1109/ISORC.2015.18⟩
International audience; The real-time system design targeting multiprocessor platforms leads to two important complications in real-time scheduling. First, to ensure deterministic processing by communicating tasks the scheduling has to consider prece
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::09da752eeb24e19224846b67665ff2fe
https://doi.org/10.1109/isorc.2015.18
https://doi.org/10.1109/isorc.2015.18
Publikováno v:
ECRTS
25th Euromicro Conference on Real-Time Systems, ECRTS 2013, Paris, France, July 9-12, 2013
25th Euromicro Conference on Real-Time Systems, ECRTS 2013, Paris, France, July 9-12, 2013, Jul 2013, Paris, France. pp.93-102, ⟨10.1109/ECRTS.2013.20⟩
25th Euromicro Conference on Real-Time Systems, ECRTS 2013, Paris, France, July 9-12, 2013
25th Euromicro Conference on Real-Time Systems, ECRTS 2013, Paris, France, July 9-12, 2013, Jul 2013, Paris, France. pp.93-102, ⟨10.1109/ECRTS.2013.20⟩
International audience; Using the advances of the modern microelectronics technology, the safety-critical systems, such as avionics, can reduce their costs by integrating multiple tasks on one device. This makes such systems essentially mixed-critica
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ab99a4858f6bcb1b36a0b2a26392bfd0
https://doi.org/10.1109/ecrts.2013.20
https://doi.org/10.1109/ecrts.2013.20