Publications de
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.
Quentin Perret, Pascal Maurere, Eric Noulard, Claire Pagetti, Pascal Sainrat, Benoît Triquet
Mapping hard real-time applications on many-core processors (regular paper)
Dans : International Conference on Real-Time and Network Systems (RTNS 2016), Brest, France, 19/10/16-21/10/16, ACM Digital Library, p. 235-244, octobre 2016.
Accès : http://dl.acm.org/citation.cfm?id=2997496 – https://oatao.univ-toulouse.fr/18801/
BibTeXAngeliki Kritikakou, Claire Pagetti, Christine Rochange, Michael Lauer, Matthieu Roy
Multiplexing Adaptive with Classic AUTOSAR? Adaptive Software Control to Increase Resource Utilization in Mixed-Critical Systems (regular paper)
Dans : Workshop on Critical Automotive applications: Robustness and Safety (CARS 2016), Göteborg, Suède, 06/09/16, LAAS, (en ligne), septembre 2016.
Accès : http://homepages.laas.fr/mroy/CARS2016-papers/CARS2016_paper_11.pdf – https://oatao.univ-toulouse.fr/17160/
BibTeXQuentin Perret, Pascal Maurere, Eric Noulard, Claire Pagetti, Pascal Sainrat, Benoît Triquet
Predictable Composition of Memory Accesses on Manycore Processors (regular paper)
Dans : European Congress on Embedded Real-Time Software (ERTS 2016), Toulouse, 27/01/16-29/01/16, SIA/3AF/SEE, (en ligne), janvier 2016 (Embedded Computing Platforms Award).
Résumé Accès : http://www.erts2016.org/uploads/program/paper_40.pdf – https://oatao.univ-toulouse.fr/16921/
BibTeXQuentin Perret, Pascal Maurere, Eric Noulard, Claire Pagetti, Pascal Sainrat, Benoît Triquet
Temporal isolation of hard real-time applications on many-core processors (regular paper)
Dans : IEEE Real-Time Embedded Technology & Applications symposium, Vienne, Autriche, 11/04/16-14/04/16, IEEE : Institute of Electrical and Electronics Engineers, (en ligne), avril 2016.
Accès : http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=7461363 – https://oatao.univ-toulouse.fr/16888/
BibTeXAngeliki Kritikakou, Claire Pagetti, Christine Rochange, Matthieu Roy, Madeleine Faugère, Sylvain Girbal, Daniel Gracia Pérez
Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems (regular paper)
Dans : International Conference on Real-Time and Network Systems (RTNS 2014), Versailles, 08/10/14-10/10/14, ACM Digital Library, p. 139-148, octobre 2014.
Angeliki Kritikakou, Olivier Baldellon, Claire Pagetti, Christine Rochange, Matthieu Roy
Run-time Control to Increase Task Parallelism in Mixed-Critical Systems (regular paper)
Dans : Euromicro Conference on Real-Time Systems (ECRTS 2014), Madrid, 08/07/14-11/07/14, IEEE : Institute of Electrical and Electronics Engineers, p. 119-128, juillet 2014.
Angeliki Kritikakou, Olivier Baldellon, Claire Pagetti, Christine Rochange, Matthieu Roy, Fabian Vargas
Monitoring On-line Timing Information to Support Mixed-Critical Workloads (short paper)
Dans : Real-Time System Symposium (RTSS 2013), Vancouver, 03/12/13-06/12/13, University of Waterloo, (en ligne), 2013.
Accès : http://2013.ieee-rtss.org/wp-content/uploads/2013/11/WiP-proceedings.pdf – https://oatao.univ-toulouse.fr/12756/
BibTeXFré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.