Zobrazeno 1 - 10
of 196
pro vyhledávání: '"Systèmes temps réel"'
Autor:
Bérard-Deroche, Émilie
Les architectures modulaires intégrées (IMA) sont une évolution majeure de l'architecture des systèmes avioniques. Elles permettent à plusieurs systèmes de se partager des ressources matérielles sans interférer dans leur fonctionnement grâce
Autor:
Bouquillon, Fabien
Publikováno v:
Computer Science [cs]. Université de Lille (2018-..), 2022. English. ⟨NNT : ⟩
Embedded Systems. Université de Lille, 2022. English. ⟨NNT : 2022ULILB021⟩
Embedded Systems. Université de Lille, 2022. English. ⟨NNT : 2022ULILB021⟩
Real-time systems must provide functionalities that need to produce their results within predefined time windows. Some of these functionalities may be critical: if they produce wrong results or produce good results too late, failures occur which, in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5599976442b4adf781170961ed1eac75
https://hal.science/tel-03895529/document
https://hal.science/tel-03895529/document
Autor:
Fort, Frédéric
Publikováno v:
Programming Languages [cs.PL]. University of Lille, 2022. English. ⟨NNT : ⟩
A real-time system is a system whose correctness depends not only on the correctness of the values it produces, but also on the time when it produces those values. The rate at which it must produce values is defined by the environment it operates in.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______4254::e443a4c67667767a038be5599eead325
https://hal.science/tel-03948472/document
https://hal.science/tel-03948472/document
Autor:
Binder, Benjamin
Publikováno v:
Embedded Systems. Université Paris-Saclay, 2022. English. ⟨NNT : 2022UPASG086⟩
The timing behavior of real-time systems is often validated through timing analyses, which are yet jeopardized by execution phenomena called timing anomalies (TAs). A counter-intuitive TA manifests when a local speedup eventually leads to a global sl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e0d64f10c3e52dca3ec0beb2fafa5a55
https://theses.hal.science/tel-03959710
https://theses.hal.science/tel-03959710
Publikováno v:
[Research Report] RR-9443, Inria-Research Centre Grenoble – Rhône-Alpes. 2021, pp.1-32
[Research Report] RR-9443, Inria-Research Centre Grenoble – Rhône-Alpes. 2021
Real-Time Systems
Real-Time Systems, In press
[Research Report] RR-9443, Inria-Research Centre Grenoble – Rhône-Alpes. 2021
Real-Time Systems
Real-Time Systems, In press
We present CertiCAN, a tool produced using the Coq proof assistant for the formalcertification of CAN analysis results. Result certification is a process that is lightweight and flexiblecompared to tool certification. Indeed, the certification of an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c3f832a8dc3a50a7ad572df5dbbee714
https://inria.hal.science/hal-03499968/document
https://inria.hal.science/hal-03499968/document
Autor:
Guo, Xiaojie
Publikováno v:
Other [cs.OH]. Université Grenoble Alpes [2020-..], 2020. English. ⟨NNT : 2020GRALM073⟩
Schedulability analysis aims at guaranteeing the absence of deadline misses in hard real-time systems. This property is crucial for systems used in safety-critical domains such as avionics and automotive because a single deadline miss may have catast
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::19ca3f9bc1d99b287c4544839297af48
https://tel.archives-ouvertes.fr/tel-03227425/document
https://tel.archives-ouvertes.fr/tel-03227425/document
Autor:
Ben-Amor, Slim
Publikováno v:
Embedded Systems. Sorbonne Universite, 2020. English
The continuous integration of new functionality increases the complexity of embedded systems, while each functionality might impose precedence constraints between the programs fulfilling it. In addition, the prevalence of several processors may creat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::8a2005e492314bd9c08a939b77482504
https://hal.inria.fr/tel-03119187v1/document
https://hal.inria.fr/tel-03119187v1/document
Publikováno v:
[Research Report] RR-9380, INRIA Sophia Antipolis-Méditerranée (France). 2020, pp.23
We are interested in the programming and compilation of reactive, real-time systems. More specifically, we would like to understand the fundamental principles common to generalpurpose and synchronous languages—used to model reactive control systems
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::bd7e12aa021ab58ad9b9d5be00574fd4
https://inria.hal.science/hal-03043623/file/RR-9380.pdf
https://inria.hal.science/hal-03043623/file/RR-9380.pdf
Autor:
Plassart, Stéphan
Publikováno v:
Operating Systems [cs.OS]. Université Grenoble Alpes [2020-..], 2020. English. ⟨NNT : 2020GRALM017⟩
The energy consumption is a crucial issue for real-time systems,that's why optimizing it online, i.e. while the processor is running, has become essential and will be the goal of this thesis.This optimization is done by adapting the processor speed d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::02dd0745374870592c829e460e627627
https://tel.archives-ouvertes.fr/tel-02990646/document
https://tel.archives-ouvertes.fr/tel-02990646/document
Autor:
Plassart, Stéphan
Publikováno v:
Operating Systems [cs.OS]. Université Grenoble Alpes [2020-..], 2020. English. ⟨NNT : 2020GRALM017⟩
The energy consumption is a crucial issue for real-time systems,that's why optimizing it online, i.e. while the processor is running, has become essential and will be the goal of this thesis.This optimization is done by adapting the processor speed d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::02dd0745374870592c829e460e627627
https://tel.archives-ouvertes.fr/tel-02990646/document
https://tel.archives-ouvertes.fr/tel-02990646/document