Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Sensfelder, Nathanaël"'
Autor:
Sensfelder, Nathanaël
L'objectif de cette thèse est d'offrir des outils d'aide à la certification aéronautique de processeurs COTS multi-cœurs. Ces architectures sont par nature parallèles et peuvent de ce fait largement améliorer les performances de calcul. Cependa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=artemis___fr::a5f97342d29b1f488bc3d3a1f5fcd40b
http://depozit.isae.fr/theses/2021/2021_Sensfelder_Nathanael_D.pdf
http://depozit.isae.fr/theses/2021/2021_Sensfelder_Nathanael_D.pdf
Publikováno v:
32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)
32nd Euromicro Conference on Real-Time Systems (ECRTS 2020), Jul 2020, MODENE, Italy. ⟨10.4230/LIPIcs.ECRTS.2020.13⟩
32nd Euromicro Conference on Real-Time Systems (ECRTS 2020), Jul 2020, MODENE, Italy. ⟨10.4230/LIPIcs.ECRTS.2020.13⟩
International audience; Architectures used in safety critical systems have to pass certain certification standards, which require sufficient proof that they will behave as expected. Multi-core processors make this challenging by featuring complex int
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d6fe34b1766f9da8576e96d000049bfb
https://hal.archives-ouvertes.fr/hal-03215824/document
https://hal.archives-ouvertes.fr/hal-03215824/document
Autor:
Boniol, Frédéric, Bouchebaba, Youcef, Brunel, Julien, Delmas, Kevin, Loquen, Thomas, Mascarenas Gonzalez, Alfonso, Pagetti, Claire, Polacsek, Thomas, Sensfelder, Nathanaël
International audience; The PHYLOG project aims at offering a model-based software-aided certification framework for aeronautical systems based on multi/many-core architectures. Certifying such platforms will entail fulfilling the high level objectiv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7290ac3fe96a31eca673f02e296c08a3
https://hal.archives-ouvertes.fr/hal-02441323/file/2020-01-15_main.pdf
https://hal.archives-ouvertes.fr/hal-02441323/file/2020-01-15_main.pdf
Publikováno v:
ECRTS 2019
ECRTS 2019, Jul 2019, Stuttgart, Germany. ⟨10.4230/LIPIcs.ECRTS.2019.26⟩
ECRTS 2019, Jul 2019, Stuttgart, Germany. ⟨10.4230/LIPIcs.ECRTS.2019.26⟩
International audience; To facilitate programming, most multi-core processors feature automated mechanisms maintaining coherence between each core's cache. These mechanisms introduce interference, that is, delays caused by concurrent access to a shar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e93807afe825208dc7cec04d6a1895c2
https://hal.archives-ouvertes.fr/hal-02165139/document
https://hal.archives-ouvertes.fr/hal-02165139/document
To facilitate programming, most multi-core processors feature automated mechanisms maintaining coherence between each core's cache. These mechanisms introduce interference, that is, delays caused by concurrent access to a shared resource. This type o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::45b1dea7c72e2572597a502e577f39dc
Autor:
Bieber, Pierre, Boniol, Frédéric, Bouchebaba, Youcef, Brunel, Julien, Pagetti, Claire, Poitou, Olivier, Polacsek, Thomas, Santinelli, Luca, Sensfelder, Nathanaël
Publikováno v:
ERTS 2018
ERTS 2018, Jan 2018, Toulouse, France. 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018)
ERTS 2018, Jan 2018, Toulouse, France
ERTS 2018, Jan 2018, Toulouse, France. 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018)
ERTS 2018, Jan 2018, Toulouse, France
International audience; —This article presents the first year results of the PHY-LOG project that aims at providing a model-based certification framework for aeronautics systems designers when developing multi/many-core-based architectures. After a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3e15c83dc9351c51774529b2c5c66ce7
https://hal.archives-ouvertes.fr/hal-01700857/document
https://hal.archives-ouvertes.fr/hal-01700857/document