Zobrazeno 1 - 10 of 526 pro vyhledávání: '"Sophie Quinton"'
1
Akademický článek
Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates
Autor: Sönke Holthusen, Sophie Quinton, Ina Schaefer, Johannes Schlatow, Martin Wegner
Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 208, Iss Proc. PrePost 2016, Pp 31-45 (2016)
In this paper we address the issue of change after deployment in safety-critical embedded system applications. Our goal is to substitute lab-based verification with in-field formal analysis to determine whether an update may be safely applied. This i
Externí odkaz: https://doaj.org/article/166c206e85f94d74afc7368b66eb47da
Zobrazit plný text záznamu
3
CertiCAN: Certifying CAN Analyses and Their Results
Autor: Pascal Fradet, Xiaojie Guo, Sophie Quinton
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
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
Zobrazit plný text záznamu
4
System-level Logical Execution Time: Augmenting the Logical Execution Time Paradigm for Distributed Real-Time Automotive Software
Autor: Rolf Ernst, Sophie Quinton, Kai-Bjorn Gemlau, Leonie Kohler
Publikováno v: ACM Transactions on Cyber-Physical Systems
ACM Transactions on Cyber-Physical Systems, 2021, 5 (2), pp.1-27. ⟨10.1145/3381847⟩
ACM Transactions on Cyber-Physical Systems, ACM, 2021, 5 (2), pp.1-27. ⟨10.1145/3381847⟩
Logical Execution Time (LET) is a timed programming abstraction, which features predictable and composable timing. It has recently gained considerable attention in the automotive industry, where it was successfully applied to master the distribution
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4966034f8c23a3d17ec5c996100187e7
https://inria.hal.science/hal-03125851/file/tcps_final.pdf
Zobrazit plný text záznamu
5
Weakly-hard Real-time Guarantees for Earliest Deadline First Scheduling of Independent Tasks
Autor: Rolf Ernst, Sophie Quinton, Zain A. H. Hammadeh
Publikováno v: ACM Transactions on Embedded Computing Systems (TECS)
ACM Transactions on Embedded Computing Systems (TECS), 2020, 18 (6), pp.1-25. ⟨10.1145/3356865⟩
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2020, 18 (6), pp.1-25. ⟨10.1145/3356865⟩
International audience; The current trend in modeling and analyzing real-time systems is toward tighter yet safe timing constraints. Many practical real-time systems can de facto sustain a bounded number of deadline-misses, i.e., they have Weakly-Har
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::feba3f27fa6997c734a77550fa4c83c6
https://inria.hal.science/hal-02459836/document
Zobrazit plný text záznamu
6
Improving and Estimating the Precision of Bounds on the Worst-Case Latency of Task Chains
Autor: Rafik Henia, Sophie Quinton, Alain Girault, Nicolas Sordon, Christophe Prevot
Publikováno v: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2018, 37 (11), pp.2578-2589. ⟨10.1109/TCAD.2018.2861016⟩
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE, 2018, 37 (11), pp.2578-2589. ⟨10.1109/TCAD.2018.2861016⟩
Special Issue of the EMSOFT 2018 International Conference; International audience; One major issue that hinders the use of performance analysis in industrial design processes is the pessimism inherent to any analysis technique that applies to realist
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4aeb339f0cd1e6ba14787204fe8b976c
https://doi.org/10.1109/tcad.2018.2861016
Zobrazit plný text záznamu
7
CertiCAN: A Tool for the Coq Certification of CAN Analysis Results
Autor: Sophie Quinton, Jean-François Monin, Pascal Fradet, Xiaojie Guo
Publikováno v: RTAS 2019-25th IEEE Real-Time and Embedded Technology and Applications Symposium
RTAS 2019-25th IEEE Real-Time and Embedded Technology and Applications Symposium, Apr 2019, Montreal, Canada. pp.1-10, ⟨10.1109/RTAS.2019.00023⟩
RTAS
International audience; This paper introduces CertiCAN, a tool produced using the Coq proof assistant for the formal certification of CAN analysis results. Result certification is a process that is lightweight and flexible compared to tool certificat
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9ae44bc6888b805fc587800d697c9bfe
https://hal.science/hal-02119024
Zobrazit plný text záznamu
8
A Generic Coq Proof of Typical Worst-Case Analysis
Autor: Pascal Fradet, Jean-François Monin, Maxime Lesourd, Sophie Quinton
Publikováno v: RTSS 2018-39th IEEE Real-Time Systems Symposium
RTSS 2018-39th IEEE Real-Time Systems Symposium, Dec 2018, Nashville, United States. pp.1-12
RTSS
International audience; This paper presents a generic proof of Typical Worst-Case Analysis (TWCA), an analysis technique for weakly-hard real-time uniprocessor systems. TWCA was originally introduced for systems with fixed priority preemptive (FPP) s
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7f5f82bf018be3e5f67c9e8ed434da36
https://inria.hal.science/hal-01903752
Zobrazit plný text záznamu
9
Evolution of the missions of occupational health services and follow-up of the employees
Autor: Sophie, Quinton-Fantoni
Publikováno v: La Revue du praticien. 67(5)
Evolution of the missions of occupational health services and follow-up of the employees. In France, the occupationnal health system is original because it is based on dual approach, individual or medical approach and collective, directed on the work
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=pmid________::9a5842250deaddc2a06fd3a8d05c4d8d
https://pubmed.ncbi.nlm.nih.gov/30512667
Zobrazit plný text záznamu
10
A Generalized Digraph Model for Expressing Dependencies
Autor: Xiaojie Guo, Sophie Quinton, Pascal Fradet, Jean-François Monin
Publikováno v: RTNS
RTNS '18-26th International Conference on Real-Time Networks and Systems
RTNS '18-26th International Conference on Real-Time Networks and Systems, Oct 2018, Chasseneuil-du-Poitou, France. pp.1-11, ⟨10.1145/3273905.3273918⟩
International audience; In the context of computer assisted verification of schedulability analyses, very expressive task models are useful to factorize the correctness proofs of as many analyses as possible. The digraph task model seems a good candi
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9c2d55cc85fbedb155aea0abcc6dd078
https://doi.org/10.1145/3273905.3273918
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje