Formal Modeling and Analysis of Timed Systems

1. Front Matter

   PDF

2. Tapas: Theory Combinations and Practical Applications

   • Nikolaj Bjørner, Leonardo de Moura

   Pages 1-6

3. Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games

   • Stéphane Gaubert

   Pages 7-11

4. Approximations of Discrete, Continuous, and Hybrid Systems

   • George J. Pappas

   Pages 12-12

5. Volume and Entropy of Regular Timed Languages: Analytic Approach

   • Eugene Asarin, Aldric Degorre

   Pages 13-27

6. Synthesis of Non-Interferent Timed Systems

   • Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux

   Pages 28-42

7. Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net

   • Anne Bouillard, Stefan Haar, Sidney Rosario

   Pages 43-57

8. Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis

   • Víctor Braberman, Diego Garbervestky, Nicolás Kicillof, Daniel Monteverde, Alfredo Olivero

   Pages 58-72

9. Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation

   • Peter Bulychev, Thomas Chatain, Alexandre David, Kim G. Larsen

   Pages 73-87

10. Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata

    • Ashish Chiplunkar, Shankara Narayanan Krishna, Chinmay Jain

    Pages 88-102

11. Safe Runtime Verification of Real-Time Properties

    • Christian Colombo, Gordon J. Pace, Gerardo Schneider

    Pages 103-117

12. Removing All Silent Transitions from Timed Automata

    • Cătălin Dima, Ruggero Lanotte

    Pages 118-132

13. Realizability of Real-Time Logics

    • Laurent Doyen, Gilles Geeraerts, Jean-Francois Raskin, Julien Reichert

    Pages 133-148

14. Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata

    • Martin Fränzle, Mani Swaminathan

    Pages 149-163

15. Analyzing Real-Time Event-Driven Programs

    • Pierre Ganty, Rupak Majumdar

    Pages 164-178

16. A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata

    • Rodolfo Gómez

    Pages 179-194

17. Compositional Abstraction for Stochastic Systems

    • Joost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer

    Pages 195-211

18. Stochastic Games for Verification of Probabilistic Timed Automata

    • Marta Kwiatkowska, Gethin Norman, David Parker

    Pages 212-227

19. Checking Timed Büchi Automata Emptiness Using LU-Abstractions

    • Guangyuan Li

    Pages 228-242

20. On the Supports of Recognizable Timed Series

    • Karin Quaas

    Pages 243-257

This book constitutes the refereed proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2009, held in Budapest, Hungary, September 2009. The 18 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 40 submissions. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in the modelling and analysis of timed systems.Typical topics include (but are not limited to): – Foundations and Semantics. Theoretical foundations of timed systems and languages; comparison between different models (timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models). – Methods and Tools. Techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints (scheduling, worst-case execution time analysis, optimization, model checking, testing, constraint solving, etc.). – Applications. Adaptation and specialization of timing technology in application domains in which timing plays an important role (real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication).

• Ada
• Analysis
• Constraint
• Scheduling
• Turing
• algorithms
• data structures
• modeling
• testing

• Computing Laboratory, Oxford University, Oxford, UK

  Joël Ouaknine

• Institute for Computing and Information Sciences , Radboud University Nijmegen , Nijmegen, The Netherlands

  Frits W. Vaandrager

Policies and ethics