|
|
|
|
LAAS |
Activities in the « GDR Robotique »
|
|
SAGEM |
The EUROP Network
|
|
ONERA |
Mission Management System for Package of Unmanned Combat Aerial Vehicules
|
|
ONERA |
A generic architectural framework for the closed-loop control of a system
|
|
Thalès |
Really Hard Time Developing Hard Real-Time: Research Activities
on Component-based Distributed RT/E Systems
|
|
INTEMPORA S.A. |
The RTMaps platform applied to distributed software development
|
|
CERT |
Formal assessment techniques for embedded safety critical system
|
|
LIPN, Université Paris XIII |
A formal approach to designing autonomous systems: from Intelligent
Transport Systems to Autonomous Robots
|
|
SUPAERO |
Z and ProCoSa based specification of a distributed FDIR in a satellite formation
|
|
LAAS |
Incremental Construction and Verification of
Robotic System using a Component-Based approach
|
|
MoVe, LIP6 |
Benefits of the MDE approach for the development of embedded and robotic system
|
|
OBASCO, École des mines de Nantes |
A modelling language for communicating architectural solutions in the domain of robot control
|
|
GREYC - Université de Caen |
Towards an Adaptive Robot Control Architecture
|
|
GOSTAI |
Design
Principles for a Universal Robotic Software
Platform and Application to URBI
|
|
LIRMM - microelectronique |
HS-Scale: a MP-SOC Architecture for Embbeded Systems
|