TiAMo est un outil de vérification formelle dédié à l'analyse des systèmes temporisés modélisés par des automates temporisés. Il permet de vérifier des propriétés temporelles complexes sur des modèles, d'identifier des erreurs de conception ou de synchronisation, et d'optimiser des systèmes critiques comme les protocoles de communication ou les systèmes embarqués. Développé dans le cadre d'un projet de recherche, il est utilisé pour valider la correction et la fiabilité des systèmes avant leur déploiement.

Bibliothèque logicielle conçue pour faciliter l'intégration et l'optimisation des systèmes embarqués temps réel. Elle permet aux développeurs de simuler et valider des modèles de contrôle-commande avant leur déploiement sur matériel dédié comme les cibles Speedgoat. Utilisée dans des secteurs exigeants comme l'automobile, l'aérospatial ou l'industrie pour garantir la fiabilité et la performance des systèmes critiques.

Outil dédié à l'analyse et à l'optimisation de modèles de compteurs abstraits utilisés en vérification formelle. Il permet de déterminer des tailles de ensembles concrets à partir de modèles pseudo-booléens, facilitant ainsi la validation de propriétés logiques complexes. Développé dans le cadre du projet BLaSST, il s'intègre dans des workflows de preuve automatisée pour les systèmes critiques.

BalzersGauge est un système dédié à la mesure et à la surveillance de dispositifs industriels. Il permet de lire en continu des paramètres critiques comme la pression, la localisation (X, Y) et l'état de fonctionnement des équipements. Le projet offre également des mécanismes de contrôle pour activer ou désactiver les dispositifs selon des règles prédéfinies, assurant ainsi une gestion optimisée et sécurisée des installations.

Module Scilab dédié à l'analyse quantitative des arbres de défaillances dynamiques. Il permet d'évaluer les risques et la fiabilité des systèmes critiques en utilisant des méthodes stochastiques et des bornes probabilistes. Utilisé pour la modélisation de scénarios de défaillance et l'optimisation de la sûreté de fonctionnement dans des domaines comme l'aéronautique ou l'énergie.

Lustre est un système de fichiers distribué open source conçu pour gérer de grands volumes de données dans des environnements haute performance. Il permet de configurer, optimiser et maintenir des clusters de stockage pour des infrastructures critiques comme les centres de données ou les supercalculateurs. Le projet fournit des outils et des ressources pour faciliter le développement, le test et le déploiement de solutions de stockage distribué.

Outil spécialisé dans l'analyse précise des caches LRU (Least Recently Used) pour optimiser les performances des systèmes embarqués ou des applications critiques. Il permet de détecter des anomalies dans la gestion mémoire, d'identifier des fuites potentielles et d'améliorer l'efficacité des algorithmes de cache. Utilisé principalement par des développeurs et des ingénieurs en optimisation logicielle.

Système dédié au contrôle et à la gestion de dispositifs laser industriels. Permet d'initier, configurer et surveiller des tirs laser en temps réel, que ce soit en mode automatique ou manuel. Utilisé pour des applications de découpe, soudure ou traitement de matériaux dans des environnements industriels exigeants. Offre des fonctionnalités de suivi des paramètres critiques et d'optimisation des performances des équipements laser.

Outil d'analyse et de vérification formelle de programmes pour détecter des erreurs logiques, optimiser des blocs de code et valider des propriétés de sécurité. Utilisé principalement dans la recherche académique et l'ingénierie logicielle pour améliorer la fiabilité des systèmes critiques.

Ce projet est un serveur Tango dédié à la gestion et au contrôle des régulateurs de température Eurotherm 2400 via le protocole Modbus TCP. Il permet une lecture rapide des valeurs de température et facilite l'intégration dans des systèmes d'automatisation industrielle. Le serveur optimise les opérations de chauffage en fournissant des données précises et en temps réel pour des applications critiques.