Inria
/
Raweb 2006
Presentation of the Project Pop Art
Logo Inria
Pop Art
Programming and OPerating systems for Applications in Real-Time
2006 Research Team Activity Report
Theme :
COM
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
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
Orccad
NBac
Prometheus
Implementations of synchronous programs
Prototypes
New Results
Distribution of higher-order synchronous dataflow programs
Reliable distributed real-time embedded systems
Control and scheduling co-design
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
PolySpace
Other Grants and Activities
Regional actions
National actions
European actions
Dissemination
Scientific community
Teaching
Bibliography
Major publications
Publications of the year
References in notes