RECHERCHE & DÉVELOPPEMENT DE SOLUTIONS INFORMATIQUES
SOLUTION ROBOTIQUE
Le projet vise en particulier l'étude et la proposition de solutions logicielles pour un fonctionnement sûr des systèmes de
contrôle et de commande afin d’effectuer des séries de mesures temps réel.
Différents formalismes et approches sont utilisés : méthodes formelles dont des approches de type model-checking et des approches
basées sur la démonstration (prouveurs, ...), étude de performances, techniques d'ordonnancement des meures pour constituer des rapports
en temps réel pour dégager la fiabilité des mesures à partir d’une base de connaissances constituée par les normes des lignes et des terminaux.
Nous nous intéressons à la réalisation d’une plateforme de contrôle des Robots pour mesurer des paramètres physiques d'un ensemble de matériels.
Chaque robot doit parcourir un chemin bien définit suivant son objectif ciblé ainsi,
avec une connaissance des obstacles et un déclanchement des agents selon le cas, ce qui estime une intelligence interne.
La plateforme matériel-logiciel est caractérisée par la connaissance, connexion, contrôle, et la mesure des paramètres physiques
des terminaux. Ce concept concerne le domaine de la supervision, contrôle à distance, sécurité informatique, sécurité de réseaux,
Télécommunication et Sureté de fonctionnement.
La plateforme matériel-logiciel est caractérisée par le critère temps réel au niveau collecte d'information, même lors
de déconnexion de tout terminal ou d’une carte réseau (avec ou sans fil).
La plateforme matériel-logiciel est caractérisée par le critère distribué et multi-agents pour faciliter la maintenance
de chaque partie (connaissance, contrôle, mesure et états de mesure) d'une manière indépendante sans perdre le fonctionnement
des autres parties.
La plateforme matériel-logiciel est caractérisée par la connaissance du responsable du problème lorsqu’il persiste par
le mode des états et des traces enregistrés.