Publications de Jérôme ERMONT
Michael Lauer, Frédéric Boniol, Claire Pagetti, Jérôme Ermont
End-to-end latency and temporal consistency analysis in networked real-time systems
Dans : International Journal of Critical Computer-Based Systems, Inderscience Publishers, Vol. 5 N. 3/4, p. 172-196, 2014.
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
Dans : Journal Européen des Systèmes Automatisés, Lavoisier, Vol. 45/1-3, p. 173-188, 2012.
Frédéric Boniol, Jérôme Ermont, Claire Pagetti
Verification of real-time systems with preemption: negative and positive results
Dans : Innovations in Systems and Software Engineering, Springer, Vol. 5, p. 163-179, juin 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
Dans : Technique et Science Informatiques, Hermes, Vol. 22, N. 5, p. 539-569, 2003.
Laure Abdallah, Mathieu 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 (regular paper)
Dans : Euromicro Conference on Real-Time Systems (ECRTS 2016), Toulouse, France, 05/07/16-08/07/16, IEEE : Institute of Electrical and Electronics Engineers, p. 86-96, juillet 2016.
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 (regular paper)
Dans : IEEE International Workshop on Factory Communication Systems (WFCS 2016), Porto, 03/05/16-06/05/16, IEEE : Institute of Electrical and Electronics Engineers, p. 1-4, mai 2016 (Best WiP paper).
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 (short paper)
Dans : Real-Time and embedded Technology and Applications symposium, Vienna, Austria, 11/04/16-14/04/16, IEEE : Institute of Electrical and Electronics Engineers, p. 25-28, avril 2016.
Hamdi Ayed, Jérôme Ermont, Jean-Luc Scharbarg, Christian Fraboul
Extended Recursive Analysis for Tilera and KalRay-like Noc Architectures
Dans : FNRS Seminar, Bruxelles, 27/05/16.
Jean-Luc Scharbarg, Jérôme Ermont, Christian Fraboul
Applying Formal Methods for The Worst-Case Delay Analysis of Embedded Networks
Dans : FMDRTES, Bruxelles, 10/04/15.
Laure Abdallah, Mathieu Jan, Jérôme Ermont, Christian Fraboul
Wormhole networks properties and their use for optimizing worst case delay analysis of many-cores (regular paper)
Dans : IEEE International Symposium on Industrial Embedded Systems (SIES 2015), Siegen, Germany, 08/06/15-10/06/15, IEEE : Institute of Electrical and Electronics Engineers, p. 59-68, juin 2015.
Laure Abdallah, Mathieu Jan, Jérôme Ermont, Christian Fraboul
Optimizing worst case delay analysis on wormhole networks by modeling the pipeline behaviour (regular paper)
Dans : International Workshop on Real-Time Networks (RTN 2014), Madrid, 08/07/14-08/07/14, IEEE : Institute of Electrical and Electronics Engineers, p. 7-8, 2014.
Jérôme Ermont, Christian Fraboul
Modeling a spacewire architecture using timed automata to compute worst-case end-to-end delays (short paper)
Dans : Emerging Technologies and Factory Automation (ETFA 2013), Cagliari, Italy, 10/09/13-13/09/13, IEEE : Institute of Electrical and Electronics Engineers, p. 1-4, septembre 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)
Dans : 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, p. 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)
Dans : Real-Time and embedded Technology and Applications symposium, Philadelphie, PA, USA, 09/04/13-11/04/13, IEEE : Institute of Electrical and Electronics Engineers, p. 5-8, avril 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)
Dans : International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2012), Paris, 27/08/12-28/08/12, British Computer Society, 2013 (à paraître).
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)
Dans : Emerging Technologies and Factory Automation (ETFA 2012), Krakow, 17/09/12-21/09/12, IEEE : Institute of Electrical and Electronics Engineers, p. 1-8, septembre 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)
Dans : Emerging Technologies and Factory Automation (ETFA 2011), Toulouse, 05/09/11-09/09/11, IEEE : Institute of Electrical and Electronics Engineers, p. 1-4, septembre 2011.
Michael Lauer, Jérôme Ermont, Frédéric Boniol, Claire Pagetti
Worst Case Temporal Consistency in Integrated Modular Avionics Systems (regular paper)
Dans : 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, p. 212-219, novembre 2011.
Michael Lauer, Frédéric Boniol, Jérôme Ermont, Claire Pagetti
Latency and freshness analysis on IMA systems (regular paper)
Dans : Emerging Technologies and Factory Automation (ETFA 2011), Toulouse, France, 06/09/11-08/09/11, IEEE : Institute of Electrical and Electronics Engineers, p. 1-8, septembre 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)
Dans : 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, p. 243-257, octobre 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)
Dans : Junior Researcher Workshop on Real-Time Computing, Toulouse, 04/11/10-05/11/10, IRIT, p. 23-26, novembre 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)
Dans : Emerging Technologies and Factory Automation (ETFA 2010), Bilbao, 13/09/10-16/09/10, IEEE : Institute of Electrical and Electronics Engineers, p. 1-4, septembre 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)
Dans : Colloque francophone sur la Modélisation des Systèmes Réactifs (MSR 2009), Nantes, 16/11/09-18/11/09, Hermès, p. 953-967, novembre 2009.
Michael Lauer, Frédéric Boniol, Jérôme Ermont, Claire Pagetti
An interval-based method for embedded network analysis (student paper)
Dans : Junior Researcher Workshop on Real-Time Computing, Paris, 26/10/09-27/10/09, Archives ouvertes HAL, p. 7-10, 2009.
Frédéric Boniol, Jérôme Ermont
Verification of embbeded systems with preemption: a negative result
Dans : 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, p. 99-110, décembre 2007.
Jérôme Ermont, Jean-Luc Scharbarg, Christian Fraboul
Timed analysis of embedded networks using timed automata
Dans : IFAC International Conference On Fieldbuses & Networks in Industrial and Embedded Systems (FeT 2007), Toulouse, 07/11/07-09/11/07, LAAS, p. 255-260, novembre 2007.
Hussein Charara, Jean-Luc Scharbarg, Jérôme Ermont, Christian Fraboul
Methods for bounding end-to-end delays on an AFDX network
Dans : Euromicro Conference on Real-Time Systems (ECRTS 2006), Dresden (Germany), 05/07/06-07/07/06, IEEE : Institute of Electrical and Electronics Engineers, p. 193-202, juillet 2006.
Jérôme Ermont, Jean-Luc Scharbarg, Christian Fraboul
Worst-case analysis of a mixed CAN/Switched Ethernet architecture
Dans : International Conference on Real-Time and Network Systems (RTNS 2006), Poitiers, 30/05/06-31/05/06, LISI-ENSMA, p. 45-54, mai 2006.
Jean-Luc Scharbarg, Marc Boyer, Jérôme Ermont, Christian Fraboul
TTCAN over mixed CAN/Switched Ethernet architecture
Dans : IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Catania, 19/09/05-22/09/05, IEEE Computer Press, p. 665-668, septembre 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
Dans : 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, p. 111-127, octobre 2003.