Synchronous Programming of Reactive Systems

  • Nicolas Halbwachs

Table of contents

  1. Front Matter
    Pages i-xiii
  2. Introduction

    1. Nicolas Halbwachs
      Pages 1-8
  3. Four Synchronous Languages

    1. Front Matter
      Pages 9-9
    2. Nicolas Halbwachs
      Pages 11-37
    3. Nicolas Halbwachs
      Pages 39-52
    4. Nicolas Halbwachs
      Pages 53-72
  4. Compilation

    1. Front Matter
      Pages 73-73
    2. Nicolas Halbwachs
      Pages 75-83
    3. Nicolas Halbwachs
      Pages 85-102
    4. Nicolas Halbwachs
      Pages 103-115
    5. Nicolas Halbwachs
      Pages 117-136
  5. Program Verification

    1. Front Matter
      Pages 137-137
    2. Nicolas Halbwachs
      Pages 139-147
    3. Nicolas Halbwachs
      Pages 149-155
    4. Nicolas Halbwachs
      Pages 157-159
  6. Back Matter
    Pages 161-174

About this book


This book will attempt to give a first synthesis of recent works con­ cerning reactive system design. The term "reactive system" has been introduced in order to at'oid the ambiguities often associated with by the term "real-time system," which, although best known and more sugges­ tive, has been given so many different meanings that it is almost in­ evitably misunderstood. Industrial process control systems, transporta­ tion control and supervision systems, signal-processing systems, are ex­ amples of the systems we have in mind. Although these systems are more and more computerized, it is sur­ prising to notice that the problem of time in computer science has been studied only recently by "pure" computer scientists. Until the early 1980s, time problems were regarded as the concern of performance evalu­ ation, or of some (unjustly scorned) "industrial computer engineering," or, at best, of operating systems. A second surprising fact, in contrast, is the growth of research con­ cerning timed systems during the last decade. The handling of time has suddenly become a fundamental goal for most models of concurrency. In particular, Robin Alilner 's pioneering works about synchronous process algebras gave rise to a school of thought adopting the following abstract point of view: As soon as one admits that a system can instantaneously react to events, i. e.


code compiler process algebra program verification programming language real-time system verification

Authors and affiliations

  • Nicolas Halbwachs
    • 1
  1. 1.IMAG InstituteGrenobleFrance

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag US 1993
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4419-5133-5
  • Online ISBN 978-1-4757-2231-4
  • Series Print ISSN 0893-3405
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
Energy, Utilities & Environment