Výsledky vyhledávání - "Marianne de Michiel"

A Framework for Calculating WCET Based on Execution Decision Diagrams

Autor: Zhenyu Bai, Hugues Cassé, Marianne De Michiel, Thomas Carle, Christine Rochange

Publikováno v: ACM Transactions on Embedded Computing Systems. 21:1-26

Due to the dynamic behaviour of acceleration mechanisms such as caches and branch predictors, static Worst-case Execution Time (WCET) analysis methods tend to scale poorly to modern hardware architectures. As a result, a trade-off must be found betwe

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::a064932a179d06081d6540021b287811
https://doi.org/10.1145/3476879

Zobrazit plný text záznamu

Déterminer le WCET d'applications temps-réel en présence de latences d'exécution variables

Autor: Zhenyu Bai, Hugues Cassé, Marianne de Michiel, Thomas Carle, Christine Rochange

Publikováno v: à paraître
Conférence francophone d'informatique en Parallélisme, Architecture et Système (COMPAS 2021)
Conférence francophone d'informatique en Parallélisme, Architecture et Système (COMPAS 2021), CC-IN2P3-Centre de Calcul de l’IN2P3 (USR6402); LIP-Laboratoire de l’Informatique du Parallélisme (UMR5668), Jul 2021, Lyon (en virtuel), France
HAL

International audience; Les contraintes temporelles des systèmes temps-réel doivent être vérifiées afin de garantir une exécution correcte. Il faut alors borner le pire temps d’exécution (WCET) des tâches qui les composent. Une difficulté

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1eb5cb185404fee99bccafadeff2a4f8
https://hal.archives-ouvertes.fr/hal-03283696

Zobrazit plný text záznamu

Improving the Performance of WCET Analysis in the Presence of Variable Latencies

Autor: Hugues Cassé, Zhenyu Bai, Christine Rochange, Thomas Carle, Marianne de Michiel

Publikováno v: LCTES '20: The 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems
21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)
21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), Jun 2020, London, United Kingdom. pp.119-130, ⟨10.1145/3372799.3394371⟩
LCTES

Due to the dynamic behaviour of acceleration mechanisms such as caches and branch predictors, static Worst-Case Execution Time (wcet) analysis methods tend to scale poorly to modern hardware architectures. As a result, a tradeoff must be made between

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::88f13b7dcd0947548bf8ecb3214c33c8
https://hal.archives-ouvertes.fr/hal-02777132

Zobrazit plný text záznamu

Working around loops for infeasible path detection in binary programs

Autor: Hugues Cassé, Jordy Ruiz, Marianne de Michiel

Publikováno v: IEEE International Working Conference on Source Code Analysis and Manipulation
IEEE International Working Conference on Source Code Analysis and Manipulation, Sep 2017, Shanghai, China. pp.1--10
SCAM

The research of a safe Worst-Case Execution Time (WCET) estimation is necessary to build reliable hard, critical real-time systems. Infeasible paths are a major cause of overestimation of theWorst-Case Execution Time (WCET): without data flow constra

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d8e8ba5c91af3b65bd74cf4c00eed075
https://hal.science/hal-03116310

Zobrazit plný text záznamu

Normalisation of Loops with Covariant Variables

Autor: Marianne de Michiel, Hugues Cassé, Armelle Bonenfan

Publikováno v: Electronic Notes in Theoretical Computer Science. 289:41-51

Temporal property verification is utterly important to ensure safety of critical real-time systems. A main component of this verification is the computation of Worst Case Execution Time (WCET) that requires, in turn, the determination of loop bounds.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::707c17f7ea2b52f159c8ee03484020a5
https://doi.org/10.1016/j.entcs.2012.11.005

Zobrazit plný text záznamu

Estimations pour le partitionnement de systèmes temps réel strict sur FPGA

Autor: Belkacem Cherfaoui, D. Dours, Marianne De Michiel, Reda Bekkouche, P. Magnaud

Publikováno v: Techniques et sciences informatiques. 23:515-542

In this paper different estimation techniques used for the behavioral partitioning of a hard real-time system over an architecture consisting of a mixture of programmable processors (off-the-shelf processors) and hardware processors (FPGAs) are prese

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::a6b42fe03c983faa8d501fca9e4c9b7e
https://doi.org/10.3166/tsi.23.515-542

Zobrazit plný text záznamu

MBBA: A Multi-Bandwidth Bus Arbiter for Hard Real-Time

Autor: Christine Rochange, Marianne de Michiel, Roman Bourgade, Pascal Sainrat

Publikováno v: 2010 5th International Conference on Embedded and Multimedia Computing.

Multi-core architectures are being increasingly used in embedded systems as they offer several advantages: improved hardware integration, low thermal dissipation and reduced energy consumption, while they make it possible to improve the computing pow

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::4ca1481a402d01b56b1cef2f467c8447
https://doi.org/10.1109/emc.2010.5575754

Zobrazit plný text záznamu

Partial Flow Analysis with oRange

Autor: Hugues Cassé, Clément Ballabriga, Armelle Bonenfant, Marianne de Michiel

Publikováno v: Lecture Notes in Computer Science ISBN: 9783642165603
ISoLA (2)

In order to ensure that timing constrains are met for a Real-Time Systems, a bound of the Worst-Case Execution Time (WCET) of each part of the system must be known. Current WCET computation methods are applied on whole programs which means that all t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::f118834da1f1474661e1521d07df4a2c
https://doi.org/10.1007/978-3-642-16561-0_43

Zobrazit plný text záznamu

Distribution object oriented databases: An allocation method

Autor: Marianne De Michiel, Franck Ravat, Gilles Zurfluh

Publikováno v: Lecture Notes in Computer Science ISBN: 9783540634782
DEXA

In this article, we propose a solution for the distributed object oriented database design. Our work is based on a top-down approach. Notably, we concentrate on the allocation step that allows to place the object class fragments and the methods onto

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::9ae8f38d34a45ac045957299edd07060
https://doi.org/10.1007/bfb0022046

Zobrazit plný text záznamu

FFX: A portable WCET annotation language

Autor: Jakob Zwirchmayr, Laura Kovács, Armelle Bonenfant, Hugues Cassé, Jens Knoop, Marianne de Michiel

Publikováno v: Scopus-Elsevier
RTNS

In order to ensure safety of critical real-time systems it is crucial to verify their temporal properties. Such a property is the Worst-Case Execution Time (WCET), which is obtained by architecture-dependent timing analysis and architecture-independe

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::61656c1120d72dcf2233eb7eb5ca3555
http://www.scopus.com/inward/record.url?eid=2-s2.0-84870935948&partnerID=MN8TOARS

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání