The NBS real-time control system user's reference manual / / Stephen A. Leake |
Autore | Leake Stephen A |
Pubbl/distr/stampa | Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 1988 |
Descrizione fisica | 1 online resource |
Altri autori (Persone) | LeakeStephen A |
Collana | NIST technical note |
Soggetto topico |
Automatic control
Real-time programming |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910711218403321 |
Leake Stephen A | ||
Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 1988 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems / / program chair, Lukasz Ziarek |
Pubbl/distr/stampa | New York : , : ACM, , 2015 |
Descrizione fisica | 1 online resource (130 pages) |
Disciplina | 005.133 |
Soggetto topico |
Java (Computer program language)
Real-time programming Embedded computer systems |
ISBN | 1-4503-3644-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
JTRES '15 : the 13th International Workshop on Java Technologies for Real-time and Embedded Systems : Paris, France, October 07-08, 2015
Java Technologies for Real-time and Embedded Systems 2015 |
Record Nr. | UNINA-9910376552903321 |
New York : , : ACM, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of the 20th Euromicro Conference on Real-Time Systems : July 2-4, 2008, Prague, Czech Republic / / IEEE Computer Society |
Pubbl/distr/stampa | New York : , : IEEE, , 2008 |
Descrizione fisica | 1 online resource (ix, 352 pages) |
Soggetto topico |
Real-time data processing
Real-time programming Real-time control |
ISBN | 1-5090-8000-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996216497403316 |
New York : , : IEEE, , 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Proceedings of the 20th Euromicro Conference on Real-Time Systems : July 2-4, 2008, Prague, Czech Republic / / IEEE Computer Society |
Pubbl/distr/stampa | New York : , : IEEE, , 2008 |
Descrizione fisica | 1 online resource (ix, 352 pages) |
Soggetto topico |
Real-time data processing
Real-time programming Real-time control |
ISBN | 1-5090-8000-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910145680203321 |
New York : , : IEEE, , 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of the 21st Euromicro Conference on Real-Time Systems : 1-3 July 2009, Dublin, Ireland |
Pubbl/distr/stampa | New York : , : IEEE, , 2009 |
Descrizione fisica | 1 online resource (x, 279 pages) |
Soggetto topico |
Real-time data processing
Real-time control Real-time programming |
ISBN | 1-5090-7112-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996216414503316 |
New York : , : IEEE, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Proceedings of the 21st Euromicro Conference on Real-Time Systems : 1-3 July 2009, Dublin, Ireland |
Pubbl/distr/stampa | New York : , : IEEE, , 2009 |
Descrizione fisica | 1 online resource (x, 279 pages) |
Soggetto topico |
Real-time data processing
Real-time control Real-time programming |
ISBN | 1-5090-7112-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910140025603321 |
New York : , : IEEE, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of the IEEE/ACM 24th International Symposium on Distributed Simulation and Real Time Applications / / Institute of Electrical and Electronics Engineers |
Pubbl/distr/stampa | [Place of publication not identified] : , : Institute of Electrical and Electronics Engineers, , 2020 |
Descrizione fisica | 1 online resource |
Disciplina | 004.33 |
Soggetto topico |
Real-time data processing
Real-time programming |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910440758203321 |
[Place of publication not identified] : , : Institute of Electrical and Electronics Engineers, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Real time programming [[electronic resource] ] : languages, specification and verification / / R.K. Shyamasundar, S. Ramesh |
Autore | Shyamasundar Rudrapatna <1950-> |
Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ ; ; London, : World Scientific, c2010 |
Descrizione fisica | 1 online resource (264 p.) |
Disciplina | 004/.33 |
Altri autori (Persone) | RameshS (Sethu) |
Soggetto topico | Real-time programming |
Soggetto genere / forma | Electronic books. |
ISBN |
1-282-76027-0
9786612760273 981-281-402-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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 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 PART 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 13 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 15.1 A Simple Auto Controller |
Record Nr. | UNINA-9910455578903321 |
Shyamasundar Rudrapatna <1950-> | ||
Singapore ; ; Hackensack, NJ ; ; London, : World Scientific, c2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Real time programming [[electronic resource] ] : languages, specification and verification / / R.K. Shyamasundar, S. Ramesh |
Autore | Shyamasundar Rudrapatna <1950-> |
Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ ; ; London, : World Scientific, c2010 |
Descrizione fisica | 1 online resource (264 p.) |
Disciplina | 004/.33 |
Altri autori (Persone) | RameshS (Sethu) |
Soggetto topico | Real-time programming |
ISBN |
1-282-76027-0
9786612760273 981-281-402-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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 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 PART 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 13 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 15.1 A Simple Auto Controller |
Record Nr. | UNINA-9910780895703321 |
Shyamasundar Rudrapatna <1950-> | ||
Singapore ; ; Hackensack, NJ ; ; London, : World Scientific, c2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Real time programming [[electronic resource] ] : languages, specification and verification / / R.K. Shyamasundar, S. Ramesh |
Autore | Shyamasundar Rudrapatna <1950-> |
Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ ; ; London, : World Scientific, c2010 |
Descrizione fisica | 1 online resource (264 p.) |
Disciplina | 004/.33 |
Altri autori (Persone) | RameshS (Sethu) |
Soggetto topico | Real-time programming |
ISBN |
1-282-76027-0
9786612760273 981-281-402-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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 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 PART 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 13 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 15.1 A Simple Auto Controller |
Record Nr. | UNINA-9910826613903321 |
Shyamasundar Rudrapatna <1950-> | ||
Singapore ; ; Hackensack, NJ ; ; London, : World Scientific, c2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|