Inria
/
Raweb 2008
Presentation of the Project Pop Art
Logo Inria
Pop Art
Programming languages, Operating systems, Parallelism, and Aspects for Real-Time
2008 Research Team Activity Report
Grenoble - Rhône-Alpes
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
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: OpenTLM
DCNS
Pôle de compétitivité Minalogic: MIND
Other Grants and Activities
Regional actions
National actions
European actions
International actions
Dissemination
Scientific community
Teaching
Bibliography
Major publications
Publications of the year
References in notes
