Shopping Cart
0 Item in Cart
Inverse Method/Parametric Verification Of Real-Time Unbedded Systems

Inverse Method/Parametric Verification Of Real-Time Unbedded Systems
Books from same Author: André
Books from same Publisher: John Wiley

(80 Ratings)

Retail Price: 7223.00/-
Price: 6285.00/-
Inclusive all taxes
13.00% OFF
Sold By: Machwan

Offer 1: Get 13.00% + Flat ₹ 50 discount on shopping of ₹ 1000
                use code:

Offer 2: Get 13.00% + Flat ₹ 100 discount on shopping of
                ₹ 1500 use code:

Offer 3: Get 13.00% + Flat ₹ 300 discount on shopping of
                ₹ 5000 use code:

Free Shipping (for orders above ₹ 499)  *T&C apply.

Only 3 Left In Stock Click For New Edition
Select Quantity :

International Shipping Click for International Order

This book introduces state–of–the–art verification techniquesfor real–time embedded systems, based on the inverse method forparametric timed automata. It reviews popular formalisms for thespecification and verification of timed concurrent systems and, inparticular, timed automata as well as several extensions such astimed automata equipped with stopwatches, linear hybrid automataand affine hybrid automata. The inverse method is introduced, and its benefits for guaranteeingrobustness in real–time systems are shown. Then, it is shown how aniteration of the inverse method can solve the good parametersproblem for parametric timed automata by computing a behavioralcartography of the system. Different extensions are proposedparticularly for hybrid systems and applications to schedulingproblems using timed automata with stopwatches. Various examples,both from the literature and industry, illustrate the techniquesthroughout the book. Various parametric verifications are performed, in particular ofabstractions of a memory circuit sold by the chipset manufacturerST–Microelectronics, as well as of the prospective flight controlsystem of the next generation of spacecraft designed by ASTRIUMSpace Transportation.

More Details About Inverse Method/Parametric Verification Of Real-Time Unbedded Systems
Each book uploaded on our portal passes through rigorous Anti-Piracy check to ensure the book is genuine. We have teams deployed for checking the quality at multiple levels.
Team 1 : Before uploading a book we ensure each book is coming through an approved source.
Team 2 : Before an order goes for packing we checks the authenticity of the procuring source. Then only we process the order.
General Information
PublisherJohn Wiley
Publish YearJanuary 2013
Reviews of Inverse Method/Parametric Verification Of Real-Time Unbedded Systems
Average Rating

Write A Review


Top Reviews lists the most relevant product reviews only.