product iamge

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

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).

Author(s): Nikolaj Bjørner, Leonardo de Moura (auth.), Joël Ouaknine, Frits W. Vaandrager (eds.)
Series: Lecture Notes in Computer Science 5813 : Theoretical Computer Science and General Issues
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2009

Language: English
Pages: 291
Tags: Logics and Meanings of Programs; Theory of Computation; Models and Principles; Symbolic and Algebraic Manipulation; Programming Languages, Compilers, Interpreters; Software Engineering

Front Matter....Pages -
Tapas: T heory Combin a tions and P ractical A pplication s ....Pages 1-6
Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games....Pages 7-11
Approximations of Discrete, Continuous, and Hybrid Systems....Pages 12-12
Volume and Entropy of Regular Timed Languages: Analytic Approach....Pages 13-27
Synthesis of Non-Interferent Timed Systems....Pages 28-42
Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net....Pages 43-57
Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis....Pages 58-72
Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation....Pages 73-87
Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata....Pages 88-102
Safe Runtime Verification of Real-Time Properties....Pages 103-117
Removing All Silent Transitions from Timed Automata....Pages 118-132
Realizability of Real-Time Logics....Pages 133-148
Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata....Pages 149-163
Analyzing Real-Time Event-Driven Programs....Pages 164-178
A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata....Pages 179-194
Compositional Abstraction for Stochastic Systems....Pages 195-211
Stochastic Games for Verification of Probabilistic Timed Automata....Pages 212-227
Checking Timed Büchi Automata Emptiness Using LU-Abstractions....Pages 228-242
On the Supports of Recognizable Timed Series....Pages 243-257
Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction....Pages 258-274
Exploiting Timed Automata for Conformance Testing of Power Measurements....Pages 275-290
Back Matter....Pages -