Synchronous Programming of Reactive Systems (eBook)

Nicolas Halbwachs (Autor)

eBook Download: PDF

2013
Springer US (Verlag)
978-1-4757-2231-4 (ISBN)

Infos

This book will attempt to give a first synthesis of recent works con- cerning reactive system design. The term "e;reactive system"e; has been introduced in order to at'oid the ambiguities often associated with by the term "e;real-time system,"e; 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 "e;pure"e; computer scientists. Until the early 1980s, time problems were regarded as the concern of performance evalu- ation, or of some (unjustly scorned) "e;industrial computer engineering,"e; 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.

Produkt-Details

• Erscheint lt. Verlag: 29.6.2013
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Informatik ► Betriebssysteme / Server
• Themenwelt: Mathematik / Informatik ► Informatik ► Datenbanken
• Themenwelt: Informatik ► Theorie / Studium ► Compilerbau
• Themenwelt: Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
• ISBN-10: 1-4757-2231-1 / 1475722311
• ISBN-13: 978-1-4757-2231-4 / 9781475722314