ConecsSdF : Atelier Benchmark

Slides:



Advertisements
Présentations similaires
Académie de Créteil - B.C.
Advertisements

DECOUVERTE ET MISE EN OEUVRE
Fabrice Lauri, François Charpillet, Daniel Szer
Karima Boudaoud, Charles McCathieNevile
© Copyright 2007 Arumtec. All rights reserved. Présentation Etude déligibilité
Un processus de conception des logiciels distribués pour l’automobile
Journées nationales du GDR-Robotique, octobre Bilan GT 6 1 GT6 Conception innovante et mécatronique GABRIEL ABBA PHILIPPE WENGER.
GT3 Manipulation multi-échelle
Licence 2 Option de découverte (1L4INJM) APPLICATIONS INFORMATIQUES POUR LINTERACTION HOMME-ROBOT Responsable : Julien PINQUIER
SYSTEMES DE CONTRÔLE – COMMANDE ET INFORMATIQUE DISTRIBUEE TEMPS REEL
STRIE Systèmes Temps-Réel et Informatique Enfouie
Réflexivité et réseaux d’ information
Le"cartable électronique"®
Test de Systèmes Intégrés Digitaux et Mixtes
LIRMM 1 Journée Deuxièmes années Département Microélectronique LIRMM.
1/32 Forum des utilisateurs du SISMER – Novembre 2005 Le portail NAUTILUS accès en ligne aux données et nouveau site WEB du SISMER Michèle FICHAUT Mickael.
BEP DIAPORAMA POUR L'ORIENTATION ORIENTATION FIN 3 e
Projet n°4 : Objecteering
Smart House System Framework Vincent Chicherie
Relevons les défis de demain.
Architecture de réseaux
Performances 1 Évolution : Performance. Performances 2 Évolution : Mémoire.
1 ACI DADDI - Réunion de lancement IRISA - Projet ADEPT Michel Hurfin Jean-Pierre Le Narzul Frédéric Tronel 23 mai 2005.
Interface Homme Machine IHM Pro
wireless sensor networks
Le Concept. Régulation électronique LonWorks communicante pour application poutre froide.
Laboratoire LCOMS Equipe « Evaluation de Performance et Systèmes d’Aide à la Personne » (EPSAP) Guy Bourhis CENRob 4-5 avril.
Maple, modélisation et résolution de problèmes
Guy Gauthier, ing., Ph.D. Session été 2013.
Interaction Homme Robot Sujet « 16/03/2012 » Réalisé par :
Réalisée par :Samira RAHALI
DeltaPROD Suivi des interventions Gestion de configuration
LES RESEAUX DE CAPTEURS SANS-FIL
Journée ConecsSdF 27 janvier 2011 ATELIER BENCHMARK Mise en œuvre du cas-test sur le simulateur Samovar Adrien GUENARD, INRIA Nancy, France Date.
A côté des systèmes d'information dans l'entreprise
Quelques Modèles de conception
SYSTEMES D’INFORMATION
SCIENCES DE L ’INGENIEUR
Interprétation de séquences dimages pour des applications MédiaSpace Alberto AVANZI François BREMOND Monique THONNAT Projet ORION INRIA de Sophia Antipolis.
IGL301 - Spécification et vérification des exgiences 1 Chapitre 1 Introduction (ref : Bray chapitre 1)
Guy Gauthier, ing., Ph.D. Session automne 2012.
1 Algotel /05/04 Modélisation analytique des algorithmes dordonnancement GPS & WFQ BOCKSTAL Charles, GARCIA J.M. et BRUN Olivier.
Projet de Conception n° 5
ADAMOS Une plate-forme pour concevoir et évaluer des services proactifs Système proactif ? qui évolue en fonction des paramètres de lenvironnement physique.
SYSTEMES MIXTES MOBILES ET COLLABORATIFS
UNIVERSITE DE TECHNOLOGIE COMPIEGNE Unité dInnovation – Ingénierie des Contenus et Savoirs 28/05/2007 UTC UI - ICS Valérie Moreau Scénarios de mise en.
Conception des Réalisé par : Nassim TIGUENITINE.
Simulateur interactif de QOS dans un routeur
Partie A Système d ’information et organisation
28 janvier 2010 ConecsSdF : Co-design de systèmes commandés en réseau et sûrs de fonctionnement (GT ARC) 1 2 ème journée de l’Action ConecsSdF Co-design.
ANALYSE METHODE & OUTILS
CALENDRIER-PLAYBOY 2020.
Fondements de l’algorithmique des réseaux
1 Architecture orientée service SOA Architecture orientée service SOA (Service Oriented Architecture)
1. Présentation générale du système
Thème 5 Model-based adaptability management for autonomous mobile group communication Rencontre TOMPASSE/ROSACE - 20 Novembre 2008 Projet RTRA/ROSACE Groupes.
Supports de formation au SQ Unifié
Projet Implémentation du protocole MMT sous Linux
1 Détecteurs de défaillances adaptables Marin BERTIER Thèmes SRC Laboratoire d'Informatique de Paris 6 Université Pierre & Marie Curie.
Introduction à SolidWorks
Prédiction de Jeu dans un Assemblage - Application au Calage
Etude cinématique sur l’axe R3 d’un robot fruitier
Institut Supérieur des Sciences Appliquées et de Technologie Sousse
Réalisé par : Mr IRZIM Hédi Mr JRAD Firas
ConecsSdF : Co-design de systèmes commandés en réseau et sûrs de fonctionnement (GT ARC) 1 4 ÈME JOURNÉE DE L ’A CTION C ONECS S D F C O - DESIGN DE SYSTÈMES.
Le contenu est basé aux transparents du 7 ème édition de «Software Engineering» de Ian Sommerville«Software Engineering» de Ian Sommerville B.Shishedjiev.
Sureté de fonctionnement dans les WNCS
Co-conception Contraintes dynamique Réseau Adaptation Diagnostic Réseau Diagnostic Adaptation Réseau Contraintes dynamique Diagnostic Impact du réseau.
Présentation Audit CTI – Février
Transcription de la présentation:

