Get 40% off select print & eBooks in Engineering & Materials or 50% off eBooks in Medicine & Psychology!

Lecture Notes in Computer Science

Formal Techniques in Real-Time and Fault-Tolerant Systems

7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings

Editors: Damm, Werner, Olderog, Ernst-Rüdiger (Eds.)

Free Preview

Buy this book

eBook $99.00
price for USA in USD (gross)
  • ISBN 978-3-540-45739-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
  • ISBN 978-3-540-44165-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at the University of Oldenburg, Germany, 9–12 September 2002. This sym- sium was the seventh in a series of FTRTFT symposia devoted to problems and solutions in safe system design. The previous symposia took place in Warwick 1990, Nijmegen 1992, Lub ¨ eck 1994, Uppsala 1996, Lyngby 1998, and Pune 2000. Proceedings of these symposia were published as volumes 331, 571, 863, 1135, 1486, and 1926 in the LNCS series by Springer-Verlag. This year the sym- sium was co-sponsored by IFIP Working Group 2.2 on Formal Description of Programming Concepts. The symposium presented advances in the development and use of formal techniques in the design of real-time, hybrid, fault-tolerant embedded systems, covering all stages from requirements analysis to hardware and/or software - plementation. Particular emphasis was placed on UML-based development of real-time systems. Through invited presentations, links between the dependable systems and formal methods research communities were strengthened. With the increasing use of such formal techniques in industrial settings, the conference aimed at stimulating cross-fertilization between challenges in industrial usages of formal methods and advanced research. Inresponsetothecallforpapers,39submissionswerereceived.Eachsubm- sion was reviewed by four program committee members assisted by additional referees. At the end of the reviewing process, the program committee accepted 17 papers for presentation at the symposium.

Table of contents (25 chapters)

Table of contents (25 chapters)
  • UppaaL Implementation Secrets

    Pages 3-22

    Behrmann, Gerd (et al.)

  • Software Hazard and Safety Analysis

    Pages 23-34

    McDermid, John

  • Real-Time Operating Systems: Problems and Novel Solutions

    Pages 37-51

    Buttazzo, Giorgio

  • Real-Time UML

    Pages 53-70

    Douglass, Bruce Powel

  • Eager Class Initialization for Java

    Pages 71-80

    Kozen, Dexter (et al.)

Buy this book

eBook $99.00
price for USA in USD (gross)
  • ISBN 978-3-540-45739-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
  • ISBN 978-3-540-44165-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Techniques in Real-Time and Fault-Tolerant Systems
Book Subtitle
7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings
Editors
  • Werner Damm
  • Ernst-Rüdiger Olderog
Series Title
Lecture Notes in Computer Science
Series Volume
2469
Copyright
2002
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-45739-8
DOI
10.1007/3-540-45739-9
Softcover ISBN
978-3-540-44165-6
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 462
Topics