View expanded cover

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

Editors:

(view affiliations)

Marco Bernardo,
Flavio Corradini

Includes supplementary material: sn.pub/extras

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

8652 Accesses
810 Citations
3 Altmetric

Conference proceedings info: SFM-RT 2004.

Sections

Table of contents
Editors and Affiliations
Bibliographic Information

eBook: USD 49.99; Price excludes VAT (USA)

Softcover Book: USD 64.99; Price excludes VAT (USA)

Learn about institutional subscriptions

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

Table of contents (9 chapters)

Front Matter

PDF
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. Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing)
  
  J. C. M. Baeten, M. A. Reniers
  
  Pages 59-97
4. Expressiveness of Timed Events and Timed Languages
  
  Diletta R. Cacciagrano, Flavio Corradini
  
  Pages 98-131
5. Real Time and Stochastic Time
  
  Mario Bravetti
  
  Pages 132-180
6. On the Semantic Foundations of Standard UML 2.0
  
  Bran V. Selic
  
  Pages 181-199
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
Back Matter

PDF

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

Book Title: Formal Methods for the Design of Real-Time Systems
Book Subtitle: 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
Editors: Marco Bernardo, Flavio Corradini
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/b110123
Publisher: Springer Berlin, Heidelberg
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2004
Softcover ISBN: 978-3-540-23068-7
eBook ISBN: 978-3-540-30080-9
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VII, 297
Topics: Theory of Computation, Software Engineering, Compilers and Interpreters, Computer Science Logic and Foundations of Programming, Special Purpose and Application-Based Systems, Computer Communication Networks

Access via your institution

eBook: USD 49.99; Price excludes VAT (USA)

Softcover Book: USD 64.99; Price excludes VAT (USA)

Learn about institutional subscriptions