Search - ONERA - Office national d'études et de recherches aérospatiales Access content directly

Filter your results

24 Results
Structure: Internal structure identifier : 389097
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⟩
Journal articles hal-01154189v1
Image document

Run-time Control to Increase Task Parallelism in Mixed-Critical Systems

Angeliki Kritikakou , Olivier Baldellon , Claire Pagetti , Christine Rochange , Matthieu Roy
26th Euromicro Conference on Real-Time Systems (ECRTS14), Jul 2014, Madrid, Spain. 11p
Conference papers hal-01015476v1
Image document

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

Angeliki Kritikakou , Claire Pagetti , Matthieu Roy , Christine Rochange , Madeleine Faugère , et al.
22nd International Conference on Real-Time Networks and Systems, Oct 2014, Versailles, France. ⟨10.1145/2659787.2659799⟩
Conference papers hal-01096102v1
Image document

Impact of Operational Reliability Re-assessment during Aircraft Missions

Kossi Tiassou , Karama Kanoun , Mohamed Kaâniche , Christel Seguin , Chris Papadopoulos
The 31st IEEE Symposium on Reliable Distributed Systems (SRDS 2012), Oct 2012, Irvine, CA, United States. pp.219-224, ⟨10.1109/SRDS.2012.37⟩
Conference papers hal-01176048v1
Image document

Evaluation of Runtime Monitoring for UAV Emergency Landing

Joris Guerin , Kevin Delmas , Jérémie Guiochet
International Conference on Robotics and Automation (ICRA), May 2022, Philadelphia, United States
Conference papers hal-03600856v1

Test Languages for In-the-Loop Avionics Tests

Alexandru-Robert Guduvan , Hélène Waeselynck , Virginie Wiels , Guy Durrieu , Yann Fusero , et al.
Journal of Aerospace Information Systems, 2015, 12 (4), pp.374-391. ⟨10.2514/1.I010151⟩
Journal articles hal-01953487v1
Image document

Out-Of-Distribution Detection Is Not All You Need

Joris Guérin , Kevin Delmas , Raul Sena Ferreira , Jérémie Guiochet
The 37th AAAI conference on artificial intelligence (2023), Feb 2023, Washington DC, United States
Conference papers hal-03870531v2
Image document

The ARUM Experimentation Platform : an Open Tool to evaluate Mobile Systems Applications

Marc-Olivier Killijian , Matthieu Roy , Gaetan Severac
AMiRE 2011: 6th International Symposium on Autonomous Minirobots for Research and Edutainment, May 2011, Bielefeld, Germany. pp.1
Conference papers hal-00667832v1
Image document

Modeling Aircrafts Operational Reliability

Kossi Tiassou , Karama Kanoun , Mohamed Kaâniche , Christel Seguin , Chris Papadopoulos
International Conference on Computer Safety, Reliability ans Security (SAFECOMP 2011), Sep 2011, Naples, Italy. pp.157-170
Conference papers hal-01176051v1
Image document

Unifying Evaluation of Machine Learning Safety Monitors

Joris Guérin , Raul Sena Ferreira , Kevin Delmas , Jérémie Guiochet
33rd IEEE International Symposium on Software Reliability Engineering (ISSRE 2022), Oct 2022, Charlotte, United States. ⟨10.1109/ISSRE55969.2022.00047⟩
Conference papers hal-03765273v1
Image document

Skill-based design of dependable robotic architectures

Alexandre Albore , David Doose , Christophe Grand , Jérémie Guiochet , Charles Lesire , et al.
Robotics and Autonomous Systems, 2022, 160, pp.104318. ⟨10.1016/j.robot.2022.104318⟩
Journal articles hal-03927289v1
Image document

Show Me New Counterexamples: A Path-Based Approach

Kalou Cabrera Castillos , Hélène Waeselynck , Virginie Wiels
8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015), Apr 2015, Graz, Austria. ⟨10.1109/ICST.2015.7102606⟩
Conference papers hal-01953299v1
Image document

Certifying Emergency Landing for Safe Urban UAV

