Book details

Book description

This practical guide arms scientists, researchers, and industrial engineers with state-of-the-art verification techniques for real time embedded systems based on the inverse method for parametric timed automata. The authors begin with an introduction to the inverse method, demonstrating how to use it to guarantee robustness in real-time systems. They then go on to propose different extensions, in particular to the probabilistic and hybrid cases. A variety of real-world applications and examples from industry and the literature further illustrate the techniques described the book.