Section: Overall Objectives

Highlights of the Year

This is the last activity report of TRIO team, as the team ends in 2013. TRIO has been, originally, created in 2002 under the guidance of Françoise Simonot-Lion. In 2010, when Françoise became director of Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Nicolas Navet became the leader of the team. In 2012, when Nicolas Navet became Professor at University of Luxembourg, Liliana Cucu-Grosjean became the last leader of TRIO team. The team ends on an excellent Inria evaluation in 2012 that underlines the important contribution of its members within their scientific communities. Following the natural life process of an Inria team, the end of TRIO indicates the evolution of its members to new exciting research problems.

Liliana Cucu-Grosjean gave the keynote talk of the 21st International Conference on Real-Time Networks and Systems. Her talk concerned the probabilistic real-time systems.

Dorin Maxim and Liliana Cucu-Grosjean published a paper entitled "Response Time Analysis for Fixed-Priority Tasks with Multiple Probabilistic Parameters" at the IEEE Real-Time Systems Symposium (RTSS), the flag conference on real-time systems.

The FP7 STREP PROARTIS has been successfully completed in July 2013. TRIO was leader of the work package on the probabilistic approaches and tools within this project.