☰ Category

Formal Verification of Space Missions Communication Protocols

 

Marketed By :  LAP LAMBERT Academic Publishing   Sold By :  Kamal Books International  
Delivery in :  10-12 Business Days

 

Check Your Delivery Options

Product Out of Stock Subscription

(Notify me when this product is back in stock)

Rs. 3,651

Availability: Out of stock

 
  • Product Description
 

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.

Product Specifications
SKU :COC17953
AuthorA.Sankara Narayanan
LanguageEnglish
BindingPaperback
Number of Pages68
Publishing Year10/18/2012
ISBN978-3659252990
Edition1 st
Book TypeComputing & information technology
Country of ManufactureIndia
Product BrandLAP LAMBERT Academic Publishing
Product Packaging InfoBox
In The Box1 Piece
Product First Available On ClickOnCare.com2015-07-27 00:00:00
0 Review(s)