Couverture de Formal Verification of Space Missions Communication Protocols
Titre du livre:

Formal Verification of Space Missions Communication Protocols

In the frame of project Space Link Extension – Service Management (SLE-SM)

LAP LAMBERT Academic Publishing (18-10-2012 )

Books loader

Omni badge éligible au bon d'achat
ISBN-13:

978-3-659-25299-0

ISBN-10:
3659252999
EAN:
9783659252990
Langue du livre:
Anglais
texte du rabat:
This book is the case-study based demonstration of formal specification (modelling) and verification of distributed communication protocols as specified by NASA. The aim of this work is to model and verify the given informal model preserving its complete properties and behaviours. We have used model based specification and verification methodology, which is widely used to verify certain behaviours of such protocols. The proposed formal model is adequate and its various properties can be verified using standard model checking/verification tools. This formalism is developed by finding inconsistencies in the given model and then removing them in the proposed model. All the protocols are positively tested for their specifications (as specified in the Specification Document). The developed model can be generated using any CASE tool in XMI, which can later be used by model checkers. This work was supervised by Reiko Heckel.
Maison d'édition:
LAP LAMBERT Academic Publishing
Site Web:
https://www.lap-publishing.com/
de (auteur) :
Muhammad Taimoor Khan
Numéro de pages:
72
Publié le:
18-10-2012
Stock:
Disponible
Catégorie:
Autres
Prix:
49.00 €
Mots-clés:
formal specification, model checking, Formal Verification, space mission protocols

Books loader

Lettre d'information

Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Paypal Virement bancaire

  0 produits dans le panier
Modifier le contenu du panier
Loading frontend
LOADING