HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

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.
Complete list of metadata

https://hal.inria.fr/inria-00113243
Contributor : Isabelle Chrisment Connect in order to contact the contributor
Submitted on : Saturday, November 11, 2006 - 10:49:10 PM
Last modification on : Tuesday, April 5, 2022 - 3:43:38 AM

Identifiers

  • 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⟩

Share

Metrics

Record views

151