Outil dédié à la génération automatique de modèles PRISM pour des systèmes de production industrielle. Il permet de créer des fichiers DTMC (Discrete-Time Markov Chains) basés sur des politiques de service spécifiques, comme le blocage après service. Les modèles générés facilitent l'analyse et l'optimisation des performances des lignes de production en exploitant des configurations paramétrables pour différents types de systèmes (1-slot ou 2-slot).

Outil dédié à la génération automatique de fichiers .gspn pour le vérificateur de modèles COSMOS. Il permet de modéliser des lignes de production industrielles sous forme de modèles DTMC (chaînes de Markov à temps discret) avec une politique de service bloquante. Les fichiers générés sont utilisés pour analyser et valider des systèmes de production complexes, facilitant ainsi l'optimisation et la vérification de leur fonctionnement.

Ce projet fournit un plugin dédié à la famille de caméras industrielles mvBlueCOUGAR de Matrix Vision. Il permet d'intégrer ces caméras dans des systèmes de vision par ordinateur pour des applications industrielles comme l'inspection, la mesure ou le contrôle qualité. Le plugin facilite le développement d'outils d'automatisation et d'analyse d'images pour optimiser les processus de production.

Pyscada-saves est une solution logicielle dédiée à la sauvegarde, la gestion et l'analyse des données issues de systèmes SCADA (Supervisory Control and Data Acquisition). Elle permet aux industriels de centraliser et sécuriser leurs données de production, d'assurer leur traçabilité et de faciliter la prise de décision grâce à des outils d'analyse et de visualisation adaptés aux environnements industriels.

Ce projet permet de contrôler et superviser à distance des oscilloscopes de la marque Tektronix (modèle DPO4104) via un protocole standardisé. Il facilite l'acquisition automatisée de mesures électriques (amplitudes, tensions, etc.) pour des applications en recherche, développement ou production industrielle. Les données collectées peuvent être intégrées dans des systèmes de monitoring ou d'analyse.

Le projet robocop.lirmm.net vise à assurer la surveillance et l'analyse des données de robots industriels en temps réel, permettant ainsi la détection d'anomalies et l'amélioration de la fiabilité et de la productivité des systèmes robotiques.