Zobrazeno 1 - 10
of 44
pro vyhledávání: '"Maiza, Claire"'
Autor:
Raymond, Pascal, Maiza, Claire, Parent-Vigouroux, Catherine, Jahier, Erwan, Halbwachs, Nicolas, Carrier, Fabienne, Asavoae, Mihail, Boutonnet, Rémy
Publikováno v:
Leibniz Transactions on Embedded Systems, Vol 6, Iss 1, Pp 02:1-02:28 (2019)
The precision of a worst case execution time (WCET) evaluation tool on a given program is highly dependent on how the tool is able to detect and discard semantically infeasible executions of the program. In this paper, we propose to use the classical
Externí odkaz:
https://doaj.org/article/46d3188282c14e0c806ad4972898d6af
For applications in worst-case execution time analysis and in security, it is desirable to statically classify memory accesses into those that result in cache hits, and those that result in cache misses. Among cache replacement policies, the least re
Externí odkaz:
http://arxiv.org/abs/1811.01670
Publikováno v:
Rupak Majumdar; Viktor Kuncak. Computer Aided Verification - 29th International Conference, Jul 2017, Heidelberg, France. Springer, 10427 (2), pp.20 - 40, 2017, Lecture notes in computer science. http://cavconference.org/2017/
Static cache analysis characterizes a program's cache behavior by determining in a sound but approximate manner which memory accesses result in cache hits and which result in cache misses. Such information is valuable in optimizing compilers, worst-c
Externí odkaz:
http://arxiv.org/abs/1709.10008
On real-time systems running under timing constraints, scheduling can be performed when one is aware of the worst case execution time (WCET) of tasks. Usually, the WCET of a task is unknown and schedulers make use of safe over-approximations given by
Externí odkaz:
http://arxiv.org/abs/1701.08030
In systems with hard real-time constraints, it is necessary to compute upper bounds on the worst-case execution time (WCET) of programs; the closer the bound to the real WCET, the better. This is especially the case of synchronous reactive control lo
Externí odkaz:
http://arxiv.org/abs/1405.7962
Autor:
MAIZA, CLAIRE1 claire.maiza@univ-grenoble-alpes.fr, RIHANI, HAMZA1 joel.goossens@ulb.ac.be, RIVAS, JUAN M.2 joel.goossens@ulb.ac.be, GOOSSENS, JOËL2, ALTMEYER, SEBASTIAN3 altmeyer@uva.nl, DAVIS, ROBERT I.4 rob.davis@cs.york.ac.uk
Publikováno v:
ACM Computing Surveys. May2020, Vol. 52 Issue 3, p1-38. 38p. 1 Graph.
Autor:
Maiza, Claire, Rihani, Hamza, Rivas Concepcion, Juan Maria, Goossens, Joël, Altmeyer, Sebastian, Robert, Davis
This survey provides an overview of the scientific literature on timing verificationtechniques for multi-core real-time systems. It reviews the key results in the fieldfrom its origins around 2006 to the latest research published up to the end of Jul
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2101::1e698cb2e851a3847af0d87b7bbc1f11
http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/278793
http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/278793
Autor:
Jahier, Erwan, Halbwachs, Nicolas, Maiza, Claire, Raymond, Pascal, Sun, Wei-Tsun, Cassé, Hugues
Publikováno v:
[Research Report] TR-2018-2, Verimag, Université Grenoble Alpes. 2018
The estimation of the worst case execution time (WCET) of a reactive system on agiven architecture is an important goal for time-critical systems. However, it cannotbe achieved exactly, because of the complexity of modern architectures, the undecidab
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c4520847fc75157d29ea13afd6877985
https://hal-cnrs.archives-ouvertes.fr/hal-02531058
https://hal-cnrs.archives-ouvertes.fr/hal-02531058
Publikováno v:
9th European Congress on Embedded real time Software and Systems (ERTS 2018)
9th European Congress on Embedded real time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
9th European Congress on Embedded real time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
International audience; Verifying the temporal properties of critical systems embedded in vehicles, like planes or cars, is crucial to avoid catastrophic issues. A key component of this verification is the Worst Case Execution Time (WCET) of the prog
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::243b9768ba5098d10f825e9d57795c04
https://hal.science/hal-02441594
https://hal.science/hal-02441594