Search - Archive ouverte HAL Access content directly

Filter your results

36 Results
Image document

The synchronous Logical Execution Time paradigm

Fabien Siron , Dumitru Potop-Butucaru , Robert de Simone , Damien Chabrol , Amira Methni et al.
ERTS 2022 - Embedded real time systems, Jun 2022, Toulouse, France
Conference papers hal-03694950v1
Image document

Adaptation of an auto-generated code using a model-based approach to verify functional safety in real scenarios

Joelle Abou Faysal , Nour Zalmai , Ankica Barisic , Frédéric Mallet
ERTS 2022 - Embedded Real Time Systems, Jun 2022, Toulouse, France
Conference papers hal-03611183v1
Image document

Sizing a Drone Battery by coupling MBSE and MDAO

Ombeline Aïello , Olivier Poitou , Jean-Charles Chaudemar , Pierre De Saqui-Sannes
11th European Congress Embedded Real Time Systems (ERTS) 2022, Jun 2022, Toulouse, France
Conference papers hal-03740634v1
Image document

Combining Real and Virtual Electronic Control Units in Hardware in the Loop Applications for Passenger Cars

Jan Röper , Arpita Bhattacharjee , Franz Kramer , Purushottam Kuntumalla , Andreas Junghanns et al.
ERTS2022, Jun 2022, Toulouse, France
Conference papers hal-03699658v1
Image document

Obtaining DO-178C Certification Credits by Static Program Analysis

Daniel Kästner , Markus Pister , Christian Ferdinand
ERTS2022, Jun 2022, Toulouse, France
Conference papers hal-03694553v1
Image document

Magnetotransport Studies of Encapsulated Topological Insulator Bi2Se3 Nanoribbons

Gunta Kunakova , Edijs Kauranens , Kiryl Niherysh , Mikhael Bechelany , Krisjanis Smits et al.
Nanomaterials, 2022, 12 (5), pp.768. ⟨10.3390/nano12050768⟩
Journal articles hal-03856580v1
Image document

Assessing a precise gPTP simulator with IEEE802.1AS hardware measurements

Quentin Bailleul , Katia Jaffrès-Runser , Jean-Luc Scharbarg , Philippe Cuenot
11th European Congress on Embedded Real-Time Systems (ERTS 2022), Jun 2022, Toulouse, France
Conference papers hal-03620481v1
Image document

Static Data and Control Coupling Analysis

Daniel Kästner , Laurent Mauborgne , Stephan Wilhelm , Christoph Mallon , Christian Ferdinand et al.
11th Embedded Real Time Systems European Congress (ERTS2022), Jun 2022, Toulouse, France
Conference papers hal-03694546v1
Image document

Checking validity of the min-plus operations involved in the analysis of a real-time embedded network

Marc Boyer , Pierre Roux , Hugo Daigmorte
ERTS 2022- 11th European Congress Embedded Real Time System, Jun 2022, Toulouse, France
Conference papers hal-03693417v1
Image document

Structural consistency of MBSE and MBSA models using Consistency Links

Romaric Demachy , Sébastien Guilmeau
11th European Congress Embedded Real Time System ( ERTS 2022 ), Jun 2022, Toulouse, France
Conference papers hal-03697170v1
Image document

PasTiS: building an NVIDIA Pascal GPU simulator for embedded AI applications

Michaël Adalbert , Thomas Carle , Christine Rochange
11th European Congress on Embedded Real-Time Systems (ERTS 2022), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE : the French Society for Electricity, Electronics, and Information & Communication Technologies, Jun 2022, Toulouse, France
Conference papers hal-03684680v1
Image document

Hijacking an autonomous delivery drone equipped with the ACAS-Xu system

Adrien Gauffriau , David Bertoin , Jayant Sen Gupta
ERTS2022, Jun 2022, TOULOUSE, France
Conference papers hal-03693913v1
Image document

Automatic Support for Requirements Validation