ConecsSdF : Atelier Benchmark Paris, 28 janvier 2010

Introduction Objectifs de l'Atelier : Sélectionner quelques systèmes Safe-NCS fédérant les attentes et préoccupations de tous Pouvoir étudier les méthodes et outils pour : l'évaluation d'un Safe-NCS (ou d'un de ses éléments) l'identification de ses points faibles la conception du Safe-NCS (déterminer l'architecture HW/SW d'un Safe-NCS) Indirectement, réflexion sur : Nature d’un NCS, Indicateurs de performance, Types et finesse des modélisations…

Contenu de la présentation Modèle d’un NCS NCS (matériels dispo. et outils d’étude) Différents NCS selon leur nature (robots mobiles, systèmes distr…) selon l’objectif de l’étude (analyser ou concevoir) Définir des cas-test

Inventaire Systèmes présentés ou évoqués lors de la précédente réunion : PLATA Transport Steer-by-wire Communication sans fil Pendule inversé Bras robotisé Robot mobile autonome Flotte de robots mobiles autonomes Système de géo-localisation …

Système étudié (NCS) Modèles d'architecture générique Mesurer_1 (VP, VC) Décider_1 (VP, VC) Agir_1 (VP, VC) Mesurer_n (VP, VC) Décider_n (VP, VC) Agir_n (VP, VC) Communiquer ID_Dat_VP RP_Dat_VP Réseau ID_Dat_VC RD_Dat_VC

Système étudié (NCS) Modèle d'architecture générique (utilisé) intelligence locale Système de communication intelligence locale intelligence locale Capteur Capteur Capteur Actionneur Capteur Capteur Capteur Capteur Capteur Actionneur

