Probabilistically Analysable Real-Time Systems

Institut National de Recherche en Informatique et Automatique, France (INRIA)

Founded in 1967, INRIA is one of the most important french institute in Computer Science. Within its 8 research units established all over France, INRIA covers very various research fields like complex dynamic systems, security and reliability of computing systems communication, information, ubiquitous computing, interaction with real and virtual worlds, computational engineering, computational sciences, computational medicine, etc. The main research directions are given trough a strategic plan for a period of 4 years. The current research directions contain also real-time aspects.

Main tasks attributed in the project.

The scientific task of INRIA concerns the new probabilistic analysis that will be proposed within PROARTIS. INRIA will lead the work package on this topic. INRIA will be in tight collaboration with RAPITA of such proposals in a real WCET analysis tool and probabilistic schedulability analysis. INRIA will be also in tight collaboration with the system platform developed by BSC and UNIPD.

Previous experiences relevant to those tasks.

INRIA has been working on probabilistic approaches for real-time systems since 2006, when Liliana Cucu joined INRIA. As partner of a current ANR (French Research Project) automotive project, INRIA uses probabilistic approaches to insure the robustness of Autosar Communication Stack. Probabilistic approaches for real-time systems are also the subject of an ANR Starting Grant submitted by INRIA and that is currently under evaluation.