Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Overall Objectives

Objectives of the team

The goal of the TRIO team is to provide a set of techniques and methods that can be applied to design, validate and scale real time distributed applications. In order to tackle this problem as a whole, our work is structured along two complementary points of view:

Furthermore, we will continue to study the modeling process of real time distributed applications that allows the description of both functional and non-functional aspects of these applications and therefore a formal use of these models for quantitative evaluation and optimal scaling.

The problems to solve are mainly due to three particularities of targeted applications:

These above mentioned main directions contribute to cover the full spectrum from formal modeling and evaluation of real time distributed systems up to their use in industrial problems, in particular, in the field of in-car electronic embedded systems or real time Quality of Service. Furthermore, some of our results yield to software tools and fruitful collaborations with the automotive industry.


Logo Inria