Inria
/
Raweb 2010
Presentation of the Project espresso
Logo Inria
espresso
Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
2010 Research Team Activity Report
Rennes - Bretagne-Atlantique
Field :
Algorithmics, Programming, Software and Architecture
Theme : Embedded and Real Time Systems
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
or
ePub
(
test
) format
Members
Overall Objectives
Introduction
Context and motivations
The polychronous approach
Highlights
Scientific Foundations
Introduction
Application domains
Software
The Polychrony toolset
The SME platform
MIMAD - Integrated Modular Avionics design using Polychrony
Multi-clocked mode automata
New Results
Polychrony and Kahn Process Networks
Extensions of Signal
Toward a new clock calculus
Documentation of Polychrony
New features of Polychrony
A compilation tool-chain for Synoptic, a space application DSL
Labelled transition systems for validation of Signal specifications
An algebraic theory of data-flow processing
Virtual prototyping of imperative programs
A simulation infrastructure for CCSL, the timing model of UML MARTE
Transformation of Simulink models in Polychrony
Co-modeling and simulation of GALS architectures
The Cesar demonstrator and reference technology platform
From polychronous to Safety-critical Java
Contracts and Grants with Industry
RNTL project Spacify
ANR project FotoVP
Artemisia project Cesar
ITEA2 project Opees
Other Grants and Activities
National Actions
European Actions
International collaborations
Dissemination
Workshops
Invited Lectures
Research visitors
Conferences
Teaching
Bibliography
Major publications
Publications of the year
References in notes
