TRIO : Real time and interoperability (project-team)

About the project : Project-Team site Activity report Videos and photos Research reports Theses Theme : Com Communicating systems Nancy - Grand Est research center

Project-Team Presentation

LORIA joint project-team with CNRS, University Nancy 2 and INPL, and with ENS Lyons.

The objective of the TRIO team is to provide a set of methods, tools and techniques to assist the designer in building, validating and scaling distributed real time applications. The studies are based on formally modelling and verifying interoperability properties. They can be applied both to communication networks and to distributed systems.

Research themes

• Specification of on-line mechanisms : the provided mechanisms allow applications to respect the specified time constraints, and/or to realize temporal fault tolerant algorithms,
• Operational architecture modelling process the objective is to exhibit reference models according in one hand to application domains and on the other hand to the particular properties to be proved,
• techniques of temporal properties verification : Timed Automata, Petri Nets, Queueing Systems.

International and industrial relations

• Agreements with Alstom, Easyplug, Gambro, PSA
• Participation in consortiums of laboratories for co-operative research ("Architecture, Parallelism, Networks" GDR, ALAPEDES Action, Project TIISSAD, Project DEPICS)
• European ProjectITEA-EAST EEA, ITEA-EAST PROTEUS, 5th FP REMPLI project
• AEE project for automotive embedded systems (AEE)
• Scientific co-animation of research team for technology (ERT) CARAMELS (CAractérisation des Réseaux embarqués dans l'Automobile et Mécanismes En Ligne pour leur Sureté)
• Foreign universities: Universities of Aveiro (Portugal), of Rosario (Argentina), of Tunis II (Tunisia), of Cagliari (Italy), of Leiden (Netherland), of Maryland and of South Florida (USA), of Wuhan and of Zhejiang (China), Lomonossov State University of Moscow (Russia).

.

Scientific leader

Françoise SIMONOT-LION
+33 3 54 95 84 62
Francoise.Simonot@loria.fr
Secretary : +33 3 83 59 55 77