Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

21 résultats
Image document

How Resilient is your computer system?

William Excoffon , Jean-Charles Fabre , Michaël Lauer
ERTS 2018,9th European Congress Embedded Real Time Software and systems, Jan 2018, Toulouse, France
Communication dans un congrès hal-01708220v1
Image document

Towards Adaptive Fault Tolerance: From a Component-Based Approach to ROS

Michaël Lauer , Matthieu Amy , William Excoffon , Matthieu Roy , Miruna Stoicescu
CARS 2015 - Critical Automotive applications: Robustness & Safety, Sep 2015, Paris, France
Communication dans un congrès hal-01193039v1
Image document

Mixed Critical Automotive Embedded Applications on Multicores: A Safe Scheduling Approach for Dependability

Daniel Loche , Michaël Lauer , Matthieu Roy , Jean-Charles Fabre
5th International Workshop on Critical Automotive Applications: Robustness & Safety, Sep 2019, Naples, Italy
Communication dans un congrès hal-02303216v1
Image document

Run-time Monitoring and Control for Temporal Fault Prevention in Mixed-criticality Systems

Daniel Loche , Aléxis Génèrès , Michaël Lauer , Jean-Charles Fabre
European Dependable Computing Conference (EDCC 2021), Intel; Fraunhofer IKS; LAAS, Sep 2021, Munich (virtual), Germany. pp.53-60, ⟨10.1109/EDCC53658.2021.00015⟩
Communication dans un congrès hal-03275605v1
Image document

End-to-end latency and temporal consistency analysis in networked real-time systems

Michaël Lauer , Frédéric Boniol , Claire Pagetti , Jérôme Ermont
International Journal of Critical Computer-Based Systems, 2014, vol. 5 (n° 3/4), pp. 172-196. ⟨10.1504/IJCCBS.2014.064667⟩
Article dans une revue hal-01154189v1
Image document

Une méthode globale pour la vérification d’exigences temps réel : application à l’avionique modulaire intégrée

Michaël Lauer
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2012. Français. ⟨NNT : 2012INPT0033⟩
Thèse tel-04264836v2
Image document

Determinism Enhancement of AFDX Networks via Frame Insertion and Sub-Virtual Link Aggregation

Meng Li , Michaël Lauer , Guchuan Zhu , Yvon Savaria
IEEE Transactions on Industrial Informatics, 2014, 10 (3), pp.1684-1695. ⟨10.1109/TII.2014.2315441⟩
Article dans une revue hal-02065005v1
Image document

Safe Scheduling on Multicores: an approach leveraging multi-criticality and end-to-end deadlines

Daniel Loche , Michaël Lauer , Matthieu Roy , Jean-Charles Fabre
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, TOULOUSE, France
Communication dans un congrès hal-02465340v1
Image document

Engineering Adaptive Fault-Tolerance Mechanisms for Resilient Computing on ROS

Michaël Lauer , Matthieu Amy , Jean-Charles Fabre , Matthieu Roy , William Excoffon , et al.
HASE 2016 — IEEE 17th International Symposium on High Assurance Systems Engineering Symposium, Jan 2016, Orlando, FL, United States. pp.94-101, ⟨10.1109/HASE.2016.30⟩
Communication dans un congrès hal-01288098v1
Image document

Analysis of Adaptive Fault Tolerance for Resilient Computing

William Excoffon , Jean-Charles Fabre , Michaël Lauer
13th European Dependable Computing Conference (EDCC 2017), Sep 2017, Geneva, Switzerland. 9p., ⟨10.1109/EDCC.2017.22⟩
Communication dans un congrès hal-01708205v1
Image document

Multiplexing Adaptive with Classic AUTOSAR? Adaptive Software Control to Increase Resource Utilization in Mixed-Critical Systems

Angeliki Kritikakou , Thibaut Marty , Claire Pagetti , Christine Rochange , Michaël Lauer , et al.
Workshop CARS 2016 - Critical Automotive applications : Robustness & Safety, Sep 2016, Göteborg, Sweden
Communication dans un congrès hal-01375576v1
Image document

Partial Updates of AUTOSAR Embedded Applications — To What Extent?

Hélène Martorell , Jean-Charles Fabre , Michaël Lauer , Matthieu Roy , Régis Valentin
11th European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France
Communication dans un congrès hal-01194832v1
Image document

An Approach for Resilient Systems Analysis

William Excoffon , Jean-Charles Fabre , Michaël Lauer
Fast abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Sep 2016, Trondheim, Norway. 2p
Communication dans un congrès hal-01370228v1
Image document

Reliability Enhancement of Redundancy Management in AFDX Networks

Meng Li , Guchuan Zhu , Yvon Savaria , Michaël Lauer
IEEE Transactions on Industrial Informatics, 2017, 13 (5), pp.2118-2129. ⟨10.1109/TII.2017.2732345⟩
Article dans une revue hal-01585141v1
Image document

Resilient Computing on ROS using Adaptive Fault Tolerance

Michaël Lauer , Matthieu Amy , Jean-Charles Fabre , Matthieu Roy , William Excoffon , et al.
Journal of Software: Evolution and Process, 2018, 30 (3), pp.e1917. ⟨10.1002/smr.1917⟩
Article dans une revue hal-01703968v1
Image document

Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems

Frédéric Boniol , Michaël Lauer , Claire Pagetti , Jérôme Ermont
5th International Symposium on NASA Formal Methods (NFM 2013), May 2013, Moffett Field, CA, United States. pp. 93-107
Communication dans un congrès hal-01228710v1
Image document

Experimenting with Dynamic Cache Allocation to Improve Linux Real-Time Behaviour

Aléxis Génèrès , Michaël Lauer , Jean-Charles Fabre
11th European Congress of Embedded Real Time Software and Systems, Jun 2022, Toulouse, France
Communication dans un congrès hal-04044944v1
Image document

Towards Resilient Computing on ROS for Embedded Applications

Jean-Charles Fabre , Michaël Lauer , Matthieu Roy , Matthieu Amy , William Excoffon , et al.
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
Communication dans un congrès hal-01292318v1
Image document

Towards Adaptive Fault Tolerance on ROS for Advanced Driver Assistance Systems

Matthieu Amy , Jean-Charles Fabre , Michaël Lauer
2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W), Jun 2017, Denver, United States. 7p., ⟨10.1109/DSN-W.2017.42⟩
Communication dans un congrès hal-01707514v1
Image document

Optimizing Vehicle-to-Cloud Data Transfers using Soft Real-Time Scheduling Concepts

Jean Ibarz , Michaël Lauer , Matthieu Roy , Jean-Charles Fabre , Olivier Flébus
RTNS 2020: 28th International Conference on Real-Time Networks and Systems, Jun 2020, virtual conference, France. pp.161-171, ⟨10.1145/3394810.3394818⟩
Communication dans un congrès hal-03167058v1
Image document

Experimental Platform for Testing Cache Allocation Policies to Improve Linux Real-Time Behaviour

Aléxis Génèrès , Michaël Lauer
CARS - Critical Automotive applications: Robustness & Safety, Sep 2022, Zaragoza, Spain
Communication dans un congrès hal-03782727v2