Page d'accueil du projet RNRT PERSIFORM

Vous êtes sur la page web du projet RNRT Persiform : Ingénierie de Performances basée sur la Simulation à partir de Modèles Fonctionnels Formels.

Les partenaires du projet sont :

• France Télécom R&D
• INRIA Rennes
• INT
• Orpheus
• VERIMAG

Le projet a démarré en 2004 et se terminera en 2007.

Description du projet

La maîtrise de la qualité de service est un enjeu majeur pour la construction et la fourniture d’applications sur des infrastructures réparties ouvertes.

Le projet a pour objectif la définition et le développement d'une méthodologie intégrée permettant la construction de systèmes fiables et performants en prenant en compte les contraintes d'architecture et de ressources. Elle doit être capable de traiter de manière efficace l'ingénierie de performance pour des équipements réseaux, des protocoles de communication et des applications logicielles, tout en assurant la cohérence avec les techniques de validation du comportement fonctionnel.

Ce projet contribue sur quatre axes complémentaires qui doivent être abordés en cohérence :

• la recherche et l'identification des données (et de leur niveau d'abstraction) pertinentes pour l'analyse des performances et du dimensionnement. Ces données doivent être intégrées dans un modèle fonctionnel du système ;
• la caractérisation et l'enrichissement de langages formels. Ces langages et l'environnement d'édition associé doivent permettre un accès intuitif et aisé par des ingénieurs ; ils sont définis comme extensions de langages standardisés tels SDL, MSC ou UML   pour la représentation d'un tel modèle fonctionnel ;
• l'établissement et la définition sémantique des relations de correspondance entre les constructions d'un langage formel étudié dans le projet et les primitives des langages des simulateurs de performances ciblés, afin d'effectuer des transformations automatiques ou semi-automatiques. Les simulateurs de performances ciblés sont des simulateurs matures du marché ;
• la définition d'une méthodologie de conception, et le développement d'un ou plusieurs outils de transformation et d'IHM de saisie de données.

Le projet comporte donc des aspects fondamentaux, des aspects applicatifs et des aspects d'outillage. Il a pour but de rendre l'étude de performance accessible aux non-spécialistes, en fournissant un cadre de travail commun avec la vérification et le test fonctionnel, et ainsi d’améliorer l’efficacité du processus de développement.