LEADER 05340nam 2200637 a 450 001 9910826613903321 005 20230725041502.0 010 $a1-282-76027-0 010 $a9786612760273 010 $a981-281-402-7 035 $a(CKB)2490000000001716 035 $a(EBL)1681337 035 $a(OCoLC)729020415 035 $a(SSID)ssj0000426747 035 $a(PQKBManifestationID)12146607 035 $a(PQKBTitleCode)TC0000426747 035 $a(PQKBWorkID)10389330 035 $a(PQKB)10219483 035 $a(MiAaPQ)EBC1681337 035 $a(WSP)00000626 035 $a(Au-PeEL)EBL1681337 035 $a(CaPaEBR)ebr10422187 035 $a(CaONFJC)MIL276027 035 $a(iGPub)WSPCB0001591 035 $a(EXLCZ)992490000000001716 100 $a20100423d2010 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aReal time programming$b[electronic resource] $elanguages, specification and verification /$fR.K. Shyamasundar, S. Ramesh 210 $aSingapore ;$aHackensack, NJ ;$aLondon $cWorld Scientific$dc2010 215 $a1 online resource (264 p.) 300 $aDescription based upon print version of record. 311 $a981-02-2566-0 320 $aIncludes bibliographical references and index. 327 $aContents; Preface; Organization of the Monograph; Dependence of the chapters; Acknowledgement; PART I: Real Time Systems - Background; Summary; 1 Real Time System Characteristics; 1.1 Real-time and Reactive Programs; 2 Formal Program Development Methodologies; 2.1 Requirement Specification; 2.1.1 An Example; 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 327 $a4.3 Multiform Notion of Time4.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.1.1 Signals and Events; 5.1.2 Module Instantiation; 5.2 Esterel Statements; 5.2.1 Data Handling Statements; 5.2.2 Reactive Statements; 5.2.3 Derived 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 327 $a7 Programming Controllers in Esterel7.1 Auto Controllers; 7.1.1 A Very Simple Auto Controller; 7.1.2 A Complex Controller; 7.1.3 A Cruise Controller; 7.1.4 A Train Controller; 7.1.5 A Mine Pump Controller; 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.2.1 Rules for Signal Statement; 10.3 Illustrative Examples; 10.4 Discussions; 10.5 Semantics of Esterel with exec 327 $aPART III: Other Synchronous LanguagesSummary; 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.4.1 Illustrative Example; 11.5 Arrays in Lustre; 11.6 Further Examples; 11.6.1 A Very Simple Auto Controller; 11.6.2 A Complex Controller; 11.6.3 A Cruise Controller; 11.6.4 A Train Controller; 11.6.5 A Mine Pump Controller; 12 Modelling Time-Triggered Protocol (TTP) in Lustre; 12.1 Time-Triggered Protocol; 12.1.1 Clock Synchronization; 12.1.2 Bus Guardian .; 12.2 Modelling TTP in Lustre 327 $a13 Synchronous Language Argos13.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.1.1 Detailed Discussion; 14.2 Esterel Transition System; 14.2.1 Abstraction and Hiding; 14.2.2 Observation Equivalence Reduction; 14.2.3 Context Filtering; 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 327 $a15.1 A Simple Auto Controller 330 $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 606 $aReal-time programming 615 0$aReal-time programming. 676 $a004/.33 700 $aShyamasundar$b Rudrapatna$f1950-$0878410 701 $aRamesh$b S$g(Sethu)$01112470 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910826613903321 996 $aReal time programming$93987433 997 $aUNINA