The Inverse Method

Released on by Etienne André
preview-18

  • The Inverse Method Book Detail

  • Author : Etienne André
  • Release Date : 2013-02-20
  • Publisher : John Wiley & Sons
  • Genre : Technology & Engineering
  • Pages : 170
  • ISBN 13 : 1118569784
  • File Size : 55,55 MB
DOWNLOAD BOOK

The Inverse Method by Etienne André PDF Summary

Book Description: This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and verification of timed concurrent systems and, in particular, timed automata as well as several extensions such as timed automata equipped with stopwatches, linear hybrid automata and affine hybrid automata. The inverse method is introduced, and its benefits for guaranteeing robustness in real-time systems are shown. Then, it is shown how an iteration of the inverse method can solve the good parameters problem for parametric timed automata by computing a behavioral cartography of the system. Different extensions are proposed particularly for hybrid systems and applications to scheduling problems using timed automata with stopwatches. Various examples, both from the literature and industry, illustrate the techniques throughout the book. Various parametric verifications are performed, in particular of abstractions of a memory circuit sold by the chipset manufacturer ST-Microelectronics, as well as of the prospective flight control system of the next generation of spacecraft designed by ASTRIUM Space Transportation. Contents: 1. Parametric Timed Automata. 2. The Inverse Method for Parametric Timed Automata. 3. The Inverse Method in Practice: Application to Case Studies. 4. Behavioral Cartography of Timed Automata. 5. Parameter Synthesis for Hybrid Automata. 6. Application to the Robustness Analysis of Scheduling Problems. 7. Conclusion and Perspectives. About the Authors Étienne André is Associate Professor in the Laboratoire d’Informatique de Paris Nord, in the University of Paris 13 (Sorbonne Paris Cité) in France. His current research interests focus on the verification of real-time systems. Romain Soulat is currently completing his PhD at the LSV laboratory at ENS-Cachan in France, focusing on the modeling and verification of hybrid temporal systems.

Disclaimer: www.yourbookbest.com does not own The Inverse Method books pdf, neither created or scanned. We just provide the link that is already available on the internet, public domain and in Google Drive. If any way it violates the law or has any issues, then kindly mail us via contact us page to request the removal of the link.

The Inverse Method

The Inverse Method

File Size : 72,72 MB
Total View : 4575 Views
DOWNLOAD

This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It revi

Computational Logic — CL 2000

Computational Logic — CL 2000

File Size : 94,94 MB
Total View : 6345 Views
DOWNLOAD

These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th

Reachability Problems

Reachability Problems

File Size : 49,49 MB
Total View : 4086 Views
DOWNLOAD

Annotation. This book constitutes the research papers presented at the 4th International Workshop, RP 2010 held in Brno, Czech Republic, August 28-29, 2010 and

Cyber Physical Systems. Model-Based Design

Cyber Physical Systems. Model-Based Design

File Size : 56,56 MB
Total View : 3697 Views
DOWNLOAD

This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Works