Assioua Yasmine , Rabéa Ameur-Boulifa , Patricia Guitton-Ouhamou , Renaud Pacalet
11th Embedded Real-Time Systems Congress (ERTS'2022), Jun 2022, Toulouse, France
Conference papers hal-03689243v1
Image document

Unboxing the Sand: on Deploying Safety Measures in the Programmable Logic of COTS MPSoCs

Sergi Alcaide , Guillem Cabo , Francisco Bas , Pedro Benedicte , Fabio Mazzocchetti et al.
11th European Congress Embedded Real Time Systems ( ERTS 2022 ), Jun 2022, Toulouse, France
Conference papers hal-03692732v1
Image document

Certifiable Memory Management System for Safety Critical Partitioned System

Alexy Torres Aurora Dugo , Jean-Baptiste Lefoul , Serge Harnois , Felipe Gohring de Magalhaes , Gabriela Nicolescu et al.
ERTS2022, Jun 2022, Toulouse, France
Conference papers hal-03697093v1
Image document

Investigation of Scheduling Algorithms for DAG Tasks through Simulations

Michael Schmid , Jürgen Mottok
ERTS2022, Jun 2022, Toulouse, France
Conference papers hal-03700472v1
Image document

System Optimization: A Use Case in the Space Domain

Mihal Brumbulli , Emmanuel Gaudin , Alexandre Cortier , Alain Rossignol
9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
Conference papers hal-01708355v1
Image document

Automated Generation of Requirements for the Highly Fault-Tolerant System Behaviour of a Distributed and Integrated Avionics Platform

Robert Wipperfürth , Thorben Hoffmann , Christoph Kurz , Tim Belschner , Reinhard Reichel et al.
ERTS2022 11th European Congress Embedded Real Time System, Jun 2022, Toulouse, France
Conference papers hal-03695130v1
Image document

Software fault propagation patterns for model-based safety assessment in autonomous cars

Yandika Sirgabsou , Claude Baron , Laurent Pahun , Philippe Esteban
11th European Congress on Embedded Real Time Systems (ERTS), Jun 2022, Toulouse, France
Conference papers hal-03699226v1
Image document

Practical Trust×Performance Metrics for Block Cipher Evaluation in Automotive Environments

Jacob Samuel , Keerthi K , Chester Rebeiro , Werner Schreiber , Geopeter Moothedan et al.
ERTS2022, Jun 2022, Toulouse, France
Conference papers hal-03692122v1
Image document

A testing approach for dependable Machine Learning systems

Cyril Cappi , Camille Chapdelaine , Laurent Gardes , Eric Jenn , Baptiste Lefevre et al.
11th European Congress on Embedded Real Time Systems (ERTS), Jun 2022, Toulouse, France
Conference papers hal-03694805v1
Image document

Towards a Novel UAV Position Tracking and Reporting System for Very Low Level Airspace

Bruno Chianca Ferreira , Guillaume Dufour , Guthemberg Silvestre
ERTS2022, Jun 2022, Toulouse, France
Conference papers hal-03450168v2
Image document

Leveraging Influence Functions for Dataset Exploration and Cleaning

Agustin Martin Picard , David Vigouroux , Petr Zamolodtchikov , Quentin Vincenot , Jean-Michel Loubes et al.
11th European Congress Embedded Real Time Systems (ERTS 2022), Jun 2022, Toulouse, France. pp.1-8
Conference papers hal-03617649v1
Image document

A Bottom-Up Formal Verification Approach for Common Criteria Certification: Application to JavaCard Virtual Machine

Adel Djoudi , Martin Hána , Nikolai Kosmatov , Milan Kříženecký , Franck Ohayon et al.
11th European Congress Embedded Real Time System ( ERTS 2022), Jun 2022, Toulouse, France
Conference papers hal-03695829v1
Image document

Digital transformation in the European Space Industry

Jean-Loup Terraillon
ERTS2022, Jun 2022, TOULOUSE, France
Conference papers hal-03694417v1
Image document

Impact of environment on the execution of a real-time Linux process on a multicore platform

Thomas Beck , Frédéric Boniol , Jérôme Ermont , Luc Maillet
11th European Congress on Embedded Real-Time Systems (ERTS 2022), Jun 2022, Toulouse, France
Conference papers hal-03857305v1
Image document

Towards Real-time Adaptive Approximation

Raheleh Biglari , Joost Mertens , Joachim Denil
ERTS 2022, Jun 2022, Toulouse, France
Conference papers hal-03692186v1
Image document

Can we reconcile safety objectives with machine learning performances?

Lucian Alecu , Hugues Bonnin , Thomas Fel , Laurent Gardes , Sébastien Gerchinovitz et al.
ERTS 2022, Jun 2022, TOULOUSE, France
Conference papers hal-03765471v1
Image document

A dynamic Reference Architecture to achieve planned Determinism for Automotive Applications

Denis Claraz , Ralph Mader , Hermann von Hasseln , Max-Jonas Friese
ERTS 2022, Jun 2022, Toulouse, France
Conference papers hal-03694032v1
Image document

Architecture-Supported Audit Processor: Interactive, Query-Driven Assurance

Sam Procter , Jerome Hugues
11th European Congress on Embedded Real-Time Systems (ERTS 2022), Jun 2022, Toulouse, France
Conference papers hal-03701277v1