Publications of
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.
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.
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).
Frédéric Boniol, Hugues Cassé, Eric Noulard, Claire Pagetti
Deterministic Execution Model on COTS Hardware (regular paper)
In : International Conference on Architecture of Computing Systems (ARCS 2012), Munich, 28/02/12-02/03/12, Springer, pp. 98-110, March 2012.
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.
Julien Forget, Frédéric Boniol, Emmanuel Grolleau, David Lesens, Claire Pagetti
cheduling Dependent Periodic Tasks Without Synchronization Mechanisms (regular paper)
In : Real-Time and embedded Technology and Applications symposium, Stockholm, Sweden, 12/04/10-15/04/10, Marco Caccamo (Eds.), IEEE Computer Society, pp. 301-310, April 2010.
Frédéric Boniol, Mikel Cordovilla, Julien Forget, David Lesens, Claire Pagetti
Implantation multitâche de programmes synchrones multipériodiques (regular paper)
In : Colloque francophone sur la Modélisation des Systèmes Réactifs (MSR 2009), Nantes, 16/11/09-18/11/09, Vol. 43, Oliver H. Roux, Didier Lime (Eds.), Journal Européen des Systèmes Automatisés (JESA), pp. 741-755, 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, Pierre-Emmanuel Hladik, Claire Pagetti, Frédéric Aspro, Victor Jégu
A Framework for Distributing Real-Time Functions
In : International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2008), Saint-Malo, 15/09/08-17/09/08, Springer, LNCS 5215, pp. 155-169, 2008.
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.
François Carcenac, Frédéric Boniol, Zoubir Mammeri
Une méthode de vérification de propriétés de sûreté pour les systèmes embarqués distribués
In : 13th International Conference on Real-Time Systems and Embedded Systems (RTS¿05), Paris, 05/04/05-07/04/05, BIRP, pp. 389-416, April 2005.
François Carcenac, Frédéric Boniol, Zoubir Mammeri
Verification of an avionic system using timed model checking
In : International Symposium on Leveraging Applications of Formal Methods (ISoLA’2004), Paphos, Cyprus, 30/10/04-02/11/04, IEEE, October 2004.
François Carcenac, Frédéric Boniol, Zoubir Mammeri
Cadre formel pour la spécification et l’intégration de composants interchangeables dans les systèmes temps réel embarqués
In : 12ème Conférence Internationale sur les Systèmes Temps Réel et Embarqués, Paris, 30/03/04-01/04/04, Teknea, pp. 61-83, March 2004.
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.
Cédric Teyssié, Zoubir Mammeri, François Carcenac, Frédéric Boniol
Etude comparative de SDL et UML pour la modélisation de systèmes temps réel
In : 11th Conference on Real-Time and Embedded Systems, Paris, 01/04/03-03/04/03, Teknea, pp. 75-97, April 2003.