↓ Skip to main content

Real Time Computing

Overview of attention for book
Cover of 'Real Time Computing'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Fundamentals of Real-Time Scheduling (Extended Abstract)
  3. Altmetric Badge
    Chapter 2 Algorithmic Methods for Real-Time Scheduling
  4. Altmetric Badge
    Chapter 3 Engineering Predictable Real-Time Systems
  5. Altmetric Badge
    Chapter 4 Real-Time Operating Systems: Can Theoretical Solutions Match with Practical Needs
  6. Altmetric Badge
    Chapter 5 Real-Time Operating Systems
  7. Altmetric Badge
    Chapter 6 Synchronization Techniques, Illustrated by the Concepts of the Dependable Distributed Operating System DEDOS
  8. Altmetric Badge
    Chapter 7 Communications for Real-Time Industrial Control: The Design Issues
  9. Altmetric Badge
    Chapter 8 Safety Engineering and Assurance for Real-Time Systems
  10. Altmetric Badge
    Chapter 9 Safety Licensing and Formal Correctness of High Integrity Embedded Systems
  11. Altmetric Badge
    Chapter 10 Formal Specification and Timing Analysis of High-Integrity Real-Time Systems
  12. Altmetric Badge
    Chapter 11 Predictability and Techniques for Schedulability Analysis
  13. Altmetric Badge
    Chapter 12 A Distributed, Fault-Tolerant Real-Time Language
  14. Altmetric Badge
    Chapter 13 An Overview of Real-Time Database Systems
  15. Altmetric Badge
    Chapter 14 Is Time a Real Time? An Overview of Time Ontology in Informatics
  16. Altmetric Badge
    Chapter 15 A Consensus-Based Framework for Responsive Computer System Design
  17. Altmetric Badge
    Chapter 16 Static Models and Simulation Engine for Time-Analysis and Verification of Mission-Critical Distributed Systems
  18. Altmetric Badge
    Chapter 17 Asynchronous Decentralized Realtime Computer Systems
  19. Altmetric Badge
    Chapter 18 Design of Real-Time Fault-Tolerant Computing Stations
  20. Altmetric Badge
    Chapter 19 Graphical Design of Real Time Applications
  21. Altmetric Badge
    Chapter 20 HARTS: A Distributed Real-Time Architecture
  22. Altmetric Badge
    Chapter 21 Knowledge-Based Techniques with Special Emphasis on Real-Time Expert Systems
  23. Altmetric Badge
    Chapter 22 Requirements Engineering and Design Tools for Real-Time Systems: the Protob Approach
  24. Altmetric Badge
    Chapter 23 The Role of Standards in Real-Time Systems
  25. Altmetric Badge
    Chapter 24 Design of the Local Network Administrator in the Maritime Information Technology Standard (MITS) Real-Time Network
  26. Altmetric Badge
    Chapter 25 The Reality of a Real-Time UNIX Operating System
  27. Altmetric Badge
    Chapter 26 Real Time Aspects of Manned Space Flight Avionics Computing
  28. Altmetric Badge
    Chapter 27 Issues in Object-Oriented Real-Time Language Design
  29. Altmetric Badge
    Chapter 28 Combat System Prerequisites on Supercomputer Performance Analysis
  30. Altmetric Badge
    Chapter 29 Concurrent Engineering of Real-Time Systems Through Heterogeneous Prototypes
  31. Altmetric Badge
    Chapter 30 On-Line Surveillance and Diagnostic System for Nuclear Power Plant Monitoring
  32. Altmetric Badge
    Chapter 31 A Toolset for Developing Real-Time Systems
  33. Altmetric Badge
    Chapter 32 Integration of Large Scale Systems
  34. Altmetric Badge
    Chapter 33 Architectural Design Considerations for Critical Real-Time Systems
  35. Altmetric Badge
    Chapter 34 Head Up Display. Requirements on an Avionic System
  36. Altmetric Badge
    Chapter 35 On Design and Practice of Fault-Tolerant Real-Time Computer Systems
  37. Altmetric Badge
    Chapter 36 The Design of Distributed, Dependable Real-Time Systems Using a Functional Paradigm
  38. Altmetric Badge
    Chapter 37 Goal Oriented Resource Management
  39. Altmetric Badge
    Chapter 38 Experiences with Distributed Data Management in Real-Time C 3 Systems
  40. Altmetric Badge
    Chapter 39 The Impact of Real-Time on the Fault-Tolerant Distributed RDC-System
  41. Altmetric Badge
    Chapter 40 Annotation for System Engineering of Large, Complex, Real-Time Systems
  42. Altmetric Badge
    Chapter 41 Real-Time CAN Control Systems in Weaving Machines
  43. Altmetric Badge
    Chapter 42 Portability and Reusability in Real Time Systems
  44. Altmetric Badge
    Chapter 43 US Navy Next Generation Computer Resources Operating System Performance Measurement Guidelines
  45. Altmetric Badge
    Chapter 44 A Generic Systems Integration Framework for Large and Time-Critical Systems
  46. Altmetric Badge
    Chapter 45 A Dependable Distributed Software Architecture
  47. Altmetric Badge
    Chapter 46 Technology Transition: Rate Monotonic Analysis in Real-System Developments
  48. Altmetric Badge
    Chapter 47 Scheduling in Fieldbus Based Real-Time Systems
  49. Altmetric Badge
    Chapter 48 Ship System 2000
  50. Altmetric Badge
    Chapter 49 Adaptive Fault Management
  51. Altmetric Badge
    Chapter 50 Programming Language Standardization. A Case Study for Forth
  52. Altmetric Badge
    Chapter 51 Monitoring of Distributed Real-Time Systems
  53. Altmetric Badge
    Chapter 52 State-of-the-Art in Real-Time Computing Research, Development and Technology
  54. Altmetric Badge
    Chapter 53 The State-of-the-Art in Real-Time Computing
  55. Altmetric Badge
    Chapter 54 The Role of Academia, Industry and Government in Real-Time Computing
  56. Altmetric Badge
    Chapter 55 The Role of Academia, Industry and Government in Real-Time Computing
  57. Altmetric Badge
    Chapter 56 Towards Process-Oriented Technology Transfer between Academia and Industry
  58. Altmetric Badge
    Chapter 57 What Role Should Be Played by Slovenia in Real-Time Computing Research, Development and Technology
  59. Altmetric Badge
    Chapter 58 The Next Generation of Real-Time Operating Systems and Languages
  60. Altmetric Badge
    Chapter 59 Next Generation of Real-Time Operating Systems: Industrial Prospective
  61. Altmetric Badge
    Chapter 60 The United States Navy’s Next Generation Computer Resources Program and the Testing Issues of Standardized Real-Time Operating Systems
  62. Altmetric Badge
    Chapter 61 Building Systems the Old Fashioned Way
  63. Altmetric Badge
    Chapter 62 Hard, Soft, and Hybrid Computer Systems
  64. Altmetric Badge
    Chapter 63 Hard, Soft, Hybrid Real-Time Systems and Their Uses
  65. Altmetric Badge
    Chapter 64 Hard, Soft, Real-Time Systems and Their Use
  66. Altmetric Badge
    Chapter 65 A New Specification/Design/Implementation Paradigm for Real-Time Avionics Architecture and Systems
  67. Altmetric Badge
    Chapter 66 What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications?
  68. Altmetric Badge
    Chapter 67 What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications?
  69. Altmetric Badge
    Chapter 68 What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications?
  70. Altmetric Badge
    Chapter 69 Object-Oriented Real-Time Computing
  71. Altmetric Badge
    Chapter 70 What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications?
  72. Altmetric Badge
    Chapter 71 Formal Methods for Real-Time Systems
  73. Altmetric Badge
    Chapter 72 The Role of Formal Methods and Algorithms in Real-Time Computing
  74. Altmetric Badge
    Chapter 73 Formal Methods: Yes but How ?
  75. Altmetric Badge
    Chapter 74 Formal Methods for Fault-Tolerant, Real-Time System Design
  76. Altmetric Badge
    Chapter 75 Next-Generation Real-Time Database Management and Databases
  77. Altmetric Badge
    Chapter 76 Real-Time Databases
  78. Altmetric Badge
    Chapter 77 VOTRICS: A Highly Predictable Fault Tolerant System Architecture
  79. Altmetric Badge
    Chapter 78 Predictability Versus Adaptability
  80. Altmetric Badge
    Chapter 79 Predictability Versus Adaptability in Real-Time Computing Thomas
  81. Altmetric Badge
    Chapter 80 The Role of Standards in Real-Time Computing
  82. Altmetric Badge
    Chapter 81 The Role of Standards in Real-Time Computing
  83. Altmetric Badge
    Chapter 82 Tradeoffs in Real Time Protocol Standardization
  84. Altmetric Badge
    Chapter 83 Statement on a Concept for Dynamic Testing in Four Sequential Steps During Software Development
  85. Altmetric Badge
    Chapter 84 Dependability of Telecommunication Software
  86. Altmetric Badge
    Chapter 85 Using Integration Architectures for Systems Development
  87. Altmetric Badge
    Chapter 86 Software Life Cycle of Real-Time Systems
  88. Altmetric Badge
    Chapter 87 What Should We Focus on in the Next Five Years?
  89. Altmetric Badge
    Chapter 88 What Shall We Focus on in the Next Five Years?
  90. Altmetric Badge
    Chapter 89 Next Step: Responsive Multicomputer Systems
  91. Altmetric Badge
    Chapter 90 What Should Be Focussed on in the Next Five Years?
  92. Altmetric Badge
    Chapter 91 What Should We Focus on in the Next Five Years?
  93. Altmetric Badge
    Chapter 92 What Should We Focus on in the Next Five Years?
  94. Altmetric Badge
    Chapter 93 Instrumentation for Real-Time Programs in Parallel Environments
  95. Altmetric Badge
    Chapter 94 CORTO: High Availability in a Real-Time System
  96. Altmetric Badge
    Chapter 95 Multicast Protocols: Combining Real-Time and Reliability
  97. Altmetric Badge
    Chapter 96 Towards Heterogeneous Real-Time Knowledge-Based Systems
  98. Altmetric Badge
    Chapter 97 Propagating Quantitative Temporal Constraints into the Software Design: A Formal Approach for Practitioners
  99. Altmetric Badge
    Chapter 98 Scheduling Tasks and Traffic in Fieldbus Based Real-Time Systems
  100. Altmetric Badge
    Chapter 99 Real-Time: The Uncertainty Between Sensor and Process Requirements in Computer Vision
  101. Altmetric Badge
    Chapter 100 Near Real-Time Pattern Recognition in a Special Purpose Computer with Parallel Architecture
  102. Altmetric Badge
    Chapter 101 Verification and Validation in the Life-Cycle of Real-Time Software Development
  103. Altmetric Badge
    Chapter 102 Real-Time Rule Based Control of Robot Motion
  104. Altmetric Badge
    Chapter 103 Resource Management and Security in Supervisory Control Systems
  105. Altmetric Badge
    Chapter 104 The Need for a New Generation of Integrated Systems Software for Real-Time Applications
  106. Altmetric Badge
    Chapter 105 Testing by Executing Logic Specifications
  107. Altmetric Badge
    Chapter 106 Finite Time Semantics for Executable Logic Specifications
  108. Altmetric Badge
    Chapter 107 Formal Specifications for Real-Time Fault-Tolerant Systems
  109. Altmetric Badge
    Chapter 108 Real-Time Systems Theory and Practice Can We Bridge the Gap?
  110. Altmetric Badge
    Chapter 109 Real-Time Communication Networks
  111. Altmetric Badge
    Chapter 110 Usability of ATM Connections for Sensitive Real-Time Systems
  112. Altmetric Badge
    Chapter 111 Real Time Computing Requirements of the “Fieldbus”
  113. Altmetric Badge
    Chapter 112 Robust Sampling for Process Control
  114. Altmetric Badge
    Chapter 113 A Real-Time Image Processing Language?
  115. Altmetric Badge
    Chapter 114 Static Analysis: Hard Real Time is Hard, “Big Time!”
  116. Altmetric Badge
    Chapter 115 GranAda: A Distributed Real-Time Language
  117. Altmetric Badge
    Chapter 116 Real-Time Database System Design
  118. Altmetric Badge
    Chapter 117 Distributed Transport Systems and Aspects of Real Time
  119. Altmetric Badge
    Chapter 118 System Level Real Time Distributed Diagnosis
  120. Altmetric Badge
    Chapter 119 Simulation-Based Analysis for Real-Time Systems Development
  121. Altmetric Badge
    Chapter 120 Functional Versus Non-Functional Requirements Analysis
  122. Altmetric Badge
    Chapter 121 An Overview of the HOOD Software Design Method
  123. Altmetric Badge
    Chapter 122 Configuring Hard Real-Time Distributed Systems
  124. Altmetric Badge
    Chapter 123 Towards Provable Correct Real-Time Systems
  125. Altmetric Badge
    Chapter 124 Real-Time Systems in the Field of Mechatronics
  126. Altmetric Badge
    Chapter 125 Off-Line Scheduling of Hard Real-Time Distributed Systems Using Windows
  127. Altmetric Badge
    Chapter 126 Formal Methods and Algorithms for Parallel Real-Time Computing
  128. Altmetric Badge
    Chapter 127 Techniques for Complex Systems Development
  129. Altmetric Badge
    Chapter 128 Formal Methods — How to Make Them Understandable and Usable for Engineers?
  130. Altmetric Badge
    Chapter 129 Minutes of the Birds-of-a-Feather Session on “Real-Time Systems Education”
  131. Altmetric Badge
    Chapter 130 “Birds-of-a-Feather-Group” on Safety Critical Systems
  132. Altmetric Badge
    Chapter 131 What Will We Get from Real-Time Research Within the Next 50 Years (1992–2042)
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Readers on

mendeley
5 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Real Time Computing
Published by
Springer Berlin Heidelberg, December 2013
DOI 10.1007/978-3-642-88049-0
ISBNs
978-3-64-288051-3, 978-3-64-288049-0
Editors

Halang, Wolfgang A., Stoyenko, Alexander D.

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 5 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 5 100%

Demographic breakdown

Readers by professional status Count As %
Professor 1 20%
Student > Ph. D. Student 1 20%
Unknown 3 60%
Readers by discipline Count As %
Arts and Humanities 1 20%
Social Sciences 1 20%
Unknown 3 60%