POP ART - 2011 - Annual activity report

POP ART

POP ART - 2011

Project Team Pop art

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
Controller Synthesis for the Safe Design of Embedded Systems
Automatic Distribution of Synchronous Programs
New Programming Languages for Embedded Systems
Static Analysis and Abstract Interpretation
Component-Based Construction
Aspect-Oriented Programming

Contracts and Grants with Industry

Grants with Industry

Partnerships and Cooperations

National Initiatives
European Initiatives
International Initiatives

Dissemination

Animation of the scientific community
Teaching

Bibliography

Major publications
Publications of the year
References in notes

Home | Next next

2011 Team Activity Report

POP ART

Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time

Research centre: Grenoble - Rhône-Alpes

In partnership with: CNRS, Institut polytechnique de Grenoble, Université Pierre Mendes-France (Grenoble 2), Université Joseph Fourier (Grenoble 1)

In collaboration with: Laboratoire d'Informatique de Grenoble (LIG)

Field: Algorithmics, Programming, Software and Architecture

Theme: Embedded and Real Time Systems

Keywords: Aspect Oriented Programming, Embedded Systems, Fault Tolerance, Scheduling, Verification