Jérôme Ermont
Jérôme Ermont
IRIT - Université de Toulouse - INPT/ENSEEIHT
Adresse e-mail validée de enseeiht.fr
Titre
Citée par
Citée par
Année
Methods for bounding end-to-end delays on an AFDX network
H Charara, JL Scharbarg, J Ermont, C Fraboul
18th Euromicro Conference on Real-Time Systems (ECRTS'06), 10 pp.-202, 2006
2162006
Latency and freshness analysis on IMA systems
M Lauer, J Ermont, F Boniol, C Pagetti
ETFA2011, 1-8, 2011
332011
Analyzing end-to-end functional delays on an IMA platform
M Lauer, J Ermont, C Pagetti, F Boniol
International Symposium On Leveraging Applications of Formal Methods …, 2010
292010
Model for worst case delay analysis of an AFDX network using timed automata
M Adnan, JL Scharbarg, J Ermont, C Fraboul
2010 IEEE 15th Conference on Emerging Technologies & Factory Automation …, 2010
292010
Wormhole networks properties and their use for optimizing worst case delay analysis of many-cores
L Abdallah, M Jan, J Ermont, C Fraboul
10th IEEE International Symposium on Industrial Embedded Systems (SIES), 1-10, 2015
272015
Worst-case analysis of a mixed can/switched ethernet architecture
J Ermont, JL Scharbarg, C Fraboul
Proc. of the Real-Time and Network System Conference, 2006
182006
Towards a unified approach for worst-case analysis of Tilera-like and Kalray-like NoC architectures
H Ayed, J Ermont, J Scharbarg, C Fraboul
2016 IEEE World Conference on Factory Communication Systems (WFCS), 1-4, 2016
152016
Reducing the contention experienced by real-time core-to-i/o flows over a tilera-like network on chip
L Abdallah, M Jan, J Ermont, C Fraboul
2016 28th Euromicro Conference on Real-Time Systems (ECRTS), 86-96, 2016
142016
An improved timed automata approach for computing exact worst-case delays of AFDX sporadic flows
M Adnan, JL Scharbarg, J Ermont, C Fraboul
Proceedings of 2012 IEEE 17th International Conference on Emerging …, 2012
142012
An improved timed automata model for computing exact worst-case delays of AFDX periodic flows
M Adnan, JL Scharbarg, J Ermont, C Fraboul
ETFA2011, 1-4, 2011
132011
Worst case temporal consistency in integrated modular avionics systems
M Lauer, J Ermont, F Boniol, C Pagetti
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering …, 2011
112011
TPAP: an algebra of preemptive processes for verifying real-time systems with shared resources
J Ermont, F Boniol
Electronic notes in theoretical computer science 65 (6), 68-85, 2002
102002
Une algèbre de processus pour la modélisation et la vérification de systèmes temps-réel avec préemption
J Ermont
Toulouse, ENSAE, 2002
82002
End-to-end latency and temporal consistency analysis in networked real-time systems
M Lauer, F Boniol, C Pagetti, J Ermont
International Journal of Critical Computer-Based Systems 6 5 (3-4), 172-196, 2014
72014
Towards a mixed NoC/AFDX architecture for avionics applications
L Abdallah, J Ermont, JL Scharbarg, C Fraboul
2017 IEEE 13th International Workshop on Factory Communication Systems (WFCS …, 2017
62017
Trois approches pour la modélisation et la vérification de systèmes embarqués
F BOUIOL, G Bel, J Ermont
TSI. Technique et science informatiques 22 (5), 539-569, 2003
62003
I/O contention aware mapping of multi-criticalities real-time applications over many-core architectures
L Abdallah, M Jan, J Ermont, C Fraboul
IEEE, 2016
52016
Modeling a spacewire architecture using timed automata to compute worst-case end-to-end delays
J Ermont, C Fraboul
2013 IEEE 18th Conference on Emerging Technologies & Factory Automation …, 2013
52013
TTCAN over mixed CAN/switched Ethernet architecture
JL Scharbarg, M Boyer, J Ermont, C Fraboul
2005 IEEE Conference on Emerging Technologies and Factory Automation 1, 4 pp …, 2005
42005
Freshness and reactivity analysis in globally asynchronous locally time-triggered systems
F Boniol, M Lauer, C Pagetti, J Ermont
NASA Formal Methods Symposium, 93-107, 2013
32013
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20