L4.3 : Identification et mise en oeuvre des outils de simulation et vérification - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Contract/Project Report) Year : 2006

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

Abstract

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.

Keywords

No file

Dates and versions

inria-00113243 , version 1 (11-11-2006)

Identifiers

  • HAL Id : inria-00113243 , version 1

Cite

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⟩
158 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More