Skip to main content
SpringerLink
Log in
Book cover

Introduction to the Formal Design of Real-Time Systems

  • Textbook
  • © 1999

Overview

Authors:
  1. David Gray
    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Applied Computing (APPLCOMP)

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 (8 chapters)

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. Scene Set

    • David Gray
    Pages 1-46

  3. Concurrency and Communication

    • David Gray
    Pages 47-111

  4. Message Passing

    • David Gray
    Pages 113-138

  5. Synchronous Calculus of Communicating Systems

    • David Gray
    Pages 139-300

  6. Equivalence

    • David Gray
    Pages 301-331

  7. Automating SCCS

    • David Gray
    Pages 333-378

  8. Proving Things Correct

    • David Gray
    Pages 379-431

  9. End End Note

    • David Gray
    Pages 433-433

  10. Back Matter

    Pages 435-461
    Download chapter PDF
Back to top

Keywords

About this book

but when we state that A 'equals' B , as well having to know what we mean by A and B we also have know what we mean by 'equals'. This section explores the role of observers; how different types of observ­ er see different things as being equal, and how we can produce algo­ rithms to decide on such equalities. It also explores how we go about writing specifications to which we may compare our SCCS designs. • The final section is the one which the students like best. Once enough of SCCS is grasped to decide upon the component parts of a design, the 'turning the handle' steps of composition and check­ ing that the design meets its specification are both error-prone and tedious. This section introduces the concurrency work bench, which shoulders most of the burden. How you use the book is up to you; I'm not even going to suggest path­ ways. Individual readers know what knowledge they seek, and course leaders know which concepts they are trying to impart and in what order.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation