Skip to main content
SpringerLink
Log in

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

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. Werner Damm

    1. Fachbereich Informatik, Universität Oldenburg, Oldenburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ernst -Rüdiger Olderog

    1. Fachbereich Informatik, Universität Oldenburg, Oldenburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: FTRTFT 2002.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (25 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Invited Tutorials

    1. UppaaL Implementation Secrets

      • Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim G. Larsen, Paul Pettersson, Wang Yi
      Pages 3-22

    2. Software Hazard and Safety Analysis

      • John McDermid
      Pages 23-34

  3. Invited Papers

    1. Real-Time Operating Systems: Problems and Novel Solutions

      • Giorgio Buttazzo
      Pages 37-51

    2. Real-Time UML

      • Bruce Powel Douglass
      Pages 53-70

    3. Eager Class Initialization for Java

      • Dexter Kozen, Matt Stillerman
      Pages 71-80

    4. Applications of Formal Methods in Biology

      • Amir Pnueli
      Pages 81-81

    5. An Overview of Formal Verification for the Time-Triggered Architecture

      • John Rushby
      Pages 83-105

    6. Scheduler Modeling Based on the Controller Synthesis Paradigm

      • Joseph Sifakis
      Pages 107-107

  4. Synthesis and Scheduling

    1. Component-Based Synthesis of Dependable Embedded Software

      • Arshad Jhumka, Martin Hiller, Neeraj Suri
      Pages 111-128

    2. From the Specification to the Scheduling of Time-Dependent Systems

      • Christophe Lohr, Jean-Pierre Courtiat
      Pages 129-145

    3. On Control with Bounded Computational Resources

      • Oded Maler, Bruce H. Krogh, Moez Mahfoudh
      Pages 147-162

  5. Timed Automata I

    1. Decidability of Safety Properties of Timed Multiset Rewriting

      • Mitsuharu Yamamoto, Jean-Marie Cottin, Masami Hagiya
      Pages 165-183

    2. Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning

      • Ana Fernández Vilas, José J. Pazos Arias, Rebeca P. Díaz Redondo
      Pages 185-204

    3. Fault Diagnosis for Timed Automata

      • Stavros Tripakis
      Pages 205-221

  6. Bounded Model Checking

    1. Verification of Timed Automata via Satisfiability Checking

      • Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain
      Pages 225-243

    2. Take It NP-Easy: Bounded Model Construction for Duration Calculus

      • Martin Fränzle
      Pages 245-264

    3. Towards Bounded Model Checking for the Universal Fragment of TCTL

      • Wojciech Penczek, Bożena Woźna, Andrzej Zbrzezny
      Pages 265-288

  7. Verification and Conformance Testing

    1. A Typed Interrupt Calculus

      • Jens Palsberg, Di Ma
      Pages 291-310

    2. Parametric Verification of a Group Membership Algorithm

      • Ahmed Bouajjani, Agathe Merceron
      Pages 311-330
Back to top

Other volumes

  1. Formal Techniques in Real-Time and Fault-Tolerant Systems

Keywords

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.

Editors and Affiliations

  • Fachbereich Informatik, Universität Oldenburg, Oldenburg, Germany

    Werner Damm, Ernst -Rüdiger Olderog

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation