DART - 2012 - Annual activity report

DART

DART - 2012

Project-Team Dart

Members

Overall Objectives

Research Program

Introduction
Co-modeling for HP-SoC design
Model-based optimization and compilation techniques

Application Domains

Gaspard2 for avionic hybrid test platform design
Electromagnetic modeling

Software and Platforms

Gaspard 2

New Results

Hardware Distributed Control for Dynamic Reconfigurable Systems
Regular interconnection network for HP-SoC architecture
ReCoMARTE: A Marte Based Profile for Dynamic Reconfigurable Systems Modeling
Using Marte Profile for NoCs modeling
A Hardware Membranes Based Reconfiguration Services Implementation
Formal Techniques for General and Domain-Specific Languages

Bilateral Contracts and Grants with Industry

Collaboration EADS IW, and Eurocopter
National Initiatives

Partnerships and Cooperations

European Initiatives
International Research Visitors

Dissemination

Scientific Animation
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year
References in notes

Home | Next next

2012 Project-Team Activity Report

DART

Contributions of the Data Parallelism to Real Time

Research centre: Lille - Nord Europe

In partnership with: CNRS, Université des sciences et technologies de Lille (Lille 1)

In collaboration with: Laboratoire d'informatique fondamentale de Lille (LIFL)

Field: Algorithmics, Programming, Software and Architecture

Theme: Embedded and Real Time Systems

Keywords: Synchronous Languages, Programming Languages, Compiling, Processors, Embedded Systems, Software Engineering