Articles liés à Generating Simulation Models of Communication Protocols:...

Generating Simulation Models of Communication Protocols: Learning from our Data - Couverture souple

Rahman, Md. Tanzilur; Saini, Gurpreet Singh

 
9783846526019: Generating Simulation Models of Communication Protocols: Learning from our Data
Couverture souple
ISBN 10 : 3846526010 ISBN 13 : 9783846526019
Editeur : LAP LAMBERT Academic Publishing, 2014

Synopsis

There have been many developments in the field of facilitated model based verification and validation techniques. Most of them have been based upon observing the external behaviour of the system. Our approach follows the same and is valid with the source code of the system under observance is not available Inference mechanism allow us to infer such machine models by observing. We present a framework which adopts to generate component with infinite/finite states and adapt to formal verifications. The models used are communication protocol inferred by regular inference observed through the behaviour of communication protocol entity. Also, an approach is presented such that the observed behaviour of the protocol validates to the designed model of the protocol.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

There have been many developments in the field of facilitated model based verification and validation techniques. Most of them have been based upon observing the external behaviour of the system. Our approach follows the same and is valid with the source code of the system under observance is not available Inference mechanism allow us to infer such machine models by observing. We present a framework which adopts to generate component with infinite/finite states and adapt to formal verifications. The models used are communication protocol inferred by regular inference observed through the behaviour of communication protocol entity. Also, an approach is presented such that the observed behaviour of the protocol validates to the designed model of the protocol.

Biographie de l'auteur

Md Tanzilur Rahman is currently working as an Assistant professor and has done his Master's and Bachelor's in Engineering from Amity University, Noida, India and Jamia Hamdard University, India. He has interest's in following domains of research; Ad-Hoc Networks, Simulation Models, Artificial Intelligence, Software Testing and Software Development

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
LAP LAMBERT Academic Publishing
Date d'édition
2014
Langue
anglais
ISBN 10 
3846526010
ISBN 13 
9783846526019
Reliure
Broché
Nombre de pages
56
Coordonnées du fabricant
non disponible
Personne responsable
KreGa Onlinehandel GmbH
4950000000000
info@krega-onlinehandel.de

Birkenweg 31
Brakel
33034
Allemagne