Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
Skip header Section
Hard Real-time Computing Systems: Predictable Scheduling Algorithms And Applications (Real-Time Systems Series)October 2004
Publisher:
  • Springer-Verlag TELOS
  • 3600 Pruneridge Ave., Suite 200
  • Santa Clara
  • CA
  • United States
ISBN:978-0-387-23137-2
Published:01 October 2004
Skip Bibliometrics Section
Bibliometrics
Abstract

No abstract available.

Cited By

  1. Oliveira D and Oliveira R (2016). Timing analysis of the PREEMPT RT Linux kernel, Software—Practice & Experience, 46:6, (789-819), Online publication date: 1-Jun-2016.
  2. Madeo S, Pelliccia R, Salvadori C, Rincon J and Nebel J (2016). An optimized stereo vision implementation for embedded systems, Journal of Real-Time Image Processing, 12:4, (725-746), Online publication date: 1-Dec-2016.
  3. Thekkilakattil A, Zhu K, Nie Y, Dobrin R and Punnekkat S An Empirical Investigation of Eager and Lazy Preemption Approaches in Global Limited Preemptive Scheduling Proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies --- Ada-Europe 2016 - Volume 9695, (163-178)
  4. de Mello B and Wainer G Scheduling predictability in I-DEVS by schedulability analysis Proceedings of the Symposium on Theory of Modeling & Simulation, (1-8)
  5. ACM
    Oliver R and Craciunas S (2016). Hierarchical scheduling over off- and on-chip deterministic networks, ACM SIGBED Review, 13:4, (14-19), Online publication date: 3-Nov-2016.
  6. ACM
    Guo Z and Baruah S The concurrent consideration of uncertainty in WCETs and processor speeds in mixed-criticality systems Proceedings of the 23rd International Conference on Real Time and Networks Systems, (247-256)
  7. Hayashi N and Takai S (2015). GTS-based communication task scheduling for quantized output consensus over IEEE 802.15.4 wireless networks, Automatica (Journal of IFAC), 55:C, (6-11), Online publication date: 1-May-2015.
  8. ACM
    Kloda T, d'Ausbourg B and Santinelli L (2014). Towards EDF schedulability analysis of an extended timing definition language, ACM SIGBED Review, 11:3, (44-49), Online publication date: 25-Nov-2014.
  9. Calvo I, Almeida L, Noguero A, Pérez F and Marcos M (2014). A flexible time-triggered service for real-time CORBA, Computer Standards & Interfaces, 36:3, (531-544), Online publication date: 1-Mar-2014.
  10. ACM
    Craciunas S and Oliver R SMT-based Task- and Network-level Static Schedule Generation for Time-Triggered Networked Systems Proceedings of the 22nd International Conference on Real-Time Networks and Systems, (45-54)
  11. ACM
    Ward B, Thekkilakattil A and Anderson J Optimizing Preemption-Overhead Accounting in Multiprocessor Real-Time Systems Proceedings of the 22nd International Conference on Real-Time Networks and Systems, (235-243)
  12. ACM
    Gopalakrishnan S and Fisher N Wireless channel resource allocation to support real-time transportation applications with multiple service classes Proceedings of the fourth ACM international symposium on Development and analysis of intelligent vehicular networks and applications, (133-138)
  13. Li N and Guan Q Deadline-Aware Event Scheduling for Complex Event Processing Systems Proceedings of the 14th International Conference on Intelligent Data Engineering and Automated Learning --- IDEAL 2013 - Volume 8206, (101-109)
  14. ACM
    Behnam M, Inam R, Nolte T and Sjödin M (2013). Multi-core composability in the face of memory-bus contention, ACM SIGBED Review, 10:3, (35-42), Online publication date: 1-Oct-2013.
  15. ACM
    Carnevali L, Paolieri M, Santoni A and Vicario E Non-markovian analysis for model driven engineering of real-time software Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering, (113-124)
  16. ACM
    Zhang F and Burns A (2013). Schedulability analysis of EDF-scheduled embedded real-time systems with resource sharing, ACM Transactions on Embedded Computing Systems, 12:3, (1-19), Online publication date: 10-Mar-2013.
  17. ACM
    Zhao B, Aydin H and Zhu D (2013). Shared recovery for energy efficiency and reliability enhancements in real-time applications with precedence constraints, ACM Transactions on Design Automation of Electronic Systems, 18:2, (1-21), Online publication date: 1-Mar-2013.
  18. ACM
    Alur R, Trivedi A and Wojtczak D Optimal scheduling for constant-rate multi-mode systems Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control, (75-84)
  19. Cicirelli F, Furfaro A, Nigro L and Pupo F Development of a Schedulability Analysis Framework Based on pTPN and UPPAAL with Stopwatches Proceedings of the 2012 IEEE/ACM 16th International Symposium on Distributed Simulation and Real Time Applications, (57-64)
  20. Stavrinides G and Karatza H The impact of input error on the scheduling of task graphs with imprecise computations in heterogeneous distributed real-time systems Proceedings of the 18th international conference on Analytical and stochastic modeling techniques and applications, (273-287)
  21. Carnevali L, Lipari G, Pinzuti A and Vicario E A formal approach to design and verification of two-level hierarchical scheduling systems Proceedings of the 16th Ada-Europe international conference on Reliable software technologies, (118-131)
  22. Gan J, Gruian F, Pop P and Madsen J Energy/reliability trade-offs in fault-tolerant event-triggered distributed embedded systems Proceedings of the 16th Asia and South Pacific Design Automation Conference, (731-736)
  23. ACM
    Davis R and Burns A (2011). A survey of hard real-time scheduling for multiprocessor systems, ACM Computing Surveys, 43:4, (1-44), Online publication date: 1-Oct-2011.
  24. ACM
    Selvi R and Rajaram R Multiobjective optimization to provide service guarantees for window-constrained scheduling using micro-genetic algorithm Proceedings of the 2011 International Conference on Communication, Computing & Security, (457-461)
  25. Almeida L, Marau R, Lakshmanan K and Rajkumar R On the schedulability analysis for dynamic QOS management in distributed embedded systems Proceedings of the 8th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems, (119-130)
  26. Trivedi A and Wojtczak D Recursive timed automata Proceedings of the 8th international conference on Automated technology for verification and analysis, (306-324)
  27. Eisenbrand F, Kesavan K, Mattikalli R, Niemeier M, Nordsieck A, Skutella M, Verschae J and Wiese A Solving an avionics real-time scheduling problem by advanced IP-methods Proceedings of the 18th annual European conference on Algorithms: Part I, (11-22)
  28. Eisenbrand F, Hähnle N, Niemeier M, Skutella M, Verschae J and Wiese A Scheduling periodic tasks in a hard real-time environment Proceedings of the 37th international colloquium conference on Automata, languages and programming, (299-311)
  29. Penneman N, Perneel L, Timmerman M and De Sutter B An FPGA-based real-time event sampler Proceedings of the 6th international conference on Reconfigurable Computing: architectures, Tools and Applications, (364-371)
  30. ACM
    Lee E and Seshia S An introductory textbook on cyber-physical systems Proceedings of the 2010 Workshop on Embedded Systems Education, (1-6)
  31. ACM
    Lee J, Shin I and Easwaran A Online robust optimization framework for QoS guarantees in distributed soft real-time systems Proceedings of the tenth ACM international conference on Embedded software, (89-98)
  32. ACM
    Wellings A and Kim M Asynchronous event handling and safety critical Java Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, (53-62)
  33. ACM
    Bertrand D, Faucou S and Trinquet Y Temporal isolation for the cohabitation of applications in automotive embedded software Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety, (25-28)
  34. Carnevali L, D'Amico D, Ridi L and Vicario E Automatic Code Generation from Real-Time Systems Specifications Proceedings of the 2009 IEEE/IFIP International Symposium on Rapid System Prototyping, (102-105)
  35. Götz M, Rettberg A, Pereira C and Rammig F (2009). Run-time reconfigurable RTOS for reconfigurable systems-on-chip, Journal of Embedded Computing, 3:1, (39-51), Online publication date: 1-Jan-2009.
  36. ACM
    Lee E Introducing embedded systems: a cyber-physical approach Proceedings of the 2009 Workshop on Embedded Systems Education, (1-2)
  37. ACM
    Glaß M, Lukasiewycz M, Teich J, Bordoloi U and Chakraborty S Designing heterogeneous ECU networks via compact architecture encoding and hybrid timing analysis Proceedings of the 46th Annual Design Automation Conference, (43-46)
  38. ACM
    Staschulat J and Bekooij M Dataflow models for shared memory access latency analysis Proceedings of the seventh ACM international conference on Embedded software, (275-284)
  39. ACM
    Bini E, Buttazzo G and Lipari G (2009). Minimizing CPU energy in real-time systems with discrete speed management, ACM Transactions on Embedded Computing Systems, 8:4, (1-23), Online publication date: 1-Jul-2009.
  40. ACM
    Lee E (2009). Computing needs time, Communications of the ACM, 52:5, (70-79), Online publication date: 1-May-2009.
  41. Baruah S and Fisher N Global fixed-priority scheduling of arbitrary-deadline sporadic task systems Proceedings of the 9th international conference on Distributed computing and networking, (215-226)
  42. ACM
    de la Rocha F and de Oliveira R An environment for the rapid development of embedded file systems Proceedings of the 2008 ACM symposium on Applied computing, (694-699)
  43. Wu H, Ravindran B and Jensen E (2007). Utility Accrual Real-Time Scheduling Under the Unimodal Arbitrary Arrival Model with Energy Bounds, IEEE Transactions on Computers, 56:10, (1358-1371), Online publication date: 1-Oct-2007.
  44. Baruah S and Fisher N Global deadline-monotonic scheduling of arbitrary-deadline sporadic task systems Proceedings of the 11th international conference on Principles of distributed systems, (204-216)
  45. Cuijpers P and Bril R Towards budgeting in real-time calculus Proceedings of the 5th international conference on Formal modeling and analysis of timed systems, (98-113)
  46. Burns A and Wellings A Delivering real-time behaviour Domain modeling and the duration calculus, (1-50)
  47. Mohammadi A and Akl S Heuristic scheduling algorithms designed based on properties of optimal algorithm for soft real-time tasks Proceedings of the 2007 Summer Computer Simulation Conference, (481-488)
  48. Dittmann F and Frank S Hard real-time reconfiguration port scheduling Proceedings of the conference on Design, automation and test in Europe, (123-128)
  49. ACM
    Zhao Q and Tsang D Effective bandwidth utilization in IEEE 802.11e The Fourth International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness & Workshops, (1-7)
  50. ACM
    Bondarev E, Chaudron M and de Kock E Exploring performance trade-offs of a JPEG decoder using the deepcompass framework Proceedings of the 6th international workshop on Software and performance, (153-163)
  51. Buttazzo G (2006). Achieving Scalability in Real-Time Systems, Computer, 39:5, (54-59), Online publication date: 1-May-2006.
  52. Sánchez C, Sipma H, Gill C and Manna Z Distributed priority inheritance for real-time and embedded systems Proceedings of the 10th international conference on Principles of Distributed Systems, (110-125)
  53. Kim M and Lee H Periodic message scheduling on a switched ethernet for hard real-time communication Proceedings of the Second international conference on High Performance Computing and Communications, (457-466)
  54. ACM
    Lombardo V, Valle A, Nunnari F, Giordana F and Arghinenti A Archeology of multimedia Proceedings of the 14th ACM international conference on Multimedia, (269-278)
  55. Yiming A and Eisaka T Support industrial hard real-time traffic with switched ethernet Proceedings of the Second international conference on Embedded Software and Systems, (671-682)
  56. Assayad I and Yovine S Compositional constraints generation for concurrent real-time loops with interdependent iterations Proceedings of the 5th international conference on Innovative Internet Community Systems, (159-170)
  57. Skambraks M A safety-related PES for task-oriented real-time execution without asynchronous interrupts Proceedings of the 24th international conference on Computer Safety, Reliability, and Security, (261-274)
  58. ACM
    Muppala J (2005). Experience with an embedded systems software course, ACM SIGBED Review, 2:4, (29-33), Online publication date: 1-Oct-2005.
  59. Posadas H, Herrera F, Fernández V, Sánchez P, Villar E and Blasco F (2004). Single Source Design Environment for Embedded Systems Based on SystemC, Design Automation for Embedded Systems, 9:4, (293-312), Online publication date: 1-Dec-2004.
