Advertisement

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

  • Werner Damm
  • Ernst -Rüdiger Olderog
Conference proceedings FTRTFT 2002

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Invited Tutorials

    1. Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim G. Larsen, Paul Pettersson, Wang Yi
      Pages 3-22
    2. John McDermid
      Pages 23-34
  3. Invited Papers

  4. Synthesis and Scheduling

    1. Arshad Jhumka, Martin Hiller, Neeraj Suri
      Pages 111-128
    2. Christophe Lohr, Jean-Pierre Courtiat
      Pages 129-145
    3. Oded Maler, Bruce H. Krogh, Moez Mahfoudh
      Pages 147-162
  5. Timed Automata I

    1. Mitsuharu Yamamoto, Jean-Marie Cottin, Masami Hagiya
      Pages 165-183
    2. Ana Fernández Vilas, José J. Pazos Arias, Rebeca P. Díaz Redondo
      Pages 185-204
    3. Stavros Tripakis
      Pages 205-221
  6. Bounded Model Checking

    1. Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain
      Pages 225-243
    2. Wojciech Penczek, Bożena Woźna, Andrzej Zbrzezny
      Pages 265-288
  7. Verification and Conformance Testing

    1. Jens Palsberg, Di Ma
      Pages 291-310
    2. Ahmed Bouajjani, Agathe Merceron
      Pages 311-330
  8. UML Models and Model Checking

    1. David N. Jansen, Holger Hermanns, Joost-Pieter Katoen
      Pages 355-374
    2. Werner Damm, Bengt Jonsson
      Pages 375-393
    3. Alexander Knapp, Stephan Merz, Christopher Rauh
      Pages 395-414
  9. Timed Automata II

    1. Jianhua Zhao, He Xu, Xuandong Li, 1Tao Zheng, Guoliang Zheng
      Pages 417-432
    2. Henning Dierks, Marc Lettrari
      Pages 433-453
  10. Back Matter
    Pages 455-455

About these proceedings

Introduction

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.

Keywords

Erfüllbarkeitsproblem der Aussagenlogik Interrupt Scheduling algorithms architecture automata formal verification logic operating system

Editors and affiliations

  • Werner Damm
    • 1
  • Ernst -Rüdiger Olderog
    • 1
  1. 1.Fachbereich InformatikUniversität OldenburgOldenburgGermany

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45739-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-44165-6
  • Online ISBN 978-3-540-45739-8
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace
Engineering