Inria
/
Raweb 2010
Presentation of the Project Pop Art
Logo Inria
Pop Art
Programming languages, Operating systems, Parallelism, and Aspects for Real-Time
2010 Research Team Activity Report
Grenoble - Rhône-Alpes
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
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
New Programming Languages for Embedded Systems
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
