Génération de modèles de simulation de protocoles de communication [French]

By MD Tanzilur Rahman and Gurpreet Singh Saini

De nombreux progr s ont t r alis s dans le domaine des techniques de v rification et de validation bas es sur des mod les. La plupart d'entre elles reposent sur l'observation du comportement externe du syst me. Notre approche suit cette m me ligne et s'applique m me lorsque le code source du syst me observer n'est pas disponible. Un m canisme d'inf rence nous permet de d duire ces mod les de machine par l'observation. Nous pr sentons un cadre permettant de g n rer des composants tats infinis ou finis et de les adapter aux v rifications formelles. Les mod les utilis s sont des protocoles de communication d duits par inf rence r guli re partir de l'observation du comportement des entit s du protocole de communication. Nous pr sentons galement une approche permettant de v rifier que le comportement observ du protocole correspond au mod le con u pour ce protocole.

• Format: Paperback
• Language: French
• ISBN: 6209956912
• ISBN13: 9786209956911
• Release Date: April 2026
• Publisher: Editions Notre Savoir
• Length: 52 Pages
• Weight: 0.18 lbs.
• Dimensions: 0.1" x 6.0" x 9.0"