Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings (Lecture Notes in Computer Science, 6919)

This book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in Aalborg, Denmark, in September 2011. The 20 revised full papers presented together with three invited talks were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on probabilistic methods, robustness, games, verification and testing, verification, hybrid systems, and applications. Front Matter....Pages - Performance Evaluation of Schedulers in a Probabilistic Setting....Pages 1-17 Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull?....Pages 18-24 Interfaces for Control Components....Pages 25-25 Time-Bounded Verification of CTMCs against Real-Time Specifications....Pages 26-42 Performance Model Checking Scenario-Aware Dataflow....Pages 43-59 Probabilistic Real-Time Rewrite Theories and Their Expressive Power....Pages 60-79 Statistical Model Checking for Networks of Priced Timed Automata....Pages 80-96 Robust Model-Checking of Timed Automata via Pumping in Channel Machines....Pages 97-112 Thin and Thick Timed Regular Languages....Pages 113-128 Robust Specification of Real Time Components....Pages 129-144 Minimum Attention Controller Synthesis for Omega-Regular Objectives....Pages 145-159 Crossing the Bridge between Similar Games....Pages 160-176 Exact Incremental Analysis of Timed Automata with an SMT-Solver....Pages 177-192 Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems....Pages 193-208 Event Clock Automata: From Theory to Practice....Pages 209-224 On Construction of Safety Signal Automata for $MITL[\:\mathcal{U},\:\mathcal{S}]$ Using Temporal Projections....Pages 225-239 Craig Interpolation in the Presence of Non-linear Constraints....Pages 240-255 On the Verification of Timed Ad Hoc Networks....Pages 256-270 Incremental Computation of Succinct Abstractions for Hybrid Systems....Pages 271-285 Composing Stability Proofs for Hybrid Systems....Pages 286-300 Rigorous Discretization of Hybrid Systems Using Process Calculi....Pages 301-316 Model-Based Dependability Analysis of Programmable Drug Infusion Pumps....Pages 317-334 A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface....Pages 335-351 Back Matter....Pages -