Synchronous Programming of Reactive Systems

By: Nicolas Halbwachs

Write A Review

Hardcover | 31 December 1992

At a Glance

Hardcover
192 Pages

Dimensions(cm)
25.4 x 17.15 x 1.91

Hardcover

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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.

Industry Reviews

` ... 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

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Systems Analysis & Design Computer Programming & Software Development Programming & Scripting Languages Operating Systems Databases Artificial Intelligence Expert Systems & Knowledge-Based Systems

Other Editions and Formats

Paperback

Published: 7th December 2010

View Product

List of figures
List of tables
Foreword
Introduction	p. 1
Four Synchronous Languages	p. 9
The imperative language Esterel	p. 11
Graphic formalisms: the language Argos	p. 39
Declarative languages: Lustre and Signal	p. 53
Compilation	p. 73
Static verifications	p. 75
Sequential code generation	p. 85
Distributed code generation	p. 103
Circuit generation from synchronous programs	p. 117
Program Verification	p. 137
Lustre program verification: the tool Lesar	p. 139
Using Auto for Esterel program verification	p. 149
Conclusion	p. 157
Bibliography	p. 161
Index	p. 171
Table of Contents provided by Blackwell. All Rights Reserved.

Synchronous Programming of Reactive Systems

At a Glance

Hardcover

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Paperback

More in Systems Analysis & Design

Advanced Computational Intelligence Techniques for Engineers

Constraints and Advanced Solutions for LTE-Advanced Heterogeneous Networks

Layered Design for Ruby on Rails Applications - Second Edition

Discover practical design patterns and modern abstractions for maintainable Rails applications

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Fundamentals of Software Architecture

A Modern Engineering Approach

Systems Analysis and Design

12th edition

Business Driven Information Systems ISE

9th Edition

Artificial Intelligence for HR

Use AI to Support and Develop a Successful Workforce

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

DAMA-DMBOK

Data Management Body of Knowledge

Rust Atomics and Locks

Low-Level Concurrency in Practice

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Domain-Driven Transformation

Modernize Legacy Systems and Mitigate Risk

Artificial Intelligence and Internet of Things for Smart Agriculture

Learning Systems Thinking

Essential Non-Linear Skills and Practices for Software Professionals

Robot Automation

Principle, Design and Applications

Cloud Native Application Protection Platforms

A Guide to CNAPPs and the Foundations of Comprehensive Cloud Security

Kubernetes - Up and Running

Dive into the Future of Infrastructure

UX For Beginners

A Crash Course in 100 Short Lessons

Fundamentals of DevOps and Software Delivery

A Hands-On Guide to Deploying and Managing Software in Production

AI Systems Performance Engineering

Optimizing Model Training and Inference Workloads with Gpus, Cuda, and Pytorch

Mastering API Architecture

Defining, Connecting, and Securing Distributed Systems and Microservices

Technology Strategy Patterns

Analyzing and Communicating Architectural Decisions

Building Event-Driven Microservices

Leveraging Organizational Data at Scale

This product is categorised by