Report file quality
upload/newsarch_ebooks_2025_10/2017/02/14/1441951334_book.djvu
Synchronous programming of reactive systems 🔍
Nicholas Halbwachs Kluwer Academic Publishers; Springer, The Springer International Series in Engineering and Computer Science, Softcover reprint of hardcover 1st ed. 1993, 1993
English [en] · DJVU · 1.7MB · 1993 · 📘 Book (non-fiction) · 🚀/lgli/lgrs/nexusstc/upload/zlib · Save
description
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.
Erscheinungsdatum: 07.12.2010
Alternative filename
lgli/76/Cs_Computer science/CsF_Formal methods/Halbwachs N. Synchronous programming of reactive systems (Springer, 1993)(ISBN 9781441951335)(600dpi)(T)(179s)_CsF_.djvu
Alternative filename
lgrsnf/76/Cs_Computer science/CsF_Formal methods/Halbwachs N. Synchronous programming of reactive systems (Springer, 1993)(ISBN 9781441951335)(600dpi)(T)(179s)_CsF_.djvu
Alternative filename
lgli/Cs_Computer science/CsF_Formal methods/Halbwachs N. Synchronous programming of reactive systems (Springer, 1993)(ISBN 9781441951335)(600dpi)(T)(179s)_CsF_.djvu
Alternative filename
nexusstc/Synchronous programming of reactive systems/6d306e6dbc3020f9b70df5f44e87bcdd.djvu
Alternative title
Foundations of Real-Time Computing: Formal Specifications and Methods (The Springer International Series in Engineering and Computer Science, 142)
Alternative title
Foundations of Real-Time Computing: Scheduling and Resource Management (The Springer International Series in Engineering and Computer Science)
Alternative title
Real-Time UNIX® Systems: Design and Application Guide (The Springer International Series in Engineering and Computer Science (121))
Alternative title
Constructing Predictable Real Time Systems (The Springer International Series in Engineering and Computer Science, 146)
Alternative title
Real-time Systems Engineering And Applications (the Springer International Series In Engineering And Computer Science)
Alternative title
Real-Time Unix Systems: Design and Applications Guide (The International Series in Engineering and Computer Science)
Alternative title
Real-Time Systems Engineering and Applications : Engineering and Applications
Alternative title
Synchronization in Real-Time Systems : A Priority Inheritance Approach
Alternative title
Real-time UNIX(R) systems : design and application guide
Alternative title
Constructive predictable real time systems
Alternative author
Borko Furht, Dan Grostick, David Gluch, Guy Rabbat, John Parker, Meg McRoberts, Borivoje Furht
Alternative author
Borivoje Furht, Borko Furht, Dan Grostick, David Gluch, Guy Rabbat, John Parker, Meg McRoberts
Alternative author
Furht, Borko, Grostick, Dan, Gluch, David, Rabbat, Guy, Parker, John, McRoberts, Meg
Alternative author
André M Van Tilborg; Gary M Koob; United States. Office of Naval Research
Alternative author
edited by Michael Schiebe, Saskia Pferrer; with a foreword by R. Lauber
Alternative author
Editor-michael Schiebe; Editor-saskia Pferrer
Alternative author
edited by André M. van Tilborg, Gary M. Koob
Alternative author
by Wolfgang A. Halang, Alexander D. Stoyenko
Alternative author
by authors Borko Furht ... [et al.]
Alternative author
Andre M. Van Tilborg, Gary M. Koob
Alternative author
André M Van Tilborg, 1953-
Alternative author
Stoyenko, Alexander D.
Alternative author
by Ragunathan Rajkumar
Alternative author
Halbwachs, Nicolas
Alternative publisher
Springer International Publishing
Alternative publisher
Springer US : Imprint : Springer
Alternative publisher
Springer-Science+Business Media
Alternative publisher
Springer London, Limited
Alternative publisher
Springer 2010-12-07
Alternative edition
The Kluwer international series in engineering and computer science ;, SECS 142., Real-time systems, Kluwer international series in engineering and computer science ;, SECS 142., Kluwer international series in engineering and computer science., Boston, Massachusetts, 1991
Alternative edition
The Kluwer international series in engineering and computer science ;, SECS 121., Real-life systems, Kluwer international series in engineering and computer science ;, SECS 121., Kluwer international series in engineering and computer science., Boston, Massachusetts, 1991
Alternative edition
The Kluwer international series in engineering and computer science ;, SECS141., Real-time systems, Kluwer international series in engineering and computer science ;, SECS 141., Kluwer international series in engineering and computer science., Boston, Massachusetts, 1991
Alternative edition
The Kluwer international series in engineering and computer science ;, 146., Real-time systems, Kluwer international series in engineering and computer science ;, SECS 146., Kluwer international series in engineering and computer science., Boston, Massachusetts, 1991
Alternative edition
The Kluwer international series in engineering and computer science ;, 151., Real-time systems, Kluwer international series in engineering and computer science ;, SECS 151., Kluwer international series in engineering and computer science., Boston, Massachusetts, 1991
Alternative edition
Kluwer international series in engineering and computer science, Softcover repr. of the hardcover 1. ed. 1993, Dordrecht, 2011
Alternative edition
The Kluwer international series in engineering and computer science ;, SECS 167, Boston, Massachusetts, 1992
Alternative edition
Springer International Series in Engineering and Computer Science, Real-Time Systems, 167, Boston, MA, 1992
Alternative edition
The Kluwer international series in engineering and computer science, 4th print, Boston, Mass., [etc, 1993
Alternative edition
Springer International Series in Engineering and Computer Science, Real-Time Systems, Boston, MA, 1993
Alternative edition
The Springer international series in engineering and computer science, New York, 2011
Alternative edition
Kluwer international series in engineering and computer science, 215, Dordrecht, 1993
Alternative edition
Real-time systems series (Print), SECS 146, Boston, cop. 1991
Alternative edition
United States, United States of America
Alternative edition
Springer Nature, New York, NY, 2012
Alternative edition
Springer Nature, New York, NY, 2013
Alternative edition
1 edition, December 31, 1990
Alternative edition
121, 4. print, Boston, 1993
Alternative edition
1 edition, August 31, 1991
Alternative edition
1 edition, March 31, 1992
Alternative edition
1 edition, July 31, 1991
Alternative edition
1991, 1991/08/31
Alternative edition
1991, 1990-12-31
Alternative edition
Dec 07, 2010
Alternative edition
Cham, 20uu
Alternative edition
1, 2010
metadata comments
kolxoz -- 76
metadata comments
lg1415543
metadata comments
{"edition":"softcover reprint of hardcover 1st ed. 1993","isbns":["0792390997","0792391667","0792391675","0792391969","0792392027","0792392116","1441951334","1475722311","9780792390992","9780792391661","9780792391678","9780792391968","9780792392026","9780792392118","9781441951335","9781475722314"],"last_page":179,"publisher":"Springer","series":"The Springer International Series in Engineering and Computer Science"}
metadata comments
Includes bibliographical references and index.
"Preliminary versions of these papers were presented at a workshop ... sponsored by the Office of Naval Research in October 1990 in Washington, D.C."--Foreword.
metadata comments
Includes bibliographical references (p. 287-303) and index.
metadata comments
Includes bibliographical references (p. [161]-167) and index.
metadata comments
Includes bibliographical references and index.
metadata comments
Includes bibliographical references (p. [307]-311) and index.
metadata comments
Source title: Synchronous Programming of Reactive Systems (The Springer International Series in Engineering and Computer Science)
Alternative description
A growing concern of mine has been the unrealistic expectations for new computer-related technologies introduced into all kinds of organizations. Unrealistic expectations lead to disappointment, and a schizophrenic approach to the introduction of new technologies. The UNIX and real-time UNIX operating system technologies are major examples of emerging technologies with great potential benefits but unrealistic expectations. Users want to use UNIX as a common operating system throughout large segments of their organizations. A common operating system would decrease software costs by helping to provide portability and interoperability between computer systems in today's multivendor environments. Users would be able to more easily purchase new equipment and technologies and cost-effectively reuse their applications. And they could more easily connect heterogeneous equipment in different departments without having to constantly write and rewrite interfaces. On the other hand, many users in various organizations do not understand the ramifications of general-purpose versus real-time UNIX. Users tend to think of "real-time" as a way to handle exotic heart-monitoring or robotics systems. Then these users use UNIX for transaction processing and office applications and complain about its performance, robustness, and reliability. Unfortunately, the users don't realize that real-time capabilities added to UNIX can provide better performance, robustness and reliability for these non-real-time applications. Many other vendors and users do realize this, however. There are indications even now that general-purpose UNIX will go away as a separate entity. It will be replaced by a real-time UNIX. General-purpose UNIX will exist only as a subset of real-time UNIX.
Erscheinungsdatum: 31.12.1990
Alternative description
This volume contains a selection of papers that focus on the state-of the-art in formal specification and verification of real-time computing systems. Preliminary versions of these papers were presented at a workshop on the foundations of real-time computing sponsored by the Office of Naval Research in October, 1990 in Washington, D. C. A companion volume by the title Foundations of Real-Time Computing: Scheduling and Resource Management complements this hook by addressing many of the recently devised techniques and approaches for scheduling tasks and managing resources in real-time systems. Together, these two texts provide a comprehensive snapshot of current insights into the process of designing and building real time computing systems on a scientific basis. The notion of real-time system has alternative interpretations, not all of which are intended usages in this collection of papers. Different communities of researchers variously use the term real-time to refer to either very fast computing, or immediate on-line data acquisition, or deadline-driven computing. This text is concerned with the formal specification and verification of computer software and systems whose correct performance is dependent on carefully orchestrated interactions with time, e. g. , meeting deadlines and synchronizing with clocks. Such systems have been enabled for a rapidly increasing set of diverse end-uses by the unremitting advances in computing power per constant-dollar cost and per constant-unit-volume of space. End use applications of real-time computers span a spectrum that includes transportation systems, robotics and manufacturing, aerospace and defense, industrial process control, and telecommunications.
Erscheinungsdatum: 31.08.1991
Alternative description
This volume contains a selection of papers that focus on the state-of the-art in real-time scheduling and resource management. Preliminary versions of these papers were presented at a workshop on the foundations of real-time computing sponsored by the Office of Naval Research in October, 1990 in Washington, D.C. A companion volume by the title Foundations of Real-Time Computing: Fonnal Specifications and Methods complements this book by addressing many of the most advanced approaches currently being investigated in the arena of formal specification and verification of real-time systems. Together, these two texts provide a comprehensive snapshot of current insights into the process of designing and building real-time computing systems on a scientific basis. Many of the papers in this book take care to define the notion of real-time system precisely, because it is often easy to misunderstand what is meant by that term. Different communities of researchers variously use the term real-time to refer to either very fast computing, or immediate on-line data acquisition, or deadline-driven computing. This text is concerned with the very difficult problems of scheduling tasks and resource management in computer systems whose performance is inextricably fused with the achievement of deadlines. Such systems have been enabled for a rapidly increasing set of diverse end-uses by the unremitting advances in computing power per constant-dollar cost and per constant-unit-volume of space. End-use applications of deadline-driven real-time computers span a spectrum that includes transportation systems, robotics and manufacturing, aerospace and defense, industrial process control, and telecommunications.
Erscheinungsdatum: 31.07.1991
Alternative description
Real-time computing systems are vital to a wide range of applications. For example, they are used in the control of nuclear reactors and automated manufacturing facilities, in controlling and tracking air traffic, and in communication systems. In recent years, real-time systems have also grown larger and become more critical. For instance, advanced aircraft such as the space shuttle must depend heavily on computer sys tems [Carlow 84]. The centralized control of manufacturing facilities and assembly plants operated by robots are other examples at the heart of which lie embedded real-time systems. Military defense systems deployed in the air, on the ocean surface, land and underwater, have also been increasingly relying upon real-time systems for monitoring and operational safety purposes, and for retaliatory and containment measures. In telecommunications and in multi-media applications, real time characteristics are essential to maintain the integrity of transmitted data, audio and video signals. Many of these systems control, monitor or perform critical operations, and must respond quickly to emergency events in a wide range of embedded applications. They are therefore required to process tasks with stringent timing requirements and must perform these tasks in a way that these timing requirements are guaranteed to be met. Real-time scheduling al gorithms attempt to ensure that system timing behavior meets its specifications, but typically assume that tasks do not share logical or physical resources. Since resource-sharing cannot be eliminated, synchronization primitives must be used to ensure that resource consis tency constraints are not violated.
Erscheinungsdatum: 31.08.1991
Alternative description
<p>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.<br>
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.<br>
The languages presented are ESTEREL, a textual imperative language; ARGOS, a graphical language inspired by STATECHARTS; and LUSTRE and SIGNAL, two declarative languages.<br>
After 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.</p>
Alternative description
Real-Time Systems Engineering and Applications is a well-structured collection of chapters pertaining to present and future developments in real-time systems engineering. After an overview of real-time processing, theoretical foundations are presented. The book then introduces useful modeling concepts and tools. This is followed by concentration on the more practical aspects of real-time engineering with a thorough overview of the present state of the art, both in hardware and software, including related concepts in robotics. Examples are given of novel real-time applications which illustrate the present state of the art. The book concludes with a focus on future developments, giving direction for new research activities and an educational curriculum covering the subject. This book can be used as a source for academic and industrial researchers as well as a textbook for computing and engineering courses covering the topic of real-time systems engineering.
date open sourced
2015-12-12
Read more…
Your ad here.

🚀 Fast downloads

Become a member to support the long-term preservation of books, papers, and more. To show our gratitude for your support, you get fast downloads. ❤️

🐢 Slow downloads

From trusted partners. More information in the FAQ. (might require browser verification — unlimited downloads!)

All download options have the same file, and should be safe to use. That said, always be cautious when downloading files from the internet, especially from sites external to Anna’s Archive. For example, be sure to keep your devices updated.
show external downloads
  • For large files, we recommend using a download manager to prevent interruptions.
    Recommended download managers: JDownloader
  • You will need an ebook or PDF reader to open the file, depending on the file format.
    Recommended ebook readers: Anna’s Archive online viewer, ReadEra, and Calibre
  • Use online tools to convert between formats.
    Recommended conversion tools: CloudConvert and PrintFriendly
  • You can send both PDF and EPUB files to your Kindle or Kobo eReader.
    Recommended tools: Amazon‘s “Send to Kindle” and djazz‘s “Send to Kobo/Kindle”
  • Support authors and libraries
    ✍️ If you like this and can afford it, consider buying the original, or supporting the authors directly.
    📚 If this is available at your local library, consider borrowing it for free there.