TEA - 2014 - Annual activity report

TEA

TEA - 2014

Project-Team Tea

Members

Overall Objectives

Introduction
Motivations
Challenge

Research Program

State of the Art
Modelling Time
Modelling Architectures
Time Scheduling
Virtual Prototyping
Research Objectives

Application Domains

Application Domains

New Software and Platforms

The Eclipse project POP
Integrated Modular Avionics design using Polychrony
Safety-Critical Java Level 1 Code generation from Dataflow Graph Specifications

New Results

Highlights of the Year
Priority-Driven Scheduling of Static Dataflow Graphs through Time Abstraction
Formal Verification of a Synchronous Data-flow Compiler: from Signal to C
Ongoing integration of Polychrony with the P toolset
A synchronous annex for the AADL
New features of Polychrony
Optimized Distribution of Synchronous Programs via a Polychronous Model
Component-based Design of Multi-rate Systems

Bilateral Contracts and Grants with Industry

Bilateral Contracts 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

Home | Next next

2014 Project-Team Activity Report

TEA

Time, Events and Architectures

Research centre: Rennes - Bretagne-Atlantique

In collaboration with: Institut de recherche en informatique et systèmes aléatoires (IRISA)

Field: Algorithmics, Programming, Software and Architecture

Theme: Embedded and Real-time Systems

Keywords: Embedded Systems, Formal Methods, Time Modelling, Concurrency Theory, Programming Language, Program Analysis, Type Theory, Code Generation, Data-Flow Networks, Synchronous Modelling, Model-Driven Engineering, Architecture Modelling, Software Engineering