Système étudié (NCS) Système de communication hiérarchique … … … … Sys de com. intel. locale … Sys de com. intel. locale intel. locale Sys de com. Sys de com. Source : http://www.iutnb.uhp-nancy.fr … …

Outils ou Matériels utilisés TrueTime (Matlab/Simulink) OpNet des plate-formes de simulation logiciel Matériels : Robots mobiles Khepera Robotino (Festo) Robucar/Cycab Architecture robotisé Nœuds : Motes MicaZ, i-Mote2 ZigbeePro, 6loWPAN TOI CC2431 Possesseurs : GIPSA-Lab, LAGIS (Travel), LIRMM, LORIA (Samovar), ICAM

Nature des systèmes Systèmes commandés en réseau Caractéristiques : Commande plutôt centralisée, Des instruments avec peu d’autonomie, fonction : transmission de leur mesure (capt.) ou application de l’ordre (act.) Système de communication : simple lien entre l’unité de traitement et les interfaces I/O Système de communication intelligence locale Capteur Actionneur

Nature des systèmes Systèmes autonomes communicants Caractéristiques : Intelligence locale très développée Asservissements élémentaires réalisés localement Système de communication : destiné plutôt à des fins de coordination Système de communication intelligence locale Capteur Actionneur

Nature des systèmes Systèmes d'instrumentation répartie Caractéristiques : Abonnés géographiquement très distants Maintenir un accès à l’information, pour : un nœud central, ou les abonnés. Eventuellement, syst. de comm. comme un moyen de mesure (ex. GPS) intelligence locale Système de communication intelligence locale intelligence locale Capteur Actionneur Capteur Capteur Capteur Capteur Actionneur Capteur Capteur Capteur Capteur Capteur

Nature des systèmes Sous élément "système de communication" + QoS Caractéristiques : Ne considérer que le système de communication Objectif : Déterminer ses caractéristiques fonctionnelles (=QoS) : Temps de réponse, Débit utile,… A partir : du protocole, de l’architecture (nb. de nœuds), d’hypothèses de fautes (). + = Protocole Architecture intelligence locale Système de communication intelligence locale intelligence locale Capteur Actionneur Capteur Capteur Capteur Capteur Actionneur Capteur Capteur Capteur Capteur Capteur

Part liée à la communication Thème des cas-test Part liée à la commande Part liée à la communication Thèmes à couvrir : du protocole à la QoS A partir d'une description d'un protocole de communication, comment établir une description de la QoS (utile pour évaluer la QoC) système de commande en réseau Comment déterminer la meilleure commande (QoC) d’un système aux composants distribués autour d’un système de comm. connu (QoS) système mobile en réseau Comment déterminer la meilleure intelligence locale d’un élément autonome de sorte à maximiser la performance d’un groupe chargé de se coordonner

Que chercher et comment ? Différents types d'étude (Que chercher ?) Architecture matérielle Architecture logicielle/réseau Evaluation de la SdF (ou QoS) Identification des faiblesses définie définie à concevoir Processus défini + fonctions attendues Recherche des traitements : de diagnostic, de reconfiguration de tolérance aux fautes Distributions des traitements Paramétrer ces traitements : loi de commande (+ para) configuration des interface de com. à concevoir Activité de co-conception déterminer la meilleure architecture HW/SW

Que chercher et comment ? Différentes façons d'évaluer (Comment ?) Que prendre en compte ? Et que juger ? Nature des fautes panne, usure, faute Vue dynamique ou statique comportement Coût financier des composants nombre, sélection des comp.  Finesse du modèle QoS QoC Paramètres de SdF (A(t), R(t),…) -Coût global du système  Métrique employée Evaluation de la SdF (QoS) Identification des faiblesses Recherche des traitements Distributions des traitements Lois de commande, paramètres de communication… (…) Activité de co-conception = Déterminer la meilleure architecture HW/SW

