Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

67 résultats
Page :
triés par
Image document

Programmation sûre de plates-formes embarquées de type multi/pluri-cœurs

 Claire Pagetti
Langage de programmation [cs.PL]. INPT, 2015
HDR tel-01247922v1
Image document

WATERS Industrial Challenge 2017 with Prelude

 Frédéric Boniol , Julien Forget , Claire Pagetti
8th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2017), Jun 2017, Dubrovnik, Croatia
Communication dans un congrès hal-03690252v1
Image document

Formal description of ML models for unambiguous implementation

 Adrien Gauffriau , Claire Pagetti
2023
Pré-publication, Document de travail hal-04167435v1
Image document

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

 Mélanie Ducoffe , Maxime Carrere , Léo Féliers , Adrien Gauffriau , Vincent Mussot , et al.
2023
Pré-publication, Document de travail hal-04056760v2

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

 Xavier Dumas , Claire Pagetti , Laurent Sagaspe , Pierre Bieber , Philippe Dhaussy
conférences LMO'08 et CAL'08, Mar 2008, Montréal, France. pp.Non renseigne
Communication dans un congrès hal-00517274v1

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

 Rémy Wyss , Frédéric Boniol , Claire Pagetti , Julien Forget
28th Symposium On Applied Computing (SAC'13), Apr 2013, Coimbra, Portugal. pp.1682--1687
Communication dans un congrès hal-00863174v1
Image document

Quality of Fault Injection Strategies on Hardware Accelerator

 Iban Guinebert , Andres Barrilado , Kevin Delmas , Franck Galtié , Claire Pagetti
SAFECOMP 2022 : the 41st International conférence on Computer Safety, Reliability and Security, Sep 2022, Munich, Germany. pp.222-236, ⟨10.1007/978-3-031-14835-4_15⟩
Communication dans un congrès hal-03941258v1

L'IA transporte dans le futur

 Frederic Dehais , Félix Ingrand , Claire Pagetti , Romaric Redon , Florent Teichteil-Königsbuch
Le petit illustré, regards croisés de chercheur.es, 2020, pp.40-43
Article dans une revue hal-03463284v1
Image document

Model-Based Design, Analysis and Synthesis for TSP Multi-Core Space systems

 Christophe Honvault , Jérôme Hugues , Claire Pagetti
ERTS 2018, Jan 2018, Toulouse, France
Communication dans un congrès hal-01700859v1
Image document

Identification of multi-core interference

 Frédéric Boniol , Claire Pagetti , Nathanaël Sensfelder
19th International Symposium on High Assurance Systems Engineering (HASE 2019), Jan 2019, Hangzou, China. ⟨10.1109/HASE.2019.00024⟩
Communication dans un congrès hal-02441353v1
Image document

Ordonnancement de tâches périodiques avec précédences étendues sans sémaphores

 Julien Forget , Emmanuel Grolleau , Claire Pagetti
ROADEF 2011, École Nationale Supérieure des Mines de Saint-Étienne, Mar 2011, SAINT ETIENNE, France
Communication dans un congrès inria-00563798v1
Image document

Predictable Flight Management System Implementation on a Multicore Processor

 Guy Durrieu , Madeleine Faugère , Sylvain Girbal , Daniel Gracia Pérez , Claire Pagetti , et al.
Embedded Real Time Software (ERTS'14), Feb 2014, TOULOUSE, France
Communication dans un congrès hal-01121700v1
Image document

Environnement de coopération de simulation pour la conception de systèmes cyber-physiques

 Gilles Lasnier , Janette Cardoso , Claire Pagetti , Pierre Siron
Journal Européen des Systèmes Automatisés (JESA), 2013, vol. 47, pp. 13-27. ⟨10.3166/jesa.47.13-27⟩
Article dans une revue hal-00926971v1
Image document

Patterns for Certification Standards

 Kevin Delmas , Claire Pagetti , Thomas Polacsek
Advanced Information Systems Engineering, 32nd International Conference, CAiSE 2020, Jun 2020, Grenoble, France. pp.417 - 432, ⟨10.1007/978-3-030-49435-3_26⟩
Communication dans un congrès hal-03171837v1
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

A synchronous language with partial delay specification for real-time systems programming

 Rémy Wyss , Frédéric Boniol , Julien Forget , Claire Pagetti
10th Asian Symposium on Programming Languages and Systems, Dec 2012, Kyoto, Japan. pp.223-238
Communication dans un congrès hal-00800975v1
Image document

Scheduling Dependent Periodic Tasks Without Synchronization Mechanisms

 Julien Forget , Frédéric Boniol , Emmanuel Grolleau , David Lesens , Claire Pagetti
16th IEEE Real-Time and Embedded Technology and Applications Symposium, Apr 2010, Stockholm, Sweden. pp.301--310
Communication dans un congrès hal-00800980v1

Synchronization of Periodic Clocks

 Albert Cohen , Marc Duranton , Christine Eisenbeis , Claire Pagetti , Florence Plateau , et al.
ACM Conference on Embedded Software (EMSOFT), 2005, Jersey City, NJ, United States. 339--342 (short paper)
Communication dans un congrès hal-01257295v1
Image document

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

 Julien Forget , Frédéric Boniol , David Lesens , Claire Pagetti
FM-09 Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands. pp.34-48
Communication dans un congrès hal-00800990v1

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

 Theurer Wolfgang , Frédéric Boniol , Philippe Dhaussy , Claire Pagetti
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2007, 13, pp.79-110. ⟨10.3166/obj.13.2-3.79-110⟩
Article dans une revue hal-00517281v1
Image document

A Grouping Approach to Task Scheduling with Functional and Non-Functional Requirements

 Luca Santinelli , W. Puffitsch , Arnaud Dumerat , Frédéric Boniol , Claire Pagetti , et al.
Embedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France
Communication dans un congrès hal-01070537v1
Image document

Integrated Development Framework for Safety-Critical Embedded Systems.

 Luca Santinelli , Frédéric Boniol , Eric Noulard , Claire Pagetti , W. Puffitsch
19th International Symposium on Formal Methods (FM 2014), May 2014, SINGAPOUR, Indonesia
Communication dans un congrès hal-01070546v1
Image document

Automated generation of time-predictable executables on multi-core

 Claire Pagetti , Julien Forget , Heiko Falk , Dominic Oehlert , Arno Luppold
RTNS 2018, Oct 2018, POITIERS, France
Communication dans un congrès hal-01888728v1

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

 Rémy Wyss , Frédéric Boniol , Julien Forget , Claire Pagetti
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015, 34 (5), pp. 601-626. ⟨10.3166/tsi.34.601-626⟩
Article dans une revue hal-01288224v1
Image document

Dynamic Priority Scheduling of Periodic Tasks with Extended Precedences

 Julien Forget , Emmanuel Grolleau , Claire Pagetti , Pascal Richard
IEEE 16th Conference on Emerging Technologies Factory Automation (ETFA), Sep 2011, Toulouse, France. ⟨10.1109/ETFA.2011.6059015⟩
Communication dans un congrès inria-00638941v1
Image document

Verification for Object Detection – IBP IoU

 Noémie Cohen , Mélanie Ducoffe , Ryma Boumazouza , Christophe Gabreau , Claire Pagetti , et al.
2024
Pré-publication, Document de travail hal-04405518v1
Image document

TSN Support for Quality of Service in Space

 Pierre-Julien Chaine , Marc Boyer , Claire Pagetti , Franck Wartel
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
Communication dans un congrès hal-02441327v1
Image document

Toward the certification of safety-related systems using ML techniques: the ACAS-Xu experience

 Christophe Gabreau , Adrien Gauffriau , Florence De Grancey , Jean-Brice Ginestet , Claire Pagetti
11th European Congress on Embedded Real Time Software and Systems (ERTS 2022), Jun 2022, Toulouse, France
Communication dans un congrès hal-03761946v1

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

 Thanh Dat Nguyen , Yassine Ouhammou , Emmanuel Grolleau , Julien Forget , Claire Pagetti , et al.
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2018, Dresden, Germany
Communication dans un congrès hal-02301845v1
Image document

Comparative study of Ethernet technologies for next-generation satellite on-board networks

 Pierre-Julien Chaine , Marc Boyer , Claire Pagetti , Franck Wartel
DASC 2021, Oct 2021, San Antonio, United States. ⟨10.1109/DASC52595.2021.9594399⟩
Communication dans un congrès hal-03463255v1
Page :