Real-Time Systems | Fabien Sironhttps://fabiensiron.github.io/tag/real-time-systems/Real-Time SystemsHugo Blox Builder (https://hugoblox.com)en-usThu, 05 Feb 2026 00:00:00 +0000https://fabiensiron.github.io/media/icon_hu4a9b1a28ab0f55b13f35c9523385d2b0_10595_512x512_fill_lanczos_center_3.pngReal-Time Systemshttps://fabiensiron.github.io/tag/real-time-systems/Static Analysis of Contextual Memory Accesses for Safe Memory Sharinghttps://fabiensiron.github.io/publication/2026-contextual-memory/Thu, 05 Feb 2026 00:00:00 +0000https://fabiensiron.github.io/publication/2026-contextual-memory/Separation of Functional and Time Interference Concerns for Efficient AMC 20-193 Compliancehttps://fabiensiron.github.io/publication/2024-amc-20-193/Tue, 11 Jun 2024 00:00:00 +0000https://fabiensiron.github.io/publication/2024-amc-20-193/Methodology for the Formal Verification of Temporal Properties for Real-Time Safety-Critical Applications Based on Logical Timehttps://fabiensiron.github.io/publication/2023-phd-thesis/Mon, 11 Dec 2023 00:00:00 +0000https://fabiensiron.github.io/publication/2023-phd-thesis/The Synchronous Logical Execution Time Paradigmhttps://fabiensiron.github.io/publication/2022-synchronous-let/Tue, 14 Jun 2022 00:00:00 +0000https://fabiensiron.github.io/publication/2022-synchronous-let/Vérification d'applications temps-réel basées sur le paradigme de Logical Execution Time (LET)https://fabiensiron.github.io/publication/2021-etr-let-verification/Mon, 20 Sep 2021 00:00:00 +0000https://fabiensiron.github.io/publication/2021-etr-let-verification/