Project-espresso:Fondation EADS

Team espresso

Members

Overall Objectives

Introduction
Context and motivations
The polychronous approach
Highlights

Scientific Foundations

Scientific Foundations

Application Domains

Application Domains

Software

The Polychrony workbench
Eclipse plugins for Polychrony
Integrated Modular Avionics design using Polychrony
Multi-clocked mode automata

New Results

Polychrony and Kahn Process Networks
An algebraic theory of data-flow processing
New features of Polychrony
Integration of Polychrony in the TopCased platform
Verifications of GALS architectures
A contract-based module system
Virtual prototyping of avionic architecture descriptions
A compilation tool-chain for Synoptic, a space application DSL
Virtual prototyping of imperative programs
A simulation infrastructure for CCSL, the timing model of UML MARTE
Clock-driven real-time implementation of synchronous specifications
From Concurrent Multiclock Programs to Deterministic Asynchronous Implementations
A Megamodel for Cartography of Software Engineering Platforms

Contracts and Grants with Industry

ANR project Topcased
RNTL project Spacify
ANR project FotoVP
Fondation EADS
Artemisia project CESAR
ANR project OpenEmbeDD
ITEA2 project OPEES

Other Grants and Activities

National Actions
European Actions
Research visitors

Dissemination

Advisory
Tutorials
Invited Lectures
Workshops
Conferences
Teaching

Bibliography

Major publications
Publications of the year
References in notes

Inria / Raweb 2009
Presentation of the Project espresso

Section: Contracts and Grants with Industry

Fondation EADS

Participants : Yann Glouche, Jean-Pierre Talpin.

The Espresso project-team received a grant from the EADS Foundation to fund a Doctorate on contract-based design in a polychronous model of computation. The aim of this program is to develop a model-driven engineering framework, based on the Eclipse plugins for Polychrony developed in the frame of the ANR project OpenEmbeDD, allowing for the seamless integration of heterogeneous embedded system components within a contract-based design MDD environment.

Logo Inria