DART - 2011 - Annual activity report

DART

DART - 2011

Project-Team Dart

Members

Overall Objectives

Introduction
Highlights of the Year

Scientific Foundations

Introduction
Co-modeling for HP-SoC design
Model-based optimization and compilation techniques
HP-SoC simulation, verification and synthesis
Formal Methods for General and Domain-Specific Languages

Software

Gaspard 2
Papyrus
Model Driven Factory
OMEGSI

New Results

Co-Modeling for HP-SoC with MARTE
Formal Methods for general-purpose and domain-specific languages
Optimization and compilation techniques
Green computing on SoC
Dynamic reconfiguration for HP-SoC
Application case-studies
Axellience

Contracts and Grants with Industry

ANR Famous
The ANR Open-People project
INRIA Euromed 3+3
STIC INRIA - Tunisia program
Contrat STIC INRIA - Algérie
Nano 2012 ID-TLM
Collaboration with CEA List
Collaboration with SME Ecreall
Collaboration EADS IW, and Eurocopter

Partnerships and Cooperations

International Initiatives
European Initiatives
National Initiatives

Dissemination

Animation of the scientific community
Teaching

Bibliography

Major publications
Publications of the year
References in notes

Previous |

Home | Next next

Section: Contracts and Grants with Industry

Nano 2012 ID-TLM

This project, involves the DaRT team of Inria Lille Nord-Europe, the Aoste team of Inria Sophia-Antipolis Méditerranée and ST Microelectronics studies formal models of computation and model driven engineering to help design embedded systems. It has started in 2009 for four years.

Previous |

Home | Next next