Compétences

L"équipe de recherche ISOE dispose de compétences et de savoirs faire dans les domaines de l’ingénierie de systèmes multi technologies, de systèmes logiciels et de systèmes socio techniques (entreprise ou réseaux d’entreprises) :

  • Approches de modélisation : IDM (MBSE), System Driven Engineering, Model Driven Architecture (MDA), Model Driven Engineering (MDE), Méta-modélisation, modélisation d’entreprise, UML, SysML, spécification formelle (B, Z).
  • Approches de vérification de modèles : expertise, simulation ou plus particulièrement approches formelles de type theorem proving (outils : Z-eves, COQ, …) et model checking (outils : PVS, SMV, UPAAL, STEP, CADP,…).
  • Approches de validation de modèles : techniques et outils (ARENA, Flexsim, …) de simulation discrète, de simulation sur la base de Systèmes Multi Agents (plate forme JADE, …), émulation de modèles, techniques de comparaison et de correction de modèles, techniques de bisimulation.
  • Approches de développement Système au travers d’activités relevant :
    • du Génie Logiciel : algorithmique, techniques de résolution de problèmes, branch&bound, algorithmes génétiques, propagation de contraintes, programmation JAVA, approche de conception par composants.
    • du Génie Automatique : modélisation et pilotage de Systèmes à Événements Discrets (SED), automatique continue, linéaire et non linéaire, apprentissage supervisé, non-supervisé, par renforcement à partir des données de l’expérience.
    • du Génie Industriel : approches et des outils support du processus d’évolution ou de reconception d’un système (par réorganisation de la structure, du comportement et des fonctions du système) en vue d’une anticipation ou d’une adaptation souhaitée ou nécessaire.
    • du Génie Electrique : acquisition de données, mise en œuvre de capteurs, fibre optique, laser à semi conducteur