Project-Espresso:AESE project Topcased

Team Espresso

Members

Overall Objectives

Introduction
Context and motivations
The polychronous approach

Scientific Foundations

Scientific Foundations

Application Domains

Application Domains

Software

The Polychrony workbench
Integrated Modular Avionics design using Polychrony
A model of Signal in Coq
Affine clock calculus
A meta-model of Polychrony

New Results

The UML profile MARTE for Real-Time and Embedded Systems Design
A meta-model of Polychrony
Multi-clocked mode automata
A modeling paradigm for Integrated Modular Avionics design
An Eclipse plugin for Polychrony
Rapid Prototyping of Heterogeneous Real-time Systems
New features of Polychrony
Synthesis of latency-insensitive systems
Periodic clock relations

Contracts and Grants with Industry

Carroll project Cortess (10/2006-10/2007)
Network of excellence Artist2
Sub-contractant for MBDA
Fondation EADS Grant
AESE project Topcased
RNTL project OpenEmbeDD
Rockwell-Collins France
IST project Speeds

Other Grants and Activities

INRIA associated projects program

Dissemination

Advisory
Conferences
Events
Teaching
Visits

Bibliography

Major publications
Publications of the year
References in notes

Inria / Raweb 2006
Presentation of the Project Espresso

Section: Contracts and Grants with Industry

AESE project Topcased

Participants : Christian Brunette, Jean-Pierre Talpin.

The Espresso project-team participates to the Topcased initiative of Airbus. The aim of the Topcased initiative is to developp an open-source toolset for the design of avionic architectures. A summary of Topcased appears in [24] . Project Topcased is being funded by the ANR and the Midi-Pyréné region.

Logo Inria