Project-Espresso:Sub-contractant for MBDA

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

Sub-contractant for MBDA

Participants : Loïc Besnard, Jean-Pierre Talpin.

In the context of the ANR project Systematics, the Espresso project-team collaborates with MBDA division of EADS to develop a embedded system design environment based on Polychrony for the integration of heterogeneous components (in C, Lustre, Simulink). Work conducted in this project is reported in Sectionõ 6.6 .

Logo Inria