Skip to main content
SpringerLink
Log in
Book cover

Formal Techniques in Real-Time and Fault-Tolerant Systems

6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings

  • Conference proceedings
  • © 2000

Overview

Editors:
  1. Mathai Joseph

    1. Tata Research Development and Design Centre, Pune, India

    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 1926)

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 (24 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Invited Lectures

    1. Stability of Discrete Sampled Systems

      • N. Halbwachs, J. -F. Héry, J. -C. Laleuf, X. Nicollin
      Pages 1-11

    2. Issues in the Refinement of Distributed Programs

      • Yoram Moses
      Pages 12-17

    3. Challenges in the Verification of Electronic Control Units

      • Werner Damm
      Pages 18-18

  3. Model Checking

    1. Scaling up Uppaal

      • Henrik Ejersbo Jensen, Kim Guldstrand Larsen, Arne Skou
      Pages 19-30

    2. Decidable Model Checking of Probabilistic Hybrid Automata

      • Jeremy Sproston
      Pages 31-45

  4. Fault Tolerance

    1. Invariant-Based Synthesis of Fault-Tolerant Systems

      • K. Lano, David Clark, K. Androutsopoulos, P. Kan
      Pages 46-57

    2. Modeling Faults of Distributed, Reactive Systems

      • Max Breitling
      Pages 58-69

    3. Threshold and Bounded-Delay Voting in Critical Control Systems

      • Paul Caspi, Rym Salem
      Pages 70-81

    4. Automating the Addition of Fault-Tolerance

      • Sandeep S. Kulkarni, Anish Arora
      Pages 82-93

    5. Reliability Modelling of Time-Critical Distributed Systems

      • Hans Hansson, Christer Norström, Sasikumar Punnekkat
      Pages 94-105

  5. Scheduling

    1. A Methodology for the Construction of Scheduled Systems

      • K. Altisen, G. Gößler, J. Sifakis
      Pages 106-120

    2. A Dual Interpretation of “Standard Constraints” in Parametric Scheduling

      • K. Subramani, Ashok Agrawala
      Pages 121-133

  6. Validation

    1. Co-Simulation of Hybrid Systems: Signal-Simulink

      • Stéphane Tudoret, Simin Nadjm-Tehrani, Albert Benveniste, Jan-Erik Strömberg
      Pages 134-151

    2. A System for Object Code Validation

      • A. K. Bhattacharjee, Gopa Sen, S. D. Dhodapkar, K. Karunakar, Basant Rajan, R. K. Shyamasundar
      Pages 152-169

  7. Refinement

    1. Real-Time Program Refinement Using Auxiliary Variables

      • Ian Hayes
      Pages 170-184

    2. On Refinement and Temporal Annotations

      • Ron van der Meyden, Yoram Moses
      Pages 185-202

    3. Generalizing Action Systems to Hybrid Systems

      • R. -J. Back, L. Petre, I. Porres
      Pages 202-213

  8. Verification

    1. Compositional Verification of Synchronous Networks

      • Leszek Holenderski
      Pages 214-227

    2. Modelling Coordinated Atomic Actions in Timed CSP

      • Simeon Veloudis, Nimal Nissanke
      Pages 228-239
Back to top

Keywords

Editors and Affiliations

  • Tata Research Development and Design Centre, Pune, India

    Mathai Joseph

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation