Publications de
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.
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.
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).
Frédéric Boniol, Hugues Cassé, Eric Noulard, Claire Pagetti
Deterministic Execution Model on COTS Hardware (regular paper)
Dans : International Conference on Architecture of Computing Systems (ARCS 2012), Munich, 28/02/12-02/03/12, Springer, p. 98-110, mars 2012.
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.
Julien Forget, Frédéric Boniol, Emmanuel Grolleau, David Lesens, Claire Pagetti
cheduling Dependent Periodic Tasks Without Synchronization Mechanisms (regular paper)
Dans : Real-Time and embedded Technology and Applications symposium, Stockholm, Sweden, 12/04/10-15/04/10, Marco Caccamo (Eds.), IEEE Computer Society, p. 301-310, avril 2010.
Frédéric Boniol, Mikel Cordovilla, Julien Forget, David Lesens, Claire Pagetti
Implantation multitâche de programmes synchrones multipériodiques (regular paper)
Dans : 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), p. 741-755, 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, Pierre-Emmanuel Hladik, Claire Pagetti, Frédéric Aspro, Victor Jégu
A Framework for Distributing Real-Time Functions
Dans : International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2008), Saint-Malo, 15/09/08-17/09/08, Springer, LNCS 5215, p. 155-169, 2008.
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.
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
Dans : 13th International Conference on Real-Time Systems and Embedded Systems (RTS¿05), Paris, 05/04/05-07/04/05, BIRP, p. 389-416, avril 2005.
François Carcenac, Frédéric Boniol, Zoubir Mammeri
Verification of an avionic system using timed model checking
Dans : International Symposium on Leveraging Applications of Formal Methods (ISoLA’2004), Paphos, Cyprus, 30/10/04-02/11/04, IEEE, octobre 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
Dans : 12ème Conférence Internationale sur les Systèmes Temps Réel et Embarqués, Paris, 30/03/04-01/04/04, Teknea, p. 61-83, mars 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
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.
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
Dans : 11th Conference on Real-Time and Embedded Systems, Paris, 01/04/03-03/04/03, Teknea, p. 75-97, avril 2003.