Segui
Jérôme Ermont
Jérôme Ermont
IRIT - Université de Toulouse - INPT/ENSEEIHT
Email verificata su enseeiht.fr
Titolo
Citata da
Citata da
Anno
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
2652006
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
462010
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
392012
Latency and freshness analysis on IMA systems
M Lauer, J Ermont, F Boniol, C Pagetti
ETFA2011, 1-8, 2011
382011
Analyzing end-to-end functional delays on an IMA platform
M Lauer, J Ermont, C Pagetti, F Boniol
Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010
342010
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
322015
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
212016
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
212014
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
192006
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
182016
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
132011
I/O contention aware mapping of multi-criticalities real-time applications over many-core architectures
L Abdallah, M Jan, J Ermont, C Fraboul
22nd IEEE Real-Time and embedded Technology and Applications symposium (RTAS …, 2016
102016
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
Quantum assignment for QoS-aware AFDX network with deficit round robin
A Soni, JL Scharbarg, J Ermont
Proceedings of the 27th International Conference on Real-Time Networks and …, 2019
92019
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
82013
Une algèbre de processus pour la modélisation et la vérification de systèmes temps-réel avec préemption
J Ermont
École nationale supérieure de l'aéronautique et de l'espace (Toulouse; 1972 …, 2002
82002
Freshness and reactivity analysis in globally asynchronous locally time-triggered systems
F Boniol, M Lauer, C Pagetti, J Ermont
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013
62013
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
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
52017
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
52005
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20