Inria
/
Raweb 2007
Presentation of the Project Pop Art
Logo Inria
Pop Art
Programming languages, Operating systems, Parallelism, and Aspects for Real-Time
2007 Research Team Activity Report
Theme :
COM
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Introduction
Highlights of the year
Scientific Foundations
Embedded systems and their safe design
Issues in design automation for complex systems
Main Research Directions
Application Domains
Industrial applications.
Industrial design tools
Current industrial cooperations.
Software
NBac
Prometheus
Implementations of synchronous programs
APRON libray
Prototypes
New Results
Dependable distributed real-time embedded systems
Automatic distribution of synchronous programs
Automatic generation of correct controllers
Static Analysis and Abstract Interpretation
Component-based Construction
Aspect-oriented programming
Other results
Contracts and Grants with Industry
Pôle de compétitivité Minalogic/EMSOC
DCN
Other Grants and Activities
Regional actions
National actions
European actions
Actions internationales
Dissemination
Scientific community
Teaching
Bibliography
Major publications
Publications of the year
References in notes
