Synchronous Programming of Reactive Systems by Nicolas Halbwachs (English) Paper

The Nile on
Synchronous Programming of Reactive Systems by Nicolas Halbwachs

This book will attempt to give a first synthesis of recent works con­ cerning reactive system design. Industrial process control systems, transporta­ tion control and supervision systems, signal-processing systems, are ex­ amples of the systems we have in mind.

FORMAT
Paperback LANGUAGE
English CONDITION
Brand New Publisher Description

This book presents a synthesis of recent works concerning reactive system design. The term 'reactive system' has been introduced in order to avoid ambiguities often involved with the term 'real-time system' which, while being best-known and suggestive, has been assigned so many different meanings that it is almost inevitably misunderstood. Industrial Process control system, transportation control and supervision systems, signal processing systems, etc. are examples of the systems we have in mind. Four programming languages are presented, which share the same underlying synchronous model: based on Robin Milner's pioneering works about synchronous process algebras, this model consists in considering that a program instantaneously reacts to events, or that the machine execution time is negligible with respect to the response delays of its environment. Using this abstract point of view, the time behavior of a system can be formalized in a very simple and elegant way. The languages presented are ESTEREL, a textual imperative language; ARGOS, a graphical language inspired by STATECHARTS; and LUSTRE and SIGNAL, two declarative a tutorial description of the languages, illustrated by various examples, a set of related tools is presented: compilers to sequential and distributed code, silicon compilers, verification tools.

Notes

Springer Book Archives

Table of Contents

1 Introduction.- 2 The imperative language Esterel.- 3 Graphic formalisms: the language Argos.- 4 Declarative languages: Lustre and Signal.- 5 Static verifications.- 6 Sequential code generation.- 7 Distributed code generation.- 8 Circuit generation from synchronous programs.- 9 Lustre program verification: the tool Lesar.- 10 Using Auto for Esterel program verification.- 11 Conclusion.

Review

` ... The material in the book is well-organized, the style is clear, concise and readable. This book can be recommended as serious, although enjoyable, reading for everybody who is interested in real-time, embedded systems (reactive systems). '
Engineering Applications Artificial Intelligence, 7:3 (1994)
'This book can be recommended as serious, although enjoyable, reading for everybody who is interested in real-time, embedded systems.' Eng. App. of Artificial Intelligence 7:3 1994

Promotional

Springer Book Archives

Long Description

This book will attempt to give a first synthesis of recent works con

Review Quote

' ... The material in the book is well-organized, the style is clear, concise and readable. This book can be recommended as serious, although enjoyable, reading for everybody who is interested in real-time, embedded systems (reactive systems). ' Engineering Applications Artificial Intelligence, 7:3 (1994) 'This book can be recommended as serious, although enjoyable, reading for everybody who is interested in real-time, embedded systems.' Eng. App. of Artificial Intelligence 7:3 1994

Details ISBN1441951334 Author Nicolas Halbwachs Publisher Springer-Verlag New York Inc. Year 2010 ISBN-10 1441951334 ISBN-13 9781441951335 Format Paperback Imprint Springer-Verlag New York Inc. Place of Publication New York, NY Country of Publication United States DEWEY 004 Edition 1st Short Title SYNCHRONOUS PROGRAMMING OF REA Language English Media Book Series Number 215 Series The Springer International Series in Engineering and Computer Science Pages 174 Illustrations XIV, 174 p. Publication Date 2010-12-07 AU Release Date 2010-12-07 NZ Release Date 2010-12-07 US Release Date 2010-12-07 UK Release Date 2010-12-07 Edition Description Softcover reprint of hardcover 1st ed. 1993 Alternative 9780792393115 Audience Professional & Vocational Country of Origin NL Product Class Description Computer Communications & Networking
We\'ve got this

At The Nile, if you\'re looking for it, we\'ve got it.
With fast shipping, low prices, friendly service and well over a million items - you\'re bound to find what you want, at a price you\'ll love!

TheNile_Item_ID:96228404;