Project-Espresso:Network of excellence Artist2

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

Network of excellence Artist2

Participants : Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin.

The Espresso project-team is involved in the activity of the Artist2 network of excellence. The book [1] and the URL http://www.artist-embedded.org/FP6 ) give detailed presentations on the aim and scope of the network.

Logo Inria