Joris Guérin , Kevin Delmas , Jérémie Guiochet
7th International Workshop on Safety and Security of Intelligent Vehicles (SSIV 2021) at IEEE/IFIP Intern. Conf. on Dependable Systems and Networks (DSN), Jun 2021, Taipei (virtual), Taiwan. ⟨10.1109/DSN-W52860.2021.00020⟩
Conference papers hal-03213534v1
Image document

Impact de l'évaluation de la fiabilité opérationnelle pendant la mission d'un avion

Kossi Tiassou , Karama Kanoun , Mohamed Kaâniche , Christel Seguin , Chris Papadopoulos
Congrès de Maîtrise des Risques et de sûreté de Fonctionnement (Lamda Mu 17), Oct 2012, Tours, France. 9 p
Conference papers hal-00761050v1
Image document

Modèles et politiques de sécurité des systèmes d'information et de communication en santé et en social

Anas Abou El Kalam , Philippe Balbiani , Salem Benferhat , Frédéric Cuppens , Yves Deswarte , et al.
1ère Conférence Francophone en Gestion et Ingénierie des Systèmes Hospitaliers (GISEH'2003), Jan 2003, Lyon, France
Conference papers hal-04006701v1
Image document

ORBAC : un modèle de contrôle d'accès basé sur les organisations

Anas Abou El Kalam , Rania El Baida , Philippe Balbiani , Salem Benferhat , Frederic Cuppens , et al.
Cahiers francophones de la recherche en sécurité de l'information, 2003, 2, pp.30--40
Journal articles hal-04003606v1
Image document

Monitoring On-line Timing Information to Support Mixed-Critical Workloads

Angeliki Kritikakou , Olivier Baldellon , Claire Pagetti , Christine Rochange , Matthieu Roy , et al.
IEEE Real-Time Systems Symposium 2013, Dec 2013, Vancouver, Canada. pp.9-10
Conference papers hal-01015455v1
Image document

Online model adaptation for aircraft operational reliability assessment

Kossi Tiassou , Karama Kanoun , Mohamed Kaâniche , Christel Seguin , Chris Papadopoulos
6th International Congress, Embedded Real Time Software and Systems (ERTS2 2012), Feb 2012, Toulouse, France. pp.1-11
Conference papers hal-00761040v1
Image document

Organization based access control

Anas Abou El Kalam , Rania El Baida , Philippe Balbiani , Salem Benferhat , Frederic Cuppens , et al.
4th International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), IEEE, Jun 2003, Lake Como, Italy. pp.120--131, ⟨10.1109/POLICY.2003.1206966⟩
Conference papers hal-04003608v1
Image document

A hierarchical fault tolerant architecture for an autonomous robot

Anthony Favier , Antonin Messioux , Jérémie Guiochet , Jean-Charles Fabre , Charles Lesire
6th Intern. Workshop on ​Safety and Security of Intelligent Vehicles (SSIV) at IEEE/IFIP Intern. Conf. on Dependable Systems and Networks (DSN), Jun 2020, Valence, Spain. ⟨10.1109/DSN-W50199.2020.00031⟩
Conference papers hal-02558604v1
Image document

STELAE - A Model-Driven Test Development Environment for Avionics Systems

Alexandru Robert Ciprian Guduvan , Hélène Waeselynck , V. Wiels , Gaël Durrieu , Yann Fusero , et al.
IEEE ISORC 2013, Jun 2013, PADEBORN, Germany. 8p
Conference papers hal-01057937v1
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
Conference papers hal-01375576v1
Image document

A skill fault model for autonomous systems

Gabriela Medina , Jérémie Guiochet , Charles Lesire , Augustin Manecy
4th International Workshop on Robotics Software Engineering (RoSE’22), Co-located with ICSE 2022, May 2022, Pittsburg (virtual), United States. ⟨10.1145/3526071.3527513⟩
Conference papers hal-03609377v2
Image document

ERTS 2022 proceedings

Philippe Cuenot , Marie de Roquemaurel , Kevin Delmas , Jean-Marc Gabriel , Adrien Gauffriau , et al.
2022
Proceedings hal-03704287v1