Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
Skip header Section
Real-Time SystemsApril 2000
Publisher:
  • Prentice Hall PTR
  • Upper Saddle River, NJ
  • United States
ISBN:978-0-13-099651-0
Published:01 April 2000
Pages:
624
Skip Bibliometrics Section
Reflects downloads up to 13 Nov 2024Bibliometrics
Skip Abstract Section
Abstract

From the Publisher: Real-Time Systems is both a valuable reference for professionals and an advanced text for Computer Science and Computer Engineering students. Real world real-time applications based on research and practice State-of-the-art algorithms and methods for validation Methods for end-to-end scheduling and resource management More than 100 illustrations to enhance understanding Comprehensive treatment of the technology known as RMA (rate-monotonic analysis) methods A supplemental Companion Website www.prenhall.com/liu

Cited By

  1. Wang Q, Huang J and Xu Y (2024). Scheduling of Real-Time Wireless Flows: A Comparative Study of Centralized and Decentralized Reinforcement Learning Approaches, IEEE/ACM Transactions on Networking, 32:5, (3699-3714), Online publication date: 1-Oct-2024.
  2. Shi J, Ma A, Cheng X, Sha M and Xi P (2024). Adapting Wireless Network Configuration From Simulation to Reality via Deep Learning-Based Domain Adaptation, IEEE/ACM Transactions on Networking, 32:3, (1983-1998), Online publication date: 1-Jun-2024.
  3. dos Santos L, Gracioli G, Kloda T and Caccamo M (2023). Supporting single and multi-core resource access protocols on object-oriented RTOSes, Design Automation for Embedded Systems, 27:1-2, (31-50), Online publication date: 1-Jun-2023.
  4. Mello B and Wainer G (2022). Integrating I-DEVS and schedulability methods for analyzing real-time systems constraints, Simulation, 98:12, (1143-1159), Online publication date: 1-Dec-2022.
  5. Gruzlikov A, Kolesov N, Litunenko E and Skorodumov Y (2022). Optimization of Information Exchange in a Network of Autonomous Participants, Journal of Computer and Systems Sciences International, 61:6, (935-943), Online publication date: 1-Dec-2022.
  6. Sedaghat S and Jahangir A (2022). FRT-SDN: an effective firm real time routing for SDN by early removal of late packets, Telecommunications Systems, 80:3, (359-382), Online publication date: 1-Jul-2022.
  7. ACM
    Shi J, Chen X and Sha M (2021). Enabling Cross-technology Communication from LoRa to ZigBee in the 2.4 GHz Band, ACM Transactions on Sensor Networks, 18:2, (1-23), Online publication date: 31-May-2022.
  8. ACM
    Gog I, Kalra S, Schafhalter P, Gonzalez J and Stoica I D3 Proceedings of the Seventeenth European Conference on Computer Systems, (453-471)
  9. Behera L (2022). A fault-tolerant time-triggered scheduling algorithm of mixed-criticality systems, Computing, 104:3, (577-599), Online publication date: 1-Mar-2022.
  10. Gruzlikov A and Kolesov N (2021). Using Solvable Real Time Classes for Jitter-Minimized Planning, Journal of Computer and Systems Sciences International, 60:6, (895-903), Online publication date: 1-Nov-2021.
  11. Sedaghat S and Jahangir A (2021). R2T-DSDN: reliable real-time distributed controller-based SDN, The Journal of Supercomputing, 77:11, (12420-12457), Online publication date: 1-Nov-2021.
  12. Bril R Exact analysis for basic multi-rate cyclic executives IECON 2021 – 47th Annual Conference of the IEEE Industrial Electronics Society, (1-6)
  13. Bril R An Optimal Order Assignment Algorithm for Single-Rate Time-Driven AFAP Cyclic Executives 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ), (01-04)
  14. Bril R Exact analysis for basic single-rate cyclic executives 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ), (1-8)
  15. Niu L Reliability-Aware Scheduling for Periodic Tasks Requiring (m,k)-firm Real-Time Data Processing 2021 IEEE 22nd International Conference on Information Reuse and Integration for Data Science (IRI), (69-74)
  16. Auroux S, Parruca D and Karl H Joint real-time scheduling and interference coordination for wireless factory automation 2016 IEEE 27th Annual International Symposium on Personal, Indoor, and Mobile Radio Communications (PIMRC), (1-6)
  17. Pinto M, Wehrmeister M and de Oliveira A (2021). Real-Time Performance Evaluation for Robotics, Journal of Intelligent and Robotic Systems, 101:2, Online publication date: 1-Feb-2021.
  18. Ghosh S, Cuevas M, Campanoni S and Dinda P Compiler-based timing for extremely fine-grain preemptive parallelism Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, (1-15)
  19. El Ghor H and Aggoune E (2016). Energy efficient scheduler of aperiodic jobs for real-time embedded systems, International Journal of Automation and Computing, 17:5, (733-743), Online publication date: 1-Oct-2020.
  20. Bateni S and Liu C NeuOS Proceedings of the 2020 USENIX Conference on Usenix Annual Technical Conference, (371-385)
  21. Tavassoli S, Khosravi R and Khamespanah E Finite Interval-Time Transition System for Real-Time Actors Topics in Theoretical Computer Science, (85-100)
  22. Derafshi D, Norollah A, Khosroanjam M and Beitollahi H (2020). HRHS: A High-Performance Real-Time Hardware Scheduler, IEEE Transactions on Parallel and Distributed Systems, 31:4, (897-908), Online publication date: 1-Apr-2020.
  23. Zhang X, Urban C and Wu C (2019). Priority Inheritance Protocol Proved Correct, Journal of Automated Reasoning, 64:1, (73-95), Online publication date: 1-Jan-2020.
  24. Groba Á, Lobo P and Chavarrías M (2019). QoE-Aware Dual Control System to Guarantee Battery Lifetime for Mobile Video Applications, IEEE Transactions on Consumer Electronics, 65:4, (454-463), Online publication date: 1-Nov-2019.
  25. Socci D, Poplavko P, Bensalem S and Bozga M (2019). Priority-based scheduling of mixed-critical jobs, Real-Time Systems, 55:4, (709-773), Online publication date: 1-Oct-2019.
  26. Jin X, Saifullah A, Lu C and Zeng P Real-Time Scheduling for Event-Triggered and Time-Triggered Flows in Industrial Wireless Sensor-Actuator Networks IEEE INFOCOM 2019 - IEEE Conference on Computer Communications, (1684-1692)
  27. Cañas V, Sánchez E, Botsch M and Garcia A Wireless Communication System for the Validation of Autonomous Driving Functions on Full-Scale Vehicles 2018 IEEE International Conference on Vehicular Electronics and Safety (ICVES), (1-6)
  28. Silva K, Arcaro L, de Oliveira D and de Oliveira R An Empirical Study on the Adequacy of MBPTA for Tasks Executed on a Complex Computer Architecture with Linux 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), (321-328)
  29. Gutiérrez J and Pérez H Theory and Practice of EDF Scheduling in Distributed Real-Time Systems Reliable Software Technologies – Ada-Europe 2018, (123-137)
  30. Nikolov D and Larsson E (2016). Optimizing the Level of Confidence for Multiple Jobs, IEEE Transactions on Computers, 65:4, (1239-1252), Online publication date: 1-Apr-2016.
  31. Huang W and Chen J Self-suspension real-time tasks under fixed-relative-deadline fixed-priority scheduling Proceedings of the 2016 Conference on Design, Automation & Test in Europe, (1078-1083)
  32. Kostrzewa A, Saidi S and Ernst R Slack-based resource arbitration for real-time networks-on-chip Proceedings of the 2016 Conference on Design, Automation & Test in Europe, (1012-1017)
  33. Yan Zhou and Kyoung-Don Kang (2015). Deadline Assignment and Feedback Control for Differentiated Real-Time Data Services, IEEE Transactions on Knowledge and Data Engineering, 27:12, (3245-3257), Online publication date: 1-Dec-2015.
  34. ACM
    Wang X, Mizuno M, Neilsen M, Ou X, Rajagopalan S, Boldwin W and Phillips B Secure RTOS Architecture for Building Automation Proceedings of the First ACM Workshop on Cyber-Physical Systems-Security and/or PrivaCy, (79-90)
  35. ACM
    Kuo C, Lu Y and Chou S Adjustable deadline assignment for end-to-end tasks Proceedings of the 2015 Conference on research in adaptive and convergent systems, (389-394)
  36. Rivas J, Gutierrez J, Palencia J and Gonzalez Harbour M (2015). Deadline Assignment in EDF Schedulers for Real-Time Distributed Systems, IEEE Transactions on Parallel and Distributed Systems, 26:10, (2671-2684), Online publication date: 1-Oct-2015.
  37. Sadi Y and Coleri Ergen S (2015). Energy and Delay Constrained Maximum Adaptive Schedule for Wireless Networked Control Systems, IEEE Transactions on Wireless Communications, 14:7, (3738-3751), Online publication date: 1-Jul-2015.
  38. Shengyan Hong , Chantem T and Xiaobo Sharon Hu (2015). Local-Deadline Assignment for Distributed Real-Time Systems, IEEE Transactions on Computers, 64:7, (1983-1997), Online publication date: 1-Jul-2015.
  39. Minyoung Sung and Younghoo Ko (2015). Machine-learning-integrated load scheduling for reduced peak power demand, IEEE Transactions on Consumer Electronics, 61:2, (167-174), Online publication date: 1-May-2015.
  40. Saha S, Sarkar A and Chakrabarti A (2015). Scheduling Dynamic Hard Real-Time Task Sets on Fully and Partially Reconfigurable Platforms, IEEE Embedded Systems Letters, 7:1, (23-26), Online publication date: 1-Mar-2015.
  41. Nejati S, Adedjouma M, Briand L, Hellebaut J, Begey J and Clement Y Minimizing CPU time shortage risks in integrated embedded software Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering, (529-539)
  42. ACM
    Ding Y and Zhang W Improving the static real-time scheduling on multicore processors by reducing worst-case inter-thread cache interferences Proceedings of the 48th annual ACM Southeast Conference, (1-4)
  43. ACM
    Yang C, Chen J and Kuo T Energy-efficiency for multiframe real-time tasks on a dynamic voltage scaling processor Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis, (211-220)
  44. Min-Allah N, Yong-Ji W, Jian-Sheng X and Liu J Revisiting Fixed Priority Techniques Embedded and Ubiquitous Computing, (134-145)
  45. Baruah S and Fisher N (2007). The partitioned dynamic-priority scheduling of sporadic task systems, Real-Time Systems, 36:3, (199-226), Online publication date: 1-Aug-2007.
  46. Petriu D and Woodside M (2007). An intermediate metamodel with scenarios and resources for generating performance models from UML designs, Software and Systems Modeling (SoSyM), 6:2, (163-184), Online publication date: 1-Jun-2007.
  47. ACM
    Mukherjee T, Venkatasubramanian K and Gupta S Performance modeling of critical event management for ubiquitous computing applications Proceedings of the 9th ACM international symposium on Modeling analysis and simulation of wireless and mobile systems, (12-19)
  48. Han S and Park M Predictability of least laxity first scheduling algorithm on multiprocessor real-time systems Proceedings of the 2006 international conference on Emerging Directions in Embedded and Ubiquitous Computing, (755-764)
  49. ACM
    Chen J and Kuo T (2006). Procrastination for leakage-aware rate-monotonic scheduling on a dynamic voltage scaling processor, ACM SIGPLAN Notices, 41:7, (153-162), Online publication date: 12-Jul-2006.
  50. ACM
    Dandass Y and Bugde A Comparison of genetic representation schemes for scheduling soft real-time parallel applications Proceedings of the 8th annual conference on Genetic and evolutionary computation, (523-530)
  51. ACM
    Chen J and Kuo T Procrastination for leakage-aware rate-monotonic scheduling on a dynamic voltage scaling processor Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers, and tool support for embedded systems, (153-162)
  52. ACM
    Liu X, Ding H, Lee K, Sha L and Caccamo M (2006). Feedback fault tolerance of real-time embedded systems, ACM SIGBED Review, 3:2, (23-28), Online publication date: 1-Apr-2006.
  53. Hsu H, Chen J and Kuo T Multiprocessor synthesis for periodic hard real-time tasks under a given energy constraint Proceedings of the conference on Design, automation and test in Europe: Proceedings, (1061-1066)
  54. ACM
    Kang K and Son S (2006). Towards security and QoS optimization in real-time embedded systems, ACM SIGBED Review, 3:1, (29-34), Online publication date: 1-Jan-2006.
  55. Kim K, Diaz J, Lo Bello L, Lopez J, Lee C and Min S (2005). An Exact Stochastic Analysis of Priority-Driven Periodic Real-Time Systems and Its Approximations, IEEE Transactions on Computers, 54:11, (1460-1466), Online publication date: 1-Nov-2005.
  56. ACM
    Muppala J (2005). Experience with an embedded systems software course, ACM SIGBED Review, 2:4, (29-33), Online publication date: 1-Oct-2005.
  57. ACM
    El-Haj-Mahmoud A, AL-Zawawi A, Anantaraman A and Rotenberg E Virtual multiprocessor Proceedings of the 2005 international conference on Compilers, architectures and synthesis for embedded systems, (213-224)
  58. ACM
    Chen J, Kuo T and Shih C 1 + ε approximation clock rate assignment for periodic real-time tasks on a voltage-scaling processor Proceedings of the 5th ACM international conference on Embedded software, (247-250)
  59. Baker T (2005). An Analysis of EDF Schedulability on a Multiprocessor, IEEE Transactions on Parallel and Distributed Systems, 16:8, (760-768), Online publication date: 1-Aug-2005.
  60. ACM
    Farcas E, Farcas C, Pree W and Templ J (2005). Transparent distribution of real-time components based on logical execution time, ACM SIGPLAN Notices, 40:7, (31-39), Online publication date: 12-Jul-2005.
  61. ACM
    Briand L, Labiche Y and Shousha M Stress testing real-time systems with genetic algorithms Proceedings of the 7th annual conference on Genetic and evolutionary computation, (1021-1028)
  62. ACM
    Farcas E, Farcas C, Pree W and Templ J Transparent distribution of real-time components based on logical execution time Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, (31-39)
  63. ACM
    Jejurikar R and Gupta R Dynamic slack reclamation with procrastination scheduling in real-time embedded systems Proceedings of the 42nd annual Design Automation Conference, (111-116)
  64. Shi J, Goddard S, Lal A, Dumpert J and Farritor S (2005). Global Control of Robotic Highway Safety Markers, Real-Time Systems, 29:2-3, (183-204), Online publication date: 1-Mar-2005.
  65. ACM
    Lu Z, Jantsch A and Sander I Feasibility analysis of messages for on-chip networks using wormhole routing Proceedings of the 2005 Asia and South Pacific Design Automation Conference, (960-964)
  66. Bini E and Buttazzo G (2004). Schedulability Analysis of Periodic Fixed Priority Systems, IEEE Transactions on Computers, 53:11, (1462-1473), Online publication date: 1-Nov-2004.
  67. Sha L, Abdelzaher T, Årzén K, Cervin A, Baker T, Burns A, Buttazzo G, Caccamo M, Lehoczky J and Mok A (2004). Real Time Scheduling Theory, Real-Time Systems, 28:2-3, (101-155), Online publication date: 1-Nov-2004.
  68. ACM
    El-Haj-Mahmoud A and Rotenberg E Safely exploiting multithreaded processors to tolerate memory latency in real-time systems Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems, (2-13)
  69. ACM
    Jejurikar R and Gupta R Dynamic voltage scaling for systemwide energy minimization in real-time embedded systems Proceedings of the 2004 international symposium on Low power electronics and design, (78-81)
  70. ACM
    Patil K, Seth K and Mueller F (2004). Compositional static instruction cache simulation, ACM SIGPLAN Notices, 39:7, (136-145), Online publication date: 11-Jul-2004.
  71. ACM
    Jejurikar R and Gupta R (2004). Procrastination scheduling in fixed priority real-time systems, ACM SIGPLAN Notices, 39:7, (57-66), Online publication date: 11-Jul-2004.
  72. ACM
    Patil K, Seth K and Mueller F Compositional static instruction cache simulation Proceedings of the 2004 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, (136-145)
  73. ACM
    Jejurikar R and Gupta R Procrastination scheduling in fixed priority real-time systems Proceedings of the 2004 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, (57-66)
  74. ACM
    Jejurikar R, Pereira C and Gupta R Leakage aware dynamic voltage scaling for real-time embedded systems Proceedings of the 41st annual Design Automation Conference, (275-280)
  75. ACM
    Burns A, Dobbing B and Vardanega T (2004). Guide for the use of the Ada Ravenscar Profile in high integrity systems, ACM SIGAda Ada Letters, XXIV:2, (1-74), Online publication date: 1-Jun-2004.
  76. Baruah S (2004). Optimal Utilization Bounds for the Fixed-Priority Scheduling of Periodic Task Systems on Identical Multiprocessors, IEEE Transactions on Computers, 53:6, (781-784), Online publication date: 1-Jun-2004.
  77. Yang C, Deconinck G and Gui W (2004). Fault-tolerant scheduling for real-time embedded control systems, Journal of Computer Science and Technology, 19:2, (191-202), Online publication date: 1-Mar-2004.
  78. Wang J and Ravindran B (2004). Time-Utility Function-Driven Switched Ethernet, IEEE Transactions on Parallel and Distributed Systems, 15:2, (119-133), Online publication date: 1-Feb-2004.
  79. Ravindran B and Li P (2004). DPR, LPR, IEEE Transactions on Computers, 53:2, (201-216), Online publication date: 1-Feb-2004.
  80. Lee C, Sha L and Peddi A (2004). Enhanced Utilization Bounds for QoS Management, IEEE Transactions on Computers, 53:2, (187-200), Online publication date: 1-Feb-2004.
  81. ACM
    Lencevicius R and Ran A Applying fixed priority scheduling in practice Proceedings of the 4th international workshop on Software and performance, (156-160)
  82. ACM
    Lencevicius R and Ran A (2004). Applying fixed priority scheduling in practice, ACM SIGSOFT Software Engineering Notes, 29:1, (156-160), Online publication date: 1-Jan-2004.
  83. Lim S and Kim J (2004). Real-time broadcast algorithm for mobile computing, Journal of Systems and Software, 69:1-2, (173-181), Online publication date: 1-Jan-2004.
  84. Krishna C and Lee Y (2003). Voltage-Clock-Scaling Adaptive Scheduling Techniques for Low Power in Hard Real-Time Systems, IEEE Transactions on Computers, 52:12, (1586-1593), Online publication date: 1-Dec-2003.
  85. Baynes K, Collins C, Fiterman E, Ganesh B, Kohout P, Smit C, Zhang T and Jacob B (2003). The Performance and Energy Consumption of Embedded Real-Time Operating Systems, IEEE Transactions on Computers, 52:11, (1454-1469), Online publication date: 1-Nov-2003.
  86. ACM
    Kohout P, Ganesh B and Jacob B Hardware support for real-time operating systems Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, (45-51)
  87. ACM
    Ran A and Lencevicius R (2003). Making sense of runtime architecture for mobile phone software, ACM SIGSOFT Software Engineering Notes, 28:5, (367-370), Online publication date: 1-Sep-2003.
  88. ACM
    Ran A and Lencevicius R Making sense of runtime architecture for mobile phone software Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering, (367-370)
  89. Bini E, Buttazzo G and Buttazzo G (2003). Rate Monotonic Analysis, IEEE Transactions on Computers, 52:7, (933-942), Online publication date: 1-Jul-2003.
  90. ACM
    Jejurikar R and Gupta R Energy aware task scheduling with task synchronization for embedded real time systems Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems, (164-169)
  91. ACM
    Siddiqui K and Woodside C Performance aware software development (PASD) using resource demand budgets Proceedings of the 3rd international workshop on Software and performance, (275-285)
  92. ACM
    Dudani A, Mueller F and Zhu Y (2002). Energy-conserving feedback EDF scheduling for embedded systems with real-time constraints, ACM SIGPLAN Notices, 37:7, (213-222), Online publication date: 17-Jul-2002.
  93. ACM
    Dudani A, Mueller F and Zhu Y Energy-conserving feedback EDF scheduling for embedded systems with real-time constraints Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems, (213-222)
  94. Petrucci L, Kristensen L, Billington J and Qureshi Z Towards formal specification and analysis of avionics mission systems Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12, (95-104)
  95. Carothers C XSim Proceedings of the sixteenth workshop on Parallel and distributed simulation, (27-34)
  96. ACM
    Baynes K, Collins C, Fiterman E, Ganesh B, Kohout P, Smit C, Zhang T and Jacob B The performance and energy consumption of three embedded real-time operating systems Proceedings of the 2001 international conference on Compilers, architecture, and synthesis for embedded systems, (203-210)
  97. Liu H and Hu X Efficient performance estimation for general real-time task systems Proceedings of the 2001 IEEE/ACM international conference on Computer-aided design, (464-470)
  98. ACM
    Quan G and Hu X Energy efficient fixed-priority scheduling for real-time systems on variable voltage processors Proceedings of the 38th annual Design Automation Conference, (828-833)
  99. Dipippo L, Wolfe V, Esibov L, Bethmangalkar G, Bethmangalkar R, Johnston R, Thuraisingham B and Mauer J (2001). Scheduling and Priority Mapping for Static Real-Time Middleware, Real-Time Systems, 20:2, (155-182), Online publication date: 1-Mar-2001.
  100. Du Y and de Veciana G Scheduling for cloud-based computing systems to support soft real-time applications IEEE INFOCOM 2016 - The 35th Annual IEEE International Conference on Computer Communications, (1-9)
Contributors
  • Microsoft Corporation

Recommendations