Formal Modeling and Analysis of Timed Systems

6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

  • Editors
  • Franck Cassez
  • Claude Jard
Conference proceedings FORMATS 2008

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5215)

Table of contents

  1. Front Matter
    PDF

  2. Invited Talks

    1. Some Recent Results in Metric Temporal Logic
      Joël Ouaknine, James Worrell
      Pages 1-13
    2. Composing Web Services in an Open World: Issues of Quality of Service
      Albert Benveniste
      Pages 14-14
    3. Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
      Jiří Srba
      Pages 15-32

  3. Session 1. Extensions of Timed Automata and Semantics

    1. Infinite Runs in Weighted Timed Automata with Energy Constraints
      Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Jiří Srba
      Pages 33-47
    2. Concavely-Priced Timed Automata
      Marcin Jurdziński, Ashutosh Trivedi
      Pages 48-62
    3. Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets
      Patricia Bouyer, Thomas Brihaye, Marcin Jurdziński, Ranko Lazić, Michał Rutkowski
      Pages 63-77
    4. Timed Automata with Integer Resets: Language Inclusion and Expressiveness
      P. Vijay Suman, Paritosh K. Pandya, Shankara Narayanan Krishna, Lakshmi Manasa
      Pages 78-92

  4. Session 2. Timed Games and Logic

    1. Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities
      Alexander Rabinovich
      Pages 93-108
    2. MTL with Bounded Variability: Decidability and Complexity
      Carlo A. Furia, Matteo Rossi
      Pages 109-123
    3. Timed Parity Games: Complexity and Robustness
      Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu
      Pages 124-140
    4. On Scheduling Policies for Streams of Structured Jobs
      Aldric Degorre, Oded Maler
      Pages 141-154

  5. Session 3. Case Studies

    1. A Framework for Distributing Real-Time Functions
      Frédéric Boniol, Pierre-Emmanuel Hladik, Claire Pagetti, Frédéric Aspro, Victor Jégu
      Pages 155-169
    2. Formal Modeling and Scheduling of Datapaths of Digital Document Printers
      Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan Basten, Marc Geilen, Frits Vaandrager et al.
      Pages 170-187

  6. Session 4. Model-Checking of Probabilistic Systems

    1. A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks
      Anne Remke, Boudewijn R. Haverkort
      Pages 188-202
    2. Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains
      Joost-Pieter Katoen, Alexandru Mereacre
      Pages 203-217

  7. Session 5. Verification and Test

    1. Convergence Verification: From Shared Memory to Partially Synchronous Systems
      K. Mani Chandy, Sayan Mitra, Concetta Pilotto
      Pages 218-232
    2. Compositional Abstraction in Real-Time Model Checking
      Jasper Berendsen, Frits Vaandrager
      Pages 233-249
    3. On Conformance Testing for Timed Systems
      Julien Schmaltz, Jan Tretmans
      Pages 250-264

  8. Session 6. Time Petri Nets

    1. Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs
      Hanifa Boucheneb, Kamel Barkaoui
      Pages 265-279

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008.

The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets.

Keywords

Qos distributed systems embedded systems formal analysis formal methods formal modeling formal verification iterative system tuning logical constraints model checking modeling refinement simulation statistical formal verification

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-85778-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-85777-8
  • Online ISBN 978-3-540-85778-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book