Skip to main content
SpringerLink
Log in
Book cover

Formal Techniques in Real-Time and Fault-Tolerant Systems

Proceedings of a Symposium, Warwick, UK, September 22-23, 1988

  • Conference proceedings
  • © 1988

Overview

Editors:
  1. M. Joseph
    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 331)

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

  1. Front Matter

    Download chapter PDF

  2. High integrity computing

    • WJ Cullyer
    Pages 1-35

  3. Using higher-order logic for modular specification of real-time distributed systems

    • Glenn H. MacEwen, David B. Skillicorn
    Pages 36-66

  4. Timed specifications for the development of real-time systems

    • Jacques Jaray
    Pages 67-83

  5. Applications of temporal logic to the specification of real time systems

    • Amir Pnueli, Eyal Harel
    Pages 84-98

  6. From a synchronous declarative language to a temporal logic dealing with multiform time

    • Daniel Pilaud, Nicolas Halbwachs
    Pages 99-110

  7. A specification language for reliable real-time systems

    • Hanno Wupper, Jan Vytopil
    Pages 111-127

  8. Timed acceptances: A model of time dependent processes

    • Insup Lee, Amy Zwarico
    Pages 128-130

  9. Responsive sequential processes

    • Neelam Soundararajan, Roger L. Costello
    Pages 131-133

  10. Static analysis of real-time distributed systems

    • Leo YuHsiang Liu, R. K. Shyamasundar
    Pages 134-138

  11. Low level synchronisation problems in digital systems

    • J. A. McDermid, G. Morgan
    Pages 139-141

  12. Reasoning about uncertainty in fault-tolerant distributed systems

    • Michael J. Fischer, Lenore D. Zuck
    Pages 142-158

  13. Paradigms for real-time systems

    • Ron Koymans, Ruurd Kuiper, Erik Zijlstra
    Pages 159-174

  14. Towards a theory of replicated processing

    • Luigi V. Mancini, Giuseppe Pappalardo
    Pages 175-192

  15. Reasoning about atomic objects

    • Maurice P. Herlihy, Jeannette M. Wing
    Pages 193-208

  16. A formal treatment of interference in remote procedure calls

    • Giuseppe Pappalardo, Santosh K. Shrivastava
    Pages 209-227

  17. List of authors and addresses

    Pages 228-229
Back to top

Keywords

About this book

This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems. Important notions of time, synchrony, redundancy and replication are examined using assertional reasoning, temporal logic and the logics of knowledge. The volume will be invaluable to researchers in formal modeling of concurrency, real-time and fault-tolerance, and to software engineers in safety-critical applications.

Bibliographic Information

  • Book Title: Formal Techniques in Real-Time and Fault-Tolerant Systems

  • Book Subtitle: Proceedings of a Symposium, Warwick, UK, September 22-23, 1988

  • Editors: M. Joseph

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-50302-1

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1988

  • Softcover ISBN: 978-3-540-50302-6Published: 14 September 1988

  • eBook ISBN: 978-3-540-45965-1Published: 29 June 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 232

  • Topics: Special Purpose and Application-Based Systems

Publish with us

Policies and ethics

Back to top

Search

Navigation