Project-Team:TEA

Project-Team Tea

Members

Overall Objectives

Introduction
Context
Motivations
Challenges

Research Program

Previous Works
Modeling Times
Modeling Architectures
Scheduling Theory
Virtual Prototyping

Application Domains

Automotive and Avionics
Factory Automation

Highlights of the Year

New Software and Platforms

ADFG: Affine data-flow graphs scheduler synthesis
The Eclipse project POP
The Polychrony toolset

New Results

Toward a distribution of ADFG
Modular verification of cyber-physical systems using contract theory
Runtime verification and trace analysis
Polychronous automata and formal validation of AADL models
Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard
Integration of Polychrony with QGen
Code generation for poly-endochronous processes

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

Inria | Raweb 2016 | Presentation of the Project-Team TEA | TEA Web Site


	PDF	e-Pub

Previous |

Home | Next next

Section: Highlights of the Year

Highlights of the Year

In 2016, TEA was successfully evaluated, one year after its creation. The team started fruitful collaborations with UC San Diego, with Mitsubishi R&D, with ASTRI, to elaborate our research program on system composition, verification, and simulation toward novel applications perspectives in codesign, operating system design, factory automation, robotics.

Previous |

Home | Next next