Forme des cas-test Un cas-test, ce peut être : Description d'un problème Spécification « papier » du problème problème simple à définir, difficile à résoudre bien fixer les hypothèses du problème et les variantes possibles Complétée par des outils de test et d'analyse : existence d'une plate-forme réelle d'expérimentation outils logiciels : modèle Matlab, programme de simulation…

Sélectionner des cas-tests Thème 1 : Systèmes commandés en réseau  Réseau, un lien entre l’unité de commande (régulateur) et les instruments (capteurs, actionneurs) Possibilités : Ascenseur… (discret), Bras robotisé (mixte), Cuve, chaudière (continue)… Attentes : - QoC, FDI, FTC, Sécurité…

Sélectionner des cas-tests Thème 2 : Systèmes autonomes communicants  Commande locale mais en coopération Possibilités : Flote de robots cf. film Attentes : - Intelligence répartie - Sécurité…

Sélectionner des cas-tests Thème 3 : Systèmes d'instrumentation répartie  Abonnés éloignés (peu d’interaction physique) Possibilités : ens. de capteurs (sismographe…) ens. d’élements mobiles (train, camion…) Attentes : QoS, …

Sélectionner des cas-tests Thème 4 : Sous-système de communication  Acheminement d’information Possibilités : Etude : Protocole existant ou à inventer ? Attentes : Evaluation de la QoS, (face aux fautes) …

Simulateur en OpenGL Exemple Robucar

LORIA (TRIO) Réseau de capteurs et actionneurs sans fil (SAMOVAR) Matériel utilisé : Motes MicaZ et i-Mote2 de Crossbow ZigbeePRO et 6loWPAN de Jennic SNA (Sensor Network Analyzer) de Daintree networks TI CC2431 (avec localisation) Robots Khepera

LIRMM architecture logicielle robotique constituée de modules dans lesquels il est possible aux automaticiens / roboticiens d'implémenter leur algorithme sans s'occuper de l'aspect logiciel / info indus

GIPSA-LAB Matériel utilisé : TrueTime : bibliothèque de simulation de réseaux pour Matlab/Simulink OpNet : logiciel de simulation de réseaux (Modeler + d'autres bibliothèques + SiTl : qui permet d'interfacer des réseaux réels et des réseaux simulés sous OpNet pour faire du Harware in the Loop par exemple) 2 robots Khepera, avec des interfaces de communication WiFi, permettant de faire travailler des "flottes" de véhicules

ICAM Projet « Robotique Mobile» Projet réalisé avec le concours de: Projet « Robotique Mobile» Plateforme distribuée de Recherche en Robotique Mobile Responsable Projet : Allal SAADANE, Enseignant chercheur ICAM Lille Mots clés : Navigation autonome, Intelligence embarquée, contrôle/Commande distribué, Télé-opération, coopération/interaction Robots distants Fiche signalétique du projet Durée : 3 ans Début du projet : janvier 2007 Problématiques scientifiques Recherche multidisciplinaire : Automatique, informatique temps réel distribuée, mécatronique et TIC. Problème d’interopérabilité Conception et implémentation d’algorithmes avancés de contrôle/ commande temps réel, réparti sur robots communicant via Internet. Problèmes de stabilisation liés aux délais de transmission réseau Modélisation des interactions entre entités mobiles distribuées, dotées d’intelligence artificielle embarquée. Approche par les « systèmes multi agents » . Etude et mise au point d’Interface Home-Machine avancée offrant à un télé opérateur un retour d’information, enrichi et en temps réel, en provenance des robots télé manipulés: principe de la réalité augmentée, effet haptique (retour d’effort) … Enjeux industriels Développement d’un démonstrateur pour la Valorisation d’expertise en robotique mobile. Cible: Centres R&D, Recherche académique collaborative Architecture de base de la Plateforme Principaux partenaires