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.

Outil dédié à la modélisation, l'analyse et la simulation de protocoles de sécurité pour les systèmes communicants. Il permet de générer des cas de test automatisés, d'identifier des vulnérabilités potentielles et de valider des propriétés de sécurité via des modèles formels. Utilisé principalement dans le domaine de la cybersécurité et de la vérification de systèmes.

Ce projet est une bibliothèque logicielle dédiée à la gestion de portefeuilles financiers et à l'analyse de risques. Il permet aux institutions financières de modéliser des prêts, des lignes de crédit et des stratégies d'investissement. Le système inclut des outils pour résoudre des adresses emails associées à des agences ou des intermédiaires, facilitant ainsi la communication automatisée. Les algorithmes intégrés aident à évaluer les risques et à optimiser les portefeuilles.

PRISM est un outil open source dédié à la vérification formelle de systèmes probabilistes et stochastiques. Il permet de modéliser et d'analyser des systèmes complexes comme les protocoles de communication, les algorithmes distribués ou les réseaux de files d'attente. L'outil prend en charge plusieurs formalismes (DTMC, CTMC, MDP, etc.) et offre des fonctionnalités avancées pour l'évaluation de propriétés quantitatives et temporelles.

Le projet riseclipse-metamodel-nsd2016 fournit un méta-modèle pour la définition de noms d'espaces (Name Space Definition) selon la norme IEC 61850-7-7. Il permet de modéliser des systèmes électriques et leurs schémas de communication.

Projet académique dédié à la modélisation et à la simulation de systèmes logiciels distribués. Il permet de gérer des commandes de cocktails, de suivre les stocks et les équilibres, et de faciliter la communication entre différents composants logiciels via des ports et connecteurs. Utilisé comme outil pédagogique pour enseigner les architectures logicielles.

Ce projet permet de modéliser et structurer des messages échangés entre acteurs dans un cadre transactionnel. Il facilite la standardisation des métadonnées associées, le suivi des opérations et l'organisation des parties prenantes impliquées dans les échanges. Idéal pour des systèmes nécessitant une traçabilité et une interopérabilité des communications.