L4.3 : Identification et mise en oeuvre des outils de simulation et vérification

Résumé : La complexité inhérente au protocole de communication de groupes sécurisé (PCGS) étudié dans le cadre du projet SAFECAST justifie le recours à des techniques de modélisation qui permettent d'exprimer le service que doit rendre ce protocole mais aussi le couple (architecture, comportements) à développer dans la phase de conception de ce protocole. En dépit de ses vertus de clarification et de son intérêt en termes de communication intra-projet, la modélisation n'est pas une fin en soi. Les partenaires du projet SAFECAST s'accordent sur l'importance de disposer de techniques de modélisation supportées par des outils qui permettent d'analyser les modèles réalisés et de détecter au plus tôt les erreurs de conception. Ils s'accordent également sur le caractère « illusoire » de la quête d'une technique de modélisation unique qui permettrait de traiter toutes les facettes du PCGS (scénarios de service, architecture de la conception, parallélisme, communication, parties « contrôle » et « donnée » des machines de protocoles, aspects temporels, performances, etc.) C'est pourquoi le présent rapport présente plusieurs techniques de modélisation et outils d'analyse de modèles. Le distinguo entre « outils de vérification » et « outils de simulation » entend séparer les outils qui réalisent des analyses exhaustives de modèles de haut niveau de ceux qui procèdent par exploration partielle de modèles.
Type de document :
Rapport
[Contrat] 2006, pp.28
Liste complète des métadonnées

https://hal.inria.fr/inria-00113243
Contributeur : Isabelle Chrisment <>
Soumis le : samedi 11 novembre 2006 - 22:49:10
Dernière modification le : mercredi 28 février 2018 - 10:22:50

Identifiants

  • HAL Id : inria-00113243, version 1

Citation

Abdelmadjid Bouabdallah, Mohamed Salah Bouassida, Isabelle Chrisment, Pierre De Saqui-Sannes, Sara del Socorro Mota Gonzalez, et al.. L4.3 : Identification et mise en oeuvre des outils de simulation et vérification. [Contrat] 2006, pp.28. 〈inria-00113243〉

Partager

Métriques

Consultations de la notice

266