États Généraux de la Robotique

Atelier

Architectures Logicielles pour la Robotique

24 mai 2016

2

Enjeux scientifiques / techniques

● Enjeux génériques et spécif iques par domaine – Cobotique – Médical – Véhicules autonomes – Drones

● Enjeux fondamentalement pluridisciplinaires à l'interface entre Robotique / Informatique / Automatique / ...

● Sureté de fonctionnement & Certification – Vérification formelle, Simulation mixte (HIL) et Tests

– Contribution de l'Ingénierie dirigée par les modèles● Modèles et langages à composants● Expressivité modèles (capture des contraintes, exigences...)● Composants logiciels qualifiables ? (abstraction fonctionnelle,

interface riche...)

3

● Résilience (fiabilité et robustesse)– Résistance aux pannes et aux fautes,

– Auto-adaptabilité dynamique (autonomic computing, apprentissage)

– Architecture (structuration, règles de construction, reconf iguration)

● Infrastructure d'exécution– Middleware et OS temps-réel

– Gestion des ressources, de l'énergie...

– Ateliers logiciels : environnements et méthodes pour raccourcir cycle dedéveloppement

– Composants logiciels « open-source » (garantie de qualité ?)

Enjeux scientifiques / techniques

4

Proposition d'Action

● Création d'un Eco-système dans l'objectif de :

– Créer une communauté (réseau) dynamique et pérenne

– Faciliter les collaborations académie / industrie

(GG, PME, startups) sur le long terme

– Favoriser l'émergence de solutions métiers

potentiellement basées sur le modèle open-source

5

Eco-système : missions et moyens ● Missions

– Analyse des spécificités par domaine d'application

– Identification d'un socle commun de définitions, de besoins etd'exigences

– Identification des enjeux génériques et spécifiques / domaine

– Mutualisation / Capitalisation de modèles, de codes, d'outils de

l’ingénierie logicielle, de middleware...

– Emergence de solutions métiers

– Formations « techniques » (partage de savoir et savoir-faire)

– Financement de thèses, stages, etc.

– Transfert

● Besoin de moyens adéquats pluri-annuels

(ressources humaines et financières, sur du long-terme)