|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910455578903321 |
|
|
Autore |
Shyamasundar Rudrapatna <1950-> |
|
|
Titolo |
Real time programming [[electronic resource] ] : languages, specification and verification / / R.K. Shyamasundar, S. Ramesh |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Singapore ; ; Hackensack, NJ ; ; London, : World Scientific, c2010 |
|
|
|
|
|
|
|
ISBN |
|
1-282-76027-0 |
9786612760273 |
981-281-402-7 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (264 p.) |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Real-time programming |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Contents; 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 |
4.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 |
7 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 |
|
|
|
|