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

A long road ahead: a review of the state of knowledge of the environmental effects of digitization

Autor: Gauthier Roussilhe, Anne-Laure Ligozat, Sophie Quinton

Publikováno v: Current Opinion in Environmental Sustainability. 62:101296

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::670ffbe307f85ad2720d4b5b404b8be7
https://doi.org/10.1016/j.cosust.2023.101296

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

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

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