The inverse method : parametric verification of real-time embedded systems /

• Main Author: André, Etienne
• Other Authors: Soulat, Romain
• Format: eBook
• Language: English
• Published: London : ISTE ; 2013.; Hoboken, N.J. : Wiley, 2013.
• Series: Focus series in computer engineering and IT.
• Subjects: Embedded computer systems.; Computer systems > Verification.; COMPUTERS > General.; Computer systems / Verification.; Electronic books.

Table of Contents:

• Parametric timed automata
• The inverse method for parametric timed automata
• The inverse method in practice: application to case studies
• Behavioral cartography of timed automata
• Parameter synthesis for hybrid automata
• Application to the robustness analysis of scheduling problems
• Conclusion and perspectives
• Bibliography
• Index.