Skip to main content
SpringerLink
Log in
Book cover

Formal Techniques in Real-Time and Fault-Tolerant Systems

5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings

  • Conference proceedings
  • © 1998

Overview

Editors:
  1. Anders P. Ravn
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Hans Rischel
    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 1486)

Included in the following conference series:

Conference proceedings info: FTRTFT 1998.

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

Access this book

Log in via an institution
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 (31 papers)

  1. Front Matter

    Download chapter PDF

  2. Challenges in the utilization of formal methods

    • John C. Knight
    Pages 1-17

  3. On the need for practical formal methods

    • Constance Heitmeyer
    Pages 18-26

  4. A general framework for the composition of timed systems

    • Joseph Sifakis
    Pages 27-28

  5. Operational and logical semantics for polling real-time systems

    • Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits Vaandrager
    Pages 29-40

  6. A finite-domain semantics for testing temporal logic specifications

    • Alberto Coen-Porisini, Matteo Pradella, Pierluigi San Pietro
    Pages 41-54

  7. Duration Calculus of Weakly Monotonic Time

    • Paritosh K. Pandya, Dang Van Hung
    Pages 55-64

  8. Reuse in requirements engineering: Discovery and application of a real-time requirement pattern

    • R. Gotzhein, M. Kronenburg, C. Peper
    Pages 65-74

  9. A modular visual model for hybrid systems

    • Radu Grosu, Thomas Stauner, Manfred Broy
    Pages 75-91

  10. Integrating real-time structured design and formal techniques

    • D. Priddin, A. Burns
    Pages 92-102

  11. Duration Calculus in the specification of safety requirements

    • Veloudis S., Nissanke N.
    Pages 103-112

  12. Automated stream-based analysis of fault-tolerance

    • Scott D. Stoller, Fred B. Schneider
    Pages 113-122

  13. Designing a provably correct robt control system using a ‘lean’ formal method

    • Antonio Cau, Chris Czarnecki, Hussein Zedan
    Pages 123-132

  14. Static analysis to identify invariants in RSML specifications

    • David Y. W. Park, Jens U. SkakkebÆk, David L. Dill
    Pages 133-142

  15. Partition refinement in real-time model checking

    • Ronald Lutje Spelberg, Hans Toetenel, Marcel Ammerlaan
    Pages 143-157

  16. Formal verification of stabilizing systems

    • M. Siegel
    Pages 158-172

  17. Synchronizing clocked transition systems

    • Mannes Poel, Job Zwiers
    Pages 173-185

  18. Some decidability results for duration calculus under synchronous interpretation

    • Manoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya
    Pages 186-197

  19. Fair synchronous transition systems and their liveness proofs

    • A. Pnueli, N. Shankar, E. Singerman
    Pages 198-209

  20. Dynamical properties of timed automata

    • Anuj Puri
    Pages 210-227
Back to top

Other volumes

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

Keywords

About this book

This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998.
The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation