Project-espresso:Tutorials

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: Dissemination

Tutorials

Jean-Pierre Talpin and Sandeep Shukla jointly organized a one day tutorial, on “Correct-by-Construction Embedded Software Synthesis”, at the Design Automation and Test in Europe Conference (DATE'09, http://www.date-conference.com/date09/conference/date09-tutorial-C ).

Logo Inria