TEA - 2015 - Annual activity report

TEA

TEA - 2015

Project-Team Tea

Members

Overall Objectives

Introduction
Context
Motivations
Challenges

Research Program

Previous Works
Modelling Times
Modelling Architectures
Application to Scheduling Theory
Virtual Prototyping

Application Domains

Automotive and Avionics
Factory Automation

Highlights of the Year

New Software and Platforms

The Eclipse project POP
The Polychrony toolset
SigCert: translation validation from Signal to C
ADFG: Affine data-flow graphs scheduler synthesis under Eclipse

New Results

Polychronous automata
Runtime verification and trace analysis
Integration of Polychrony with QGen
Formal semantics and model-based analysis of AADL specifications
Refinement types for reactive system models
Formal verification of timing aspects of cyber-physical systems using a contract theory

Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry
Bilateral Grants with Industry

Partnerships and Cooperations

National Initiatives
International Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries

Bibliography

Major publications
Publications of the year

Previous |

Home | Next next

Creation of the Team: 2014 January 01, updated into Project-Team: 2015 January 01

Section: Members

Research Scientists

Jean-Pierre Talpin [Team leader, Inria, Senior Researcher, HdR]

Thierry Gautier [Inria, Researcher]

Vania Joloboff [Inria, Senior Researcher]

Paul Le Guernic [Inria, Senior Researcher]

Engineers

Clement Guy [Inria]

Alexandre Honorat [Inria]

Christophe Junke [Inria]

PhD Student

Simon Lunel [Mitsubishi Electric R&D, granted by CIFRE]

Administrative Assistant

Stephanie Lemaile [Inria]

Previous |

Home | Next next