Inria
/
Raweb 2009
Presentation of the Project Pop Art
Logo Inria
Pop Art
Programming languages, Operating systems, Parallelism, and Aspects for Real-Time
2009 Research Team Activity Report
Grenoble - Rhône-Alpes
Area :
Algorithmics, Programming, Software and Architecture
Theme : Embedded and Real Time Systems
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 and BDDApron libraries
Prototypes
New Results
Dependable distributed real-time embedded systems
Automatic distribution of synchronous programs
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
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
