Claire Pagetti

Real Time Syst., September, 2023

Formal description of ML models for unambiguous implementation.

[BibT_eX]

[DOI]

Iryna De Albuquerque Silva

CoRR, 2023

LARD - Landing Approach Runway Detection - Dataset for Vision Based Landing.

[BibT_eX]

[DOI]

CoRR, 2023

2022

ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems (Artifact).

[BibT_eX]

[DOI]

Thomas Carle

Laura Altieri Sambartolomé

Dagstuhl Artifacts Ser., 2022

Quality of Fault Injection Strategies on Hardware Accelerator.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2022

Egress-TT Configurations for TSN Networks.

[BibT_eX]

[DOI]

Proceedings of the RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Paris, France, June 7, 2022

Verification of machine learning based cyber-physical systems: a comparative study.

[BibT_eX]

[DOI]

Arthur Clavière

Eric Asselin

Christophe Garion

Iryna De Albuquerque Silva

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems.

[BibT_eX]

[DOI]

Thomas Carle

Proceedings of the 34th Euromicro Conference on Real-Time Systems, 2022

2021

White Paper Machine Learning in Certified Systems.

[BibT_eX]

[DOI]

CoRR, 2021

Towards Certification of a Reduced Footprint ACAS-Xu System: A Hybrid ML-Based Solution.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2021

Safety Verification of Neural Network Controlled Systems.

[BibT_eX]

[DOI]

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2021

2020

On How to Identify Cache Coherence: Case of the NXP QorIQ T4240.

[BibT_eX]

[DOI]

Julien Brunel

Proceedings of the 32nd Euromicro Conference on Real-Time Systems, 2020

Patterns for Certification Standards.

[BibT_eX]

[DOI]

Thomas Polacsek

Proceedings of the Advanced Information Systems Engineering, 2020

2019

GRec: Automatic Computation of Reconfiguration Graphs for Multi-core Platforms.

[BibT_eX]

[DOI]

Guy Durrieu

ACM Trans. Embed. Comput. Syst., 2019

Guest editorial: special issue on Real-Time and Network Systems.

[BibT_eX]

[DOI]

Enrico Bini

Real Time Syst., 2019

Modeling Cache Coherence to Expose Interference (Artifact).

[BibT_eX]

[DOI]

Julien Brunel

Dagstuhl Artifacts Ser., 2019

Identification of Multi-Core Interference.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

Modeling Cache Coherence to Expose Interference.

[BibT_eX]

[DOI]

Julien Brunel

Proceedings of the 31st Euromicro Conference on Real-Time Systems, 2019

2018

Note on the exact delay stability margin computation of hybrid dynamical systems.

[BibT_eX]

[DOI]

V. Bellet

Charles Poussot-Vassal

Thomas Loquen

CoRR, 2018

Automated generation of time-predictable executables on multicore.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Real-Time Networks and Systems, 2018

Design and analysis of semaphore precedence constraints: A model-based approach for deterministic communications.

[BibT_eX]

[DOI]

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017

SMT-based architecture modelling for safety assessment.

[BibT_eX]

[DOI]

Remi Delmas

Proceedings of the 12th IEEE International Symposium on Industrial Embedded Systems, 2017

SMT-Based Synthesis of Fault-Tolerant Architectures.

[BibT_eX]

[DOI]

Rémi Delmas

Proceedings of the Computer Safety, Reliability, and Security, 2017

Verifying end-to-end real-time constraints on multi-periodic models.

[BibT_eX]

[DOI]

Julien Forget

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

2016

Mapping hard real-time applications on many-core processors.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016

Temporal Isolation of Hard Real-Time Applications on Many-Core Processors.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

2015

Calcul de propriétés temps réel de bout-en-bout dans un programme synchrone multi-périodique.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2015

Off-line mapping of multi-rate dependent task sets to many-core platforms.

[BibT_eX]

[DOI]

Wolfgang Puffitsch

Eric Noulard

Real Time Syst., 2015

Automatic Architecture Hardening Using Safety Patterns.

