Projets MoVe

Équipe : MoVe

  • http://pnml.lip6.fr
    PNML Framework

    PNML Framework est l'implémentation prototype du standard ISO/IEC-15909 (partie 2), le format d'échange normalisé pour les réseaux de Petri. L'objectif principal de PNML est d'aboutir à l'interopérabilité des outils basés sur les réseaux de Petri. PNML Framework est conçue pour implémenter le standard au fur et à mesure de son élaboration, afin d'en mesurer la faisabilité et de servir de référecne pour es outils de la communauté. Il propose une API de manipulation permettant de créer, sauver, charger et parcourir des réseaux de Petri au format PNML.

    Responsable : Fabrice KORDON
    01/04/2005
    Plus d'informations ici
  • http://polyorb.ow2.org/
    PolyORB - PolyORB: un intergiciel Schizophrène

    PolyORB est un projet joint entre le LIP6 et l'ENST. Ce projet est désormais terminé dans sa phase recherche mais le produit logiciel reste en ligne et est maintenu par la société Ada-Core. PolyORB a été choisi par la société Astrium pour être embarqué dans le module Colombus de la station spatiale internationale.

    Responsable : Fabrice KORDON
    01/01/2001
    Plus d'informations ici
  • https://www.lip6.fr/cpn-ami
    CPN-AMI

    CPN-AMI est un environnement conçu sur FrameKit: une plate-forme logicielle d'intégration permettant un couplage rapide d'outils de provenance diverses. CPN-AMi est ainsi l'assemblage le plus complet d'outils de vérifications à partir de réseaux de Petri. Ces outils ont été développés dans le cadre des travaux de SRC ou par des partenaires universitaires (Université de Turin, Université d'Helsinki, Bell-Labs, Université de Munich, Université Humbolt à Berlin). CPN-AMI est composé d'un serveur d'outils et d'une interface utilisateur déporté à laquelle on se connecte.

    Responsable : Fabrice KORDON
    01/12/1994
    Plus d'informations ici
  • http://spot.lip6.fr/wiki/
    SPOT - Spot Produces Our Traces

    SPOT (Spot Produces Our Traces) est une bibliothèque de model-checking facilement extensible. À la différence des model-checkers existants, dont le mode opératoire est immuable, SPOT fournit des briques que l'utilisateur peut combiner entre elles pour réaliser un model-checker répondant à ses propres besoins. Une telle modularité permet d'expérimenter facilement différentes combinaisons, et facilite le développement de nouveaux algorithmes. D'autre part, cette bibliothèque est centrée autour d'un type d'automates particulier permettant d'exprimer les propriétés à vérifier de façon plus compacte, qui n'a jamais été utilisé dans un outil jusqu'à présent.

    Responsable : Denis POITRENAUD

    Plus d'informations ici
Archives
 Mentions légales
Carte du site |