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 | ||
|
Real time programming 1977 : proceedings of the IFAC/IFIP Workshop, Eindhoven, Netherlands, 20-22 June 1977 / / edited by C. H. Smedema |
Pubbl/distr/stampa | Oxford, [England] : , : Pergamon Press, , 1978 |
Descrizione fisica | 1 online resource (252 p.) |
Disciplina | 005.1 |
Collana | IFAC/IFIP Workshop on Real Time Programming |
Soggetto topico |
Real-time programming
Computer programming |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Front Cover; Real Time Programming 1977; Copyright Page; Table of Contents; PREFACE; HOW TO MASTER COMPLEXITY: DECOMPLEXING; SESSION I: REAL-TIME PROGRAMMING LANGUAGES; Chapter 1. EXPERIENCE WITH THE PROGRAMMING LANGUAGE MODULA; Abstract; 1 Introduction; 2 Summary of the Language; 3 A MODULA Compiler; 4 A Real-Time Scheduler; 5 Conclusions; 6 References; Acknowledgement; Chapter 2. A FLEXIBLE APPROACH TO PROCESS COMMUNICATION; ABSTRACT; INTRODUCTION; DATA-STATIONS; INTERFACES; SETTING UP DATA-PATHS; SYNCHRONIZING DATA-PATHS; USING DATA-PATHS; SUMMARY; REFERENCES
Chapter 3. HIGH LEVEL PROCESS CONTROL LANGUAGE ""ESPRIT"" AND ITS SOURCE LEVEL DEBUGGING SYSTEM ""SOLDA""INTRODUCTION; ESPRIT (Essential PRogramming language as Industrial Tool); Program Structure and Date Types; Expression and Statements; Real Time Facilities; Other Facilities; Implementation; SOLDA (SOurce Level Debugging Aids); Outline of SOLDA System; Debug Modes; Debug Procedures; CONCLUSION; REFERENCES; DISCUSSION; SESSION II: METHODS AND TOOLS FOR REAL-TIME SYSTEM DESCRIPTION; Chapter 4. COMPILING GAELIC: A GLOBAL REAL TIME LANGUAGE ; ABSTRACT; INTRODUCTION; 1.- Modules 2.- Control schemaCONCLUSION; REFERENCES; APPENDIX; Chapter 5. A NEW SET OF SOFTWARE TOOLS FOR DESIGNING AND REALIZING DISTRIBUTED SYSTEMS IN PROCESS CONTROL; ABSTRACT; INTRODUCTION; 1 . SYSTEN DECOMPOSITION; 2. DISTRIBUTED IMPLEMENTATION OF THE TASKS AND MODULES; CONCLUSION; ACKNOWLEDGEMENTS; REFERENCES; Chapter 6. STEPS TOWARDS THE IMPLEMENTATION OF A PARALLEL CODE EXECUTOR; Abstract; Situation of realtime programming; Challenge of the new hardware; Constructing a realtime system; The PARC construct; Structure of a PARC Executor; Classes of actions in such a system; INIT High level programmingThe intermediate level; Synchronisation; Creation of conditions; Calculation of guards; Sequential I/O; Example guillotine; The simple hardware solution for the PARC executor; Testing; How to extend the concept; Is distribution possible?; Future work; REFERENCES; Chapter 7. SOFTWARE SPECIFICATION LANGUAGE FOR SEQUENTIAL PROCESSES; ABSTRACT; INTRODUCTION; STATE GRAPHS AS A MODEL FOR AUTOMATA; THE C.S. SPECIFICATION LANGUAGE; IMPLEMENTATION; CONCLUSION; REFERENCES; Chapter 8. PETRI NETS FOR PROVING SOME CORRECTNESS PROPERTIES OF PARALLEL PROGRAMS; ABSTRACT; 1. INTRODUCTION 2. PETRI NETS3. PETRI NET APPLICATION TO PROGRAMS; 4. CONCLUSIONS; REFERENCES:; DISCUSSION; SESSION III: MULTIPROCESSOR AND DISTRIBUTED REAL-TIME SYSTEMS; Chapter 9. A REAL-TIME DISTRIBUTED PROCESSING SYSTEM USING GEC 4000 SERIES COMPUTERS; INTRODUCTION; ARCHITECTURE OF DISTRIBUTED COMPUTING SYSTEMS; SYSTEM STRUCTURE; AN EXPERIMENT IN DISTRIBUTED PROCESSING; PROBLEM AREAS FOR INVESTIGATION; CONCLUSIONS; REFERENCES; Chaptr 10. THE INTEGRATION OF HIGH LEVEL INTERPRETIVE SOFTWARE WITH MICROPROCESSOR BASED DISTRIBUTED CONTROL SYSTEMS; ABSTRACT; INTRODUCTION; DISTRIBUTED ARCHITECTURE NODE HARDWARE |
Record Nr. | UNINA-9910136634203321 |
Oxford, [England] : , : Pergamon Press, , 1978 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Real-time multiprocessor programming language (RTMPL) : users manual / / Dale J. Arpasi |
Autore | Arpasi Dale J. |
Pubbl/distr/stampa | Washington, D.C. : , : National Aeronautics and Space Administration, Scientific and Technical Information Branch, , June 1985 |
Descrizione fisica | 1 online resource (iv, 110 pages) : illustrations |
Collana | NASA technical paper |
Soggetto topico |
Programming languages
Real time operation Multiprocessing (computers) Data transfer User manuals (computer programs) Real-time programming Programming languages (Electronic computers) Multiprocessors Dynamics - Computer simulation |
Soggetto genere / forma | Handbooks and manuals. |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | Real-time multiprocessor programming language |
Record Nr. | UNINA-9910709796103321 |
Arpasi Dale J. | ||
Washington, D.C. : , : National Aeronautics and Space Administration, Scientific and Technical Information Branch, , June 1985 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Real-time Systems / / edited by Kuodi Jian |
Pubbl/distr/stampa | Rijeka, Croatia : , : InTech, , 2016 |
Descrizione fisica | 1 online resource (180 pages) : illustrations some color |
Disciplina | 004.33 |
Soggetto topico |
Real-time programming
Operating systems (Computers) |
ISBN |
953-51-6654-9
953-51-2397-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910136964303321 |
Rijeka, Croatia : , : InTech, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Real-time systems development [[electronic resource] /] / Rob Williams |
Autore | Williams Rob <1948-> |
Edizione | [1st edition] |
Pubbl/distr/stampa | Oxford ; ; Burlington, MA, : Elsevier Butterworth-Heinemann, 2006 |
Descrizione fisica | 1 online resource (468 p.) |
Disciplina | 005.273 |
Soggetto topico |
Real-time programming
Real-time data processing |
Soggetto genere / forma | Electronic books. |
ISBN |
1-280-63910-5
9786610639106 0-08-045640-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Introduction to real-time systems -- 2. Implementing simple real-time systems -- 3. Basic input and output -- 4. Cyclic executives for bare hardware -- 5. Finite state machines - design tool -- 6. Finite state machines - implementation options -- 7. Why multi-task? -- 8. Task communication and synchronization -- 9. Real-time executives -- 10. Using input/output interfaces -- 11. Structured design for real-time systems -- 12. Designing for multi-tasking -- 13. UML for real-time systems -- 14. Object-oriented approach for real-time systems -- 15. System integrity -- 16. Languages for RTS development - C, Ada and Java -- 17. Cross-development techniques -- 18. Microcontroller embedded systems -- 19. Linux device drivers -- 20. Hardware/software co-design -- App. A. Using an oscilloscope for software debugging. |
Record Nr. | UNINA-9910457707603321 |
Williams Rob <1948-> | ||
Oxford ; ; Burlington, MA, : Elsevier Butterworth-Heinemann, 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Real-time systems development [[electronic resource] /] / Rob Williams |
Autore | Williams Rob <1948-> |
Edizione | [1st edition] |
Pubbl/distr/stampa | Oxford ; ; Burlington, MA, : Elsevier Butterworth-Heinemann, 2006 |
Descrizione fisica | 1 online resource (468 p.) |
Disciplina | 005.273 |
Soggetto topico |
Real-time programming
Real-time data processing |
ISBN |
1-280-63910-5
9786610639106 0-08-045640-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Introduction to real-time systems -- 2. Implementing simple real-time systems -- 3. Basic input and output -- 4. Cyclic executives for bare hardware -- 5. Finite state machines - design tool -- 6. Finite state machines - implementation options -- 7. Why multi-task? -- 8. Task communication and synchronization -- 9. Real-time executives -- 10. Using input/output interfaces -- 11. Structured design for real-time systems -- 12. Designing for multi-tasking -- 13. UML for real-time systems -- 14. Object-oriented approach for real-time systems -- 15. System integrity -- 16. Languages for RTS development - C, Ada and Java -- 17. Cross-development techniques -- 18. Microcontroller embedded systems -- 19. Linux device drivers -- 20. Hardware/software co-design -- App. A. Using an oscilloscope for software debugging. |
Record Nr. | UNINA-9910784448003321 |
Williams Rob <1948-> | ||
Oxford ; ; Burlington, MA, : Elsevier Butterworth-Heinemann, 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Real-time systems development [[electronic resource] /] / Rob Williams |
Autore | Williams Rob <1948-> |
Edizione | [1st edition] |
Pubbl/distr/stampa | Oxford ; ; Burlington, MA, : Elsevier Butterworth-Heinemann, 2006 |
Descrizione fisica | 1 online resource (468 p.) |
Disciplina | 005.273 |
Soggetto topico |
Real-time programming
Real-time data processing |
ISBN |
1-280-63910-5
9786610639106 0-08-045640-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Introduction to real-time systems -- 2. Implementing simple real-time systems -- 3. Basic input and output -- 4. Cyclic executives for bare hardware -- 5. Finite state machines - design tool -- 6. Finite state machines - implementation options -- 7. Why multi-task? -- 8. Task communication and synchronization -- 9. Real-time executives -- 10. Using input/output interfaces -- 11. Structured design for real-time systems -- 12. Designing for multi-tasking -- 13. UML for real-time systems -- 14. Object-oriented approach for real-time systems -- 15. System integrity -- 16. Languages for RTS development - C, Ada and Java -- 17. Cross-development techniques -- 18. Microcontroller embedded systems -- 19. Linux device drivers -- 20. Hardware/software co-design -- App. A. Using an oscilloscope for software debugging. |
Record Nr. | UNINA-9910815970803321 |
Williams Rob <1948-> | ||
Oxford ; ; Burlington, MA, : Elsevier Butterworth-Heinemann, 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Real-Time Systems Symposium, 18th IEEE (RTSS '97) |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1997 |
Descrizione fisica | 1 online resource (xi, 341 pages) : illustrations |
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. | UNISA-996217800903316 |
[Place of publication not identified], : IEEE Computer Society Press, 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Resource management in real-time systems and networks / / C. Siva Ram Murthy and G. Manimaran |
Autore | Murthy C. Siva Ram |
Pubbl/distr/stampa | Cambridge, Massachusetts : , : MIT Press, , 2001 |
Descrizione fisica | 1 PDF (xiv, 450 pages) : illustrations |
Disciplina | 005.273 |
Altri autori (Persone) | ManimaranG |
Soggetto topico |
Real-time programming
Computer networks |
ISBN |
0-262-29220-3
1-282-09664-8 9786612096648 0-262-25670-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910260656403321 |
Murthy C. Siva Ram | ||
Cambridge, Massachusetts : , : MIT Press, , 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Unity 3D game development by example [[electronic resource] ] : beginner's guide : a seat-of-your-pants manual for building fun, groovy little games quickly / / Ryan Henson Creighton |
Autore | Creighton Ryan Henson |
Edizione | [1st edition] |
Pubbl/distr/stampa | Birmingham [U.K.], : Packt Pub., 2010 |
Descrizione fisica | 1 online resource (384 p.) |
Disciplina |
006.6
794.8 |
Soggetto topico |
Computer games - Programming
Three-dimensional display systems Real-time programming Computer graphics |
Soggetto genere / forma | Electronic books. |
ISBN |
1-282-81934-8
9786612819346 1-84969-055-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Cover; Copyright; Credits; About the Author; About the Reviewers; Table of Contents; Preface; Chapter 1:That's One Fancy Hammer!; Introducing Unity 3D; Unity takes over the world; Browser-based 3D? Welcome to the future; Time for action - install the Unity Web Player; Welcome to Unity 3D!; What can I build with Unity?; FusionFall; Completely hammered; Should we try to build FusionFall?; Another option; Off-Road Velociraptor Safari; Fewer features, more promise; Maybe we should build Off-Road Velociraptor Safari?; I bent my Wooglie; Big Fun Racing; Diceworks
Walk before you can run (or double jump)There's no such thing as ""finished""; Stop! Hammer time; Explore Demo island; The wonders of technology!; The Scene window; The Game window; The Hierarchy; The Project panel; The Inspector; Invade Island Demo as a paratrooper; Layers and layout dropdowns; Playback controls; Scene controls; Don't stop there-live a little!; Summary; Big ambition, tiny games; Chapter 2:Let's Start with the Sky; That little lightbulb; The siren song of 3D; Features versus content; A game with no features; Mechanic versus skin; Trapped in your own skin That singular piece of joyOne percent inspiration; Motherload; Heads up!; Artillery Live!; Pong; The mechanic that launched a thousand games; Toy or story; Redefining the sky; Summary; Let's begin; Chapter 3:Game #1: Ticker Taker; Kick up a new Unity project; Where did everything go?; 'Tis volley; Keep the dream alive; Slash and burn!; The many faces of keep-up; Creating the ball and the hitter; Time for action - create the ball; A ball by any other name; Time for action - rename the ball; Origin story; XYZ/RGB; Time for action - move the ball into the ""sky"" Time for action - shrink the ballTime for action - save your Scene; Time for action - add the paddle; What's a Mesh?; Poly wanna crack your game performance?; Keeping yourself in the dark; Time for action - add a light; Time for action - move and rotate the light; Extra credit; Are you a luminary?; Who turned out the lights?; Darkness reigns; Time for action - test your game; Let's get physical; Time for action - add physics to your game; Understanding the gravity of the situation; More bounce to the ounce; Time for action - make the ball bouncy; Summary; Following the script Chapter 4:Code ComfortWhat is code?; Time for action - write your first Unity Script; A leap of faith; Lick it and stick it; Disappear Me!; It's all Greek to me; You'll never go hungry again; With great sandwich comes great responsibility; Examining the code; Time for action - find the Mesh Renderer component; Time for action - make the ball reappear; Ding!; Time for action - journey to the Unity Script Reference; The Renderer class; What's another word for ""huh""?; It's been fun; Time for action - unstick the Script; Gone, but not forgotten; Why code?; Equip your baby bird Time for action - create a new MouseFollow Script |
Record Nr. | UNINA-9910459220503321 |
Creighton Ryan Henson | ||
Birmingham [U.K.], : Packt Pub., 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|