Skip to main content
  • Textbook
  • © 2004

Formal Methods for the Design of Real-Time Systems

International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures

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

Conference series link(s): SFM-RT: Formal Methods for the Design of Real-Time Systems

Conference proceedings info: SFM-RT 2004.

Buying options

eBook USD 49.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-30080-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 64.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (9 chapters)

  1. Front Matter

  2. Models and Languages

    1. Decision Problems for Timed Automata: A Survey

      • Rajeev Alur, P. Madhusudan
      Pages 1-24
    2. Timed Petri Nets: Efficiency of Asynchronous Systems

      • Elmar Bihler, Walter Vogler
      Pages 25-58
    3. Expressiveness of Timed Events and Timed Languages

      • Diletta R. Cacciagrano, Flavio Corradini
      Pages 98-131
    4. Real Time and Stochastic Time

      • Mario Bravetti
      Pages 132-180
  3. Tools and Applications

    1. A Tutorial on Uppaal

      • Gerd Behrmann, Alexandre David, Kim G. Larsen
      Pages 200-236
    2. The IF Toolset

      • Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis
      Pages 237-267
    3. Embedded Software Analysis with MOTOR

      • Joost-Pieter Katoen, Henrik Bohnenkamp, Ric Klaren, Holger Hermanns
      Pages 268-293
  4. Back Matter

Keywords

  • Petri-ne
  • Unified Modeling Language (UML)
  • automata
  • communication systems design
  • formal method
  • formal methods
  • formal specification
  • hardware design
  • modeling
  • petri net
  • real-time systems
  • systems design
  • systems development
  • systems modeling
  • verification

Editors and Affiliations

  • Istituto di Scienze e Tecnologie dell’Informazione, Università di Urbino “Carlo Bo”, Italy

    Marco Bernardo

  • Dipartimento di Matematica ed Informatica, University of Camerino, Camerino, Italy

    Flavio Corradini

Bibliographic Information

Buying options

eBook USD 49.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-30080-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 64.99
Price excludes VAT (USA)