Contributors
  • Sant’Anna School of Advanced Studies – Pisa

Reviews

Dimitrios Katsaros

Real-time computing applications have undoubtedly become a part of everyday life, ranging from railway switching systems, to telecommunications, to air traffic control, and so on. Despite the significance of these applications, there are not many books that cover their respective issues, using a clear and comprehensive scientific methodology. This book fills the gap, explaining basic scheduling algorithms for applications that require predictable scheduling. It represents the fruit of a 15-year research career. The book contains 11 chapters. The first two present necessary background material, so the reader needs no prior knowledge to grasp the remaining chapters. Later chapters cover aperiodic task scheduling with explicit deadlines (chapter 3), periodic task scheduling (chapter 4), and the mixing of aperiodic and periodic task scheduling (chapters 5 and 6). The text then goes on to study handling tasks with precedence relations and access protocols for shared resources (chapter 7), the handling of overload conditions (chapter 8), and asynchronous communication mechanisms (chapter 9). The final two chapters investigate important issues and case studies related to the design of real-time applications and operating systems. The target audience for the book, mainly advanced undergraduate or postgraduate students, will benefit from the large number of illustrations, and the exercises that accompany each chapter. The exercises will be very helpful when digesting the chapter's material, and in testing understanding. The bibliographic references are appropriate and adequate, though a slight bias toward the author's research interests can be seen. Overall, the book is an excellent introductory textbook for predictable scheduling in hard real-time computing systems, combining the right balance of theory and practice. Online Computing Reviews Service

Access critical reviews of Computing literature here

Become a reviewer for Computing Reviews.

Recommendations