Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

67 résultats
Page :
triés par
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

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

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
Image document

Formal description of ML models for unambiguous implementation

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

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

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
Image document

Modelling and analyzing multi-core COTS processors

 Frédéric Boniol , Julien Brunel , Kevin Delmas , Claire Pagetti , Victor Jegu
11th European Congress on Embedded Real Time Software and Systems (ERTS 2022), Jun 2022, Toulouse, France
Communication dans un congrès hal-03761937v1
Image document

Comparative Study of High-Throughput Technologies for Next-Generation Satellite On-Board Networks

 Pierre-Julien Chaine , Marc Boyer , Claire Pagetti , Franck Wartel
DATA systems in Aerospace (DASIA), Sep 2021, Bucarest, France
Communication dans un congrès hal-03625035v1
Image document

Reconfigurable IMA platform: from safety assessment to test scenarios on the SCARLETT demonstrator

 Claire Pagetti , Pierre Bieber , Julien Brunel , Kushal Gupta , Eric Noulard , et al.
Embedded Real-time Software and Systems, ERTS 2012, Feb 2012, Toulouse, France
Communication dans un congrès hal-02170919v1
Image document

Synchronizing Periodic Clocks in Kahn Networks

 Albert Cohen , Marc Duranton , Christine Eisenbeis , Claire Pagetti , Florence Plateau , et al.
[Research Report] RR-5603, INRIA. 2005, pp.38
Rapport inria-00070404v1
Image document

A Real-Time Architecture Design Language for Multi-Rate Embedded Control Systems

 Julien Forget , Frédéric Boniol , David Lesens , Claire Pagetti
25th ACM Symposium On Applied Computing, Mar 2010, Sierre, Switzerland. pp.527--534
Communication dans un congrès hal-00688490v1
Image document

TTEthernet-based architecture simulation with Ptolemy II

 Guillaume Brau , Claire Pagetti
6th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2012), Nov 2012, Pont-à-Mousson, France. p29-32
Communication dans un congrès hal-00909115v1
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

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
Page :