Publications of Jérôme ERMONT
Hamdi Ayed, Jérôme Ermont, Jean-Luc Scharbarg, Christian Fraboul
Extended recursive analysis for tilera tile64 NoC architectures: towards inter-NoC delay analysis
ACM SIGBED Review, 2017, 14 (3), pp.35-37. ⟨10.1145/3166227.3166232⟩
Michaël Lauer, Frédéric Boniol, Claire Pagetti, Jérôme Ermont
End-to-end latency and temporal consistency analysis in networked real-time systems
International Journal of Critical Computer-Based Systems, 2014, vol. 5 (n° 3/4), pp. 172-196. ⟨10.1504/IJCCBS.2014.064667⟩
Michael Lauer, Frédéric Boniol, Jérôme Ermont, Claire Pagetti
Analyse de latence et fraîcheur pire cas sur systèmes avioniques modulaires intégrés
In : Journal Européen des Systèmes Automatisés, Lavoisier, Vol. 45/1-3, pp. 173-188, 2012.
Frédéric Boniol, Jérôme Ermont, Claire Pagetti
Verification of real-time systems with preemption: negative and positive results
In : Innovations in Systems and Software Engineering, Springer, Vol. 5, pp. 163-179, June 2009.
Frédéric Boniol, Gérard Bel, Jérôme Ermont
Trois approches pour la modélisation et la vérification de systèmes embarqués
In : Technique et Science Informatiques, Hermes, Vol. 22, N. 5, pp. 539-569, 2003.
Cédric Cazanove, Benjamin Lesage, Frédéric Boniol, Jérôme Ermont
Assessing Unchecked Factors for Certification: An Experimental approach for GPU Cache Parameters
22nd International Workshop on Worst-Case Execution Time Analysis (WCET 2024), Jul 2024, Lyon, France. ⟨10.4230/OASIcs.WCET.2024.3⟩
Aakash Soni, Jean-Luc Scharbarg, Jérôme Ermont
A Hybrid Approach to WCTT Analysis in a Real-Time Switched Ethernet Network
30th Real-Time and Embedded Technology and Applications Symposium (RTAS 2024), IEEE Computer Society Technical Committee on Real-Time Systems, May 2024, Hong Kong, China. pp.161-172, ⟨10.1109/RTAS61025.2024.00021⟩
Thomas Beck, Frédéric Boniol, Jérôme Ermont, Franck Wartel, Luc Maillet
An automata-based method for interference analysis in multi-core processors
15th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2022) @ RTNS 2022, Jun 2022, Paris, France. pp.1-4
Thomas Beck, Frédéric Boniol, Jérôme Ermont, Luc Maillet
Impact of environment on the execution of a real-time Linux process on a multicore platform
11th European Congress on Embedded Real-Time Systems (ERTS 2022), Jun 2022, Toulouse, France
Santiago Torres Borda, Jérôme Ermont
An evaluation of software-based TSN traffic shapers using Linux tc
18th International Conference on Factory Communication Systems (WFCS 2022), IEEE, Apr 2022, Pavia, Italy. pp.1-4, ⟨10.1109/WFCS53837.2022.9779163⟩
Aakash Soni, Jean-Luc Scharbarg, Jérôme Ermont
Efficient configuration of a QoS-aware AFDX network with Deficit Round Robin
18th IEEE International Conference on Industrial Informatics, Jul 2020, Warwick, United Kingdom
Aakash Soni, Jean-Luc Scharbarg, Jérôme Ermont
Quantum assignment for QoS-aware AFDX network with Deficit Round Robin
27th International Conference on Real Time Networks and Systems – RTNS 2019, Nov 2019, Toulouse, France. pp.70-79, ⟨10.1145/3356401.3356421⟩
Sandrine Mouysset, Jérôme Ermont, Jean-Luc Scharbarg
Limiting over sampling to improve transmission schedulability in a mixed NoC/AFDX architecture
24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2019), Sep 2019, Zaragoza, Spain. ⟨10.1109/ETFA.2019.8869037⟩
Ghina Abdallah, Jérôme Ermont, Sandrine Mouysset, Jean-Luc Scharbarg
Towards a generic platform for the distribution of avionics applications on manycores
Work-in-Progress Session of 31st ECRTS 2019, Jul 2019, Stuttgart, Germany. pp.4-6
Jérôme Ermont, Sandrine Mouysset, Jean-Luc Scharbarg, Christian Fraboul
Message scheduling to reduce AFDX jitter in a mixed NoC/AFDX architecture
26th International Conference on Real-Time Networks and Systems (RTNS’2018), Oct 2018, Chasseneuil-du-Poitou, France. pp.234-242, ⟨10.1145/3273905.3273929⟩
Laure Abdallah, Jérôme Ermont, Jean-Luc Scharbarg, Christian Fraboul
Reducing AFDX jitter in a mixed NoC/AFDX architecture
IEEE 14th International Workshop on Factory Communication Systems (WFCS 2018), Jun 2018, Imperia, Italy. pp.1–4, ⟨10.1109/WFCS.2018.8402375⟩
Laure Abdallah, Jérôme Ermont, Jean-Luc Scharbarg, Christian Fraboul
Towards a mixed NoC/AFDX architecture for avionics applications
13th International Workshop on Factory Communication Systems (WFCS), May 2017, Trondheim, Norway. pp.1-10, ⟨10.1109/WFCS.2017.7991950⟩
L. Abdallah, M. Jan, Jérôme Ermont, Christian Fraboul
Reducing the Contention Experienced by Real-Time Core-to-I/O Flows over a Tilera-Like Network on Chip
2016 28th Euromicro Conference on Real-Time Systems (ECRTS), Jul 2016, Toulouse, Unknown Region. pp.86-96, ⟨10.1109/ECRTS.2016.9⟩
Hamdi Ayed, Jérôme Ermont, Jean-Luc Scharbarg, Christian Fraboul
Extended Recursive Analysis for Tilera and KalRay-like Noc Architectures (FNRS Seminar 2016)
FNRS Seminar workshop – Real-Time Networks 2016, Belgian FNRS Contact Group “Embedded Real-Time Systems”; GRASCOMP doctoral school (Belgium’s French Community), May 2016, Bruxelles, Belgium
Hamdi Ayed, Jérôme Ermont, Jean-Luc Scharbarg, Christian Fraboul
Towards a unified approach for worst-case analysis of Tilera-like and KalRay-like NoC architectures
IEEE World Conference on Factory Communication Systems (WFCS 2016), May 2016, Aveiro, Portugal. pp.1-4, ⟨10.1109/WFCS.2016.7496535⟩
Laure Abdallah, Mathieu Jan, Jérôme Ermont, Christian Fraboul
I/O contention aware mapping of multi-criticalities real-time applications over many-core architectures
22nd IEEE Real-Time and embedded Technology and Applications symposium (RTAS 2016), Apr 2016, Vienna, Austria. pp. 25-28
Hamdi Ayed, Jérôme Ermont, Jean-Luc Scharbarg, Christian Fraboul
Regulation versus Flow Control in NoC for Hard Real-time Systems: a Preliminary Case Study
9th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2015), Nov 2015, Lille, France. pp.25-28
L. Abdallah, M. Jan, Jérôme Ermont, Christian Fraboul
Wormhole networks properties and their use for optimizing worst case delay analysis of many-cores
10th IEEE International Symposium on Industrial Embedded Systems (SIES), Jun 2015, Siegen, Germany. pp.59-68, ⟨10.1109/SIES.2015.7185041⟩
Jean-Luc Scharbarg, Jérôme Ermont, Christian Fraboul
Applying Formal Methods for The Worst-Case Delay Analysis of Embedded Networks (FMDRTES 2015, Bruxelles, 10/04/15)
FMDRTES 2015, Apr 2015, Bruxelles, Belgium
Laure Abdallah, Mathieu Jan, Jérôme Ermont, Christian Fraboul
Optimizing worst case delay analysis on wormhole networks by modeling the pipeline behaviour
13th International Workshop on Real-Time Networks (RTN 2014), in conjunction with the 26th ECRTS, Jul 2014, Madrid, Spain. pp.7–8
Jérôme Ermont, Christian Fraboul
Modeling a spacewire architecture using timed automata to compute worst-case end-to-end delays (short paper)
In : Emerging Technologies and Factory Automation (ETFA 2013), Cagliari, Italy, 10/09/13-13/09/13, IEEE : Institute of Electrical and Electronics Engineers, pp. 1-4, September 2013.
Frédéric Boniol, Michael Lauer, Claire Pagetti, Jérôme Ermont
Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems (regular paper)
In : International Symposium on NASA Formal Methods (NFM 2013), Moffett Field, CA, USA, 14/05/13-16/05/13, Vol. 7871, Springer, Lecture Notes in Computer Science, pp. 93-107, 2013.
Jérôme Ermont, Christian Fraboul
Computing the exact worst-case End-to-end delays in a Spacewire network using Timed Automata (short paper)
In : Real-Time and embedded Technology and Applications symposium, Philadelphie, PA, USA, 09/04/13-11/04/13, IEEE : Institute of Electrical and Electronics Engineers, pp. 5-8, April 2013.
Frédéric Boniol, Michael Lauer, Claire Pagetti, Jérôme Ermont
End-to-end latency analysis in networked real-time systems (regular paper)
In : International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2012), Paris, 27/08/12-28/08/12, British Computer Society, 2013 (to appear).
Muhammad Adnan, Jean-Luc Scharbarg, Jérôme Ermont, Christian Fraboul
An improved timed automata approach for computing exact worst-case delays of AFDX sporadic flows (regular paper)
In : Emerging Technologies and Factory Automation (ETFA 2012), Krakow, 17/09/12-21/09/12, IEEE : Institute of Electrical and Electronics Engineers, pp. 1-8, September 2012.
Muhammad Adnan, Jean-Luc Scharbarg, Jérôme Ermont, Christian Fraboul
An improved timed-automata model for computing exact worst-case delays of AFDX periodic flows (short paper)
In : Emerging Technologies and Factory Automation (ETFA 2011), Toulouse, 05/09/11-09/09/11, IEEE : Institute of Electrical and Electronics Engineers, pp. 1-4, September 2011.
Michael Lauer, Jérôme Ermont, Frédéric Boniol, Claire Pagetti
Worst Case Temporal Consistency in Integrated Modular Avionics Systems (regular paper)
In : IEEE International Symposium on High Assurance Systems Engineering (HASE 2011), Boca Raton, FL, USA, 10/11/11-12/11/11, IEEE : Institute of Electrical and Electronics Engineers, pp. 212-219, November 2011.
Michael Lauer, Frédéric Boniol, Jérôme Ermont, Claire Pagetti
Latency and freshness analysis on IMA systems (regular paper)
In : Emerging Technologies and Factory Automation (ETFA 2011), Toulouse, France, 06/09/11-08/09/11, IEEE : Institute of Electrical and Electronics Engineers, pp. 1-8, September 2011.
Michael Lauer, Jérôme Ermont, Claire Pagetti, Frédéric Boniol
Analyzing End-to-End Functional Delays on an IMA Platform (regular paper)
In : International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), Heraklion, Greece, 18/10/10-21/10/10, Springer, Lecture Notes in Computer Science 6415, pp. 243-257, October 2010.
Muhammad Adnan, Jean-Luc Scharbarg, Jérôme Ermont, Christian Fraboul
Worst-case end-to-end delay analysis of switched Ethernet using timed automata (regular paper)
In : Junior Researcher Workshop on Real-Time Computing, Toulouse, 04/11/10-05/11/10, IRIT, pp. 23-26, November 2010.
Muhammad Adnan, Jean-Luc Scharbarg, Jérôme Ermont, Christian Fraboul
Model for worst-case delay analysis of an AFDX network using timed automata (short paper)
In : Emerging Technologies and Factory Automation (ETFA 2010), Bilbao, 13/09/10-16/09/10, IEEE : Institute of Electrical and Electronics Engineers, pp. 1-4, September 2010.
Jean-Luc Scharbarg, Jérôme Ermont, Henri Bauer, Christian Fraboul
Analyse des délais bout en bout pire cas dans les réseaux avioniques (regular paper)
In : Colloque francophone sur la Modélisation des Systèmes Réactifs (MSR 2009), Nantes, 16/11/09-18/11/09, Hermès, pp. 953-967, November 2009.
Michael Lauer, Frédéric Boniol, Jérôme Ermont, Claire Pagetti
An interval-based method for embedded network analysis (student paper)
In : Junior Researcher Workshop on Real-Time Computing, Paris, 26/10/09-27/10/09, Archives ouvertes HAL, pp. 7-10, 2009.
Frédéric Boniol, Jérôme Ermont
Verification of embbeded systems with preemption: a negative result
In : International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2007), Poitiers, France, 12/12/07-14/12/07, Yamine Aït-Ameur, Frédéric Boniol, Virginie Wiels (Eds.), Cépaduès, pp. 99-110, December 2007.
Jérôme Ermont, Jean-Luc Scharbarg, Christian Fraboul
Timed analysis of embedded networks using timed automata
In : IFAC International Conference On Fieldbuses & Networks in Industrial and Embedded Systems (FeT 2007), Toulouse, 07/11/07-09/11/07, LAAS, pp. 255-260, November 2007.
Hussein Charara, Jean-Luc Scharbarg, Jérôme Ermont, Christian Fraboul
Methods for bounding end-to-end delays on an AFDX network
In : Euromicro Conference on Real-Time Systems (ECRTS 2006), Dresden (Germany), 05/07/06-07/07/06, IEEE : Institute of Electrical and Electronics Engineers, pp. 193-202, July 2006.
Jérôme Ermont, Jean-Luc Scharbarg, Christian Fraboul
Worst-case analysis of a mixed CAN/Switched Ethernet architecture
In : International Conference on Real-Time and Network Systems (RTNS 2006), Poitiers, 30/05/06-31/05/06, LISI-ENSMA, pp. 45-54, May 2006.
Jean-Luc Scharbarg, Marc Boyer, Jérôme Ermont, Christian Fraboul
TTCAN over mixed CAN/Switched Ethernet architecture
In : IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Catania, 19/09/05-22/09/05, IEEE Computer Press, pp. 665-668, September 2005.
Jérôme Ermont, Frédéric Boniol
La vérification de systèmes temps réel soumis à la préemption de processus est indécidable
In : 4ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Metz, 06/10/03-08/10/03, Dominique Méry, Nidhal Rezg, Xiolan Xie (Eds.), Hermès, pp. 111-127, October 2003.
Jérôme Ermont, Ye-Qiong Song, Christopher Gill
RTNS ’19: Proceedings of the 27th International Conference on Real-Time Networks and Systems
ACM. RTNS 2019: 27th International Conference on Real-Time Networks and Systems, Nov 2019, Toulouse, France. ACM Press, 2019, RTNS ’19: Proceedings of the 27th International Conference on Real-Time Networks and Systems, 978-1-4503-7223-7. ⟨10.1145/3356401⟩