Cargando…
Real Time Programming : Languages, Specification And Verification.
The primary aim of this monograph is to present the current research efforts that have gone into/or going on in the systematic design of real-time programs. Such an effort would help researchers and users in the area to get a clear picture of the issues of specification, verification and design of r...
| Clasificación: | Libro Electrónico |
|---|---|
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
World Scientific
2009.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000M 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn729020415 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr un|---uuuuu | ||
| 008 | 101115s2009 xx o 000 0 eng d | ||
| 040 | |a IDEBK |b eng |e pn |c IDEBK |d OCLCQ |d MHW |d EBLCP |d OCLCQ |d DEBSZ |d OCLCQ |d ZCU |d OCLCQ |d MERUC |d ICG |d OCLCO |d OCLCF |d AU@ |d OCLCQ |d DKC |d OCLCQ |d UKAHL |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 019 | |a 816582663 | ||
| 020 | |a 1282760270 | ||
| 020 | |a 9781282760271 | ||
| 020 | |a 9789812814029 | ||
| 020 | |a 9812814027 | ||
| 029 | 1 | |a AU@ |b 000055764970 | |
| 029 | 1 | |a DEBBG |b BV044179343 | |
| 029 | 1 | |a DEBSZ |b 431679509 | |
| 035 | |a (OCoLC)729020415 |z (OCoLC)816582663 | ||
| 050 | 4 | |a QA76.54 | |
| 072 | 7 | |a UMX |2 bicssc | |
| 082 | 0 | 4 | |a 005.273 |
| 049 | |a UAMI | ||
| 245 | 0 | 0 | |a Real Time Programming : |b Languages, Specification And Verification. |
| 260 | |b World Scientific |c 2009. | ||
| 300 | |a 1 online resource (264) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 505 | 0 | |a Cover13; -- Contents -- Preface -- Organization of the Monograph -- Dependence of the chapters -- Acknowledgement -- PART I: Real Time Systems 8212; Background -- Summary -- 1 Real Time System Characteristics -- 1.1 Real-time and Reactive Programs -- 2 Formal Program Development Methodologies -- 2.1 Requirement Specification -- 2.2 System Specifications -- 3 Characteristics of Real-Time Languages -- 3.1 Modelling Features of Real-Time Languages -- 3.2 A Look at Classes of Real-Time Languages -- 4 Programming Characteristics of Reactive Systems -- 4.1 Execution of Reactive Programs -- 4.2 Perfect Synchrony Hypothesis -- 4.3 Multiform Notion of Time -- 4.4 Logical Concurrency and Broadcast Communication -- 4.5 Determinism and Causality -- PART II: Synchronous Languages -- Summary -- 5 Esterel Language: Structure -- 5.1 Top Level Structure -- 5.2 Esterel Statements -- 5.3 Illustrations of Esterel Program Behaviour -- 5.4 Causality Problems -- 5.5 A Historical Perspective -- 6 Program Development in Esterel -- 6.1 A Simulation Environment -- 6.2 Verification Environment -- 7 Programming Controllers in Esterel -- 7.1 Auto Controllers -- 8 Asynchronous Interaction in Esterel -- 9 Futurebus Arbitration Protocol: A Case Study -- 9.1 Arbitration Process -- 9.2 Abstraction of the Protocol -- 9.3 Solution in Esterel -- 10 Semantics of Esterel -- 10.1 Semantic Structure -- 10.2 Transition Rules -- 10.3 Illustrative Examples -- 10.4 Discussions -- 10.5 Semantics of Esterel with exec -- PART III: Other Synchronous Languages -- Summary -- 11 Synchronous Language Lustre -- 11.1 An Overview of Lustre -- 11.2 Flows and Streams -- 11.3 Equations, Variables and Expressions -- 11.4 Program Structure -- 11.5 Arrays in Lustre -- 11.6 Further Examples -- 12 Modelling Time-Triggered Protocol (TTP) in Lustre -- 12.1 Time-Triggered Protocol -- 12.2 Modelling TTP in Lustre -- 13 Synchronous Language Argos -- 13.1 Argos Constructs -- 13.2 Illustrative Example -- 13.3 Discussions -- PART IV: Verification of Synchronous Programs -- Summary -- 14 Verification of Esterel Programs -- 14.1 Transition System Based Veri cationy of Esterel Programs -- 14.2 Esterel Transition System -- 14.3 Temporal Logic Based Verification -- 14.4 Observer-based Verification -- 14.5 First Order Logic Based Verification -- 15 Observer Based Verification of Simple Lustre Programs -- 15.1 A Simple Auto Controller -- 15.2 A Complex Controller -- 15.3 A Cruise Controller -- 15.4 A Train Controller -- 15.5 A Mine Pump Controller -- PART V: Integration of Synchrony and Asynchrony -- Summary -- 16 Communicating Reactive Processes -- 16.1 An Overview of CRP -- 16.2 Communicating Reactive Processes: Structure -- 16.3 Behavioural Semantics of CRP -- 16.4 An Illustrative Example: Banker Teller Machine -- 16.5 Implementation of CRP -- 17 Semantics of Communicating Reactive Processes -- 17.1 A Brief Overview of CSP -- 17.2 Translation of CSP to CRP -- 17.3 Cooperation of CRP Nodes -- 17.4 Ready-Trace Semantics of CRP -- 17.5 Ready-Trace Semantics of CSP -- 17.6 Extracting CSP Ready-trace Semantics from CRP Semantics -- 17.7 Correctness of the Translation -- 17.8 Translation into meije Process Calculus -- 18 Communicating Reactive State Machines -- T$ | |
| 520 | |a The primary aim of this monograph is to present the current research efforts that have gone into/or going on in the systematic design of real-time programs. Such an effort would help researchers and users in the area to get a clear picture of the issues of specification, verification and design of real-time reactive programs. It will clearly enable us to identify languages that can be used for different kinds of applications. Obviously, in an upcoming area like this, this presentation is far from complete. The quintessence of the monograph can be captured by the following question:. How can we. | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Real-time programming. | |
| 650 | 6 | |a Programmation en temps réel. | |
| 650 | 7 | |a Real-time programming |2 fast | |
| 655 | 4 | |a Electronic resource. | |
| 720 | |a Shyamasundar R K Et Al. | ||
| 758 | |i has work: |a Real time programming (Text) |1 https://id.oclc.org/worldcat/entity/E39PCG44RbxwtcKTrbBmcPhg83 |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=1681337 |z Texto completo |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH24685760 | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL1681337 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 276027 | ||
| 994 | |a 92 |b IZTAP | ||