[BibT_eX]

[DOI]

Rémi Delmas

Proceedings of the Computer Safety, Reliability, and Security, 2015

Programmation sûre de plates-formes embarquées de type multi/pluri-cœurs. (Programming mutli/many-core COTS for critical embedded systems).

[BibT_eX]

[DOI]

, 2015

2014

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

[BibT_eX]

[DOI]

Int. J. Crit. Comput. Based Syst., 2014

Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

The ROSACE case study: From Simulink specification to multi/many-core execution.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014

Run-Time Control to Increase Task Parallelism In Mixed-Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014

2013

End-to-end latency computation in a multi-periodic design.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Mapping a multi-rate synchronous language to a many-core processor.

[BibT_eX]

[DOI]

Wolfgang Puffitsch

Eric Noulard

Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

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

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2013

Explicit precedence constraints in safety-critical Java.

[BibT_eX]

[DOI]

Wolfgang Puffitsch

Eric Noulard

Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, 2013

Distributed Simulation of Heterogeneous and Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2013

2012

Off-line (Optimal) multiprocessor scheduling of dependent periodic tasks.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Applied Computing, 2012

Deterministic Execution Model on COTS Hardware.

[BibT_eX]

[DOI]

Proceedings of the Architecture of Computing Systems - ARCS 2012 - 25th International Conference, Munich, Germany, February 28, 2012

A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

Multi-task Implementation of Multi-periodic Synchronous Programs.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2011

Multiprocessor schedulability analyser.

[BibT_eX]

[DOI]

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Developing critical embedded systems on multicore architectures: the PRELUDE-SCHEDMCORE toolset.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Real-Time and Network Systems, 2011

Worst Case Temporal Consistency in Integrated Modular Avionics Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

Latency and freshness analysis on IMA systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Dynamic priority scheduling of periodic tasks with extended precedences.

[BibT_eX]

[DOI]

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

2010

A real-time architecture design language for multi-rate embedded control systems.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Scheduling Dependent Periodic Tasks without Synchronization Mechanisms.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010

Analyzing End-to-End Functional Delays on an IMA Platform.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

Preliminary design of future reconfigurable IMA platforms.

[BibT_eX]

[DOI]

SIGBED Rev., 2009

Verification of real-time systems with preemption: negative and positive results.

[BibT_eX]

[DOI]

Jérôme Ermont

Innov. Syst. Softw. Eng., 2009

Implementing Multi-Periodic Critical Systems: from Design to Code Generation

[BibT_eX]

[DOI]

Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

2008

Vers la génération de modèles de sûreté de fonctionnement.

[BibT_eX]

[DOI]

Proceedings of the Langages et Modèles à Objets, 2008

A Multi-Periodic Synchronous Data-Flow Language.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

A Framework for Distributing Real-Time Functions.

[BibT_eX]

[DOI]

Pierre-Emmanuel Hladik

Frédéric Aspro

Victor Jégu

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

2007

Un cadre conceptuel pour la modélisation multi point de vue de systèmes embarqués.

[BibT_eX]

[DOI]

Obj. Logiciel Base données Réseaux, 2007

Formal Functionally Deterministic Scheduling.

[BibT_eX]

[DOI]

François Revest

Proceedings of the ISoLA 2007, 2007

2006

Around Hopcroft's Algorithm.

[BibT_eX]

[DOI]

Manuel Baclet

Proceedings of the Implementation and Application of Automata, 2006

<i>N</i>-synchronous Kahn networks: a relaxed model of synchrony for real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

2005

Synchronization of periodic clocks.

[BibT_eX]

[DOI]

Proceedings of the EMSOFT 2005, 2005

2004

Extension temps réel d'AltaRica. (Real time extension of AltaRica).

[BibT_eX]

[DOI]

PhD thesis, 2004

A Timed Extension for ALTARICA.

[BibT_eX]

[DOI]

Franck Cassez

Olivier H. Roux

Fundam. Informaticae, 2004

On the Urgency Expressiveness.

[BibT_eX]

[DOI]

Michaël Adélaïde