O'Reilly logo

The Inverse Method: Parametric Verification of Real-time Embedded Systems by Romain Soulat, Etienne André

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Contents

Preface

Acknowledgments

Introduction

I.1. Motivation

I.2. The good parameters problem

I.3. Content and organization of the book

Chapter 1. Parametric Timed Automata

1.1. Constraints on clocks and parameters

1.2. Labeled transition systems

1.3. Timed automata

1.4. Parametric timed automata

1.5. Related work

Chapter 2. The Inverse Method for Parametric Timed Automata

2.1. The inverse problem

2.2. The inverse method algorithm

2.3. Variants of the inverse method

2.4. Related work

Chapter 3. The Inverse Method in Practice: Application to Case Studies

3.1. IMITATOR

3.2. Flip-flop

3.3. SR-Latch

3.4. AND–OR

3.5. IEEE 1394 Root Contention Protocol

3.6. Bounded Retransmission Protocol

3.7. CSMA/CD protocol

3.8. The SPSMALL memory

3.9. Networked automation system

3.10. Tools related to IMITATOR

Chapter 4. Behavioral Cartography of Timed Automata

4.1. The behavioral cartography algorithm

4.2. Properties

4.3. Case studies

4.4. Related work

Chapter 5. Parameter Synthesis for Hybrid Automata

5.1. Hybrid automata with parameters

5.2. Algorithms for hybrid automata

5.3. Implementation

5.4. Discussion

5.5. Related work

Chapter 6. Application to the Robustness Analysis of Scheduling Problems

6.1. Preliminaries

6.2. Scheduling analysis using the inverse method

6.3. Application to scheduling problems

6.4. Discussion

6.5. Related work

Chapter 7. Conclusion and Perspectives

7.1. Trace-based inverse method and partial orders

7.2. Preservation of temporal logics

7.3. Application to other formalisms ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required