On the Development of Hierarchical Real-Time Systems

Hierarchical scheduling (also referred to as resource reservation) is a hot topic within the research of real-time systems. It has many advantages such that it can facilitate software integration, ...

[1]  S.N. Bokhari.  The Linux Operating System , 1995, Computer.

[2]  Joseph Sifakis,et al.  A framework for scheduler synthesis , 1999, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).

[3]  Reinder J. Bril,et al.  Grasp: Tracing, visualizing and measuring the behavior of real-time systems , 2010 .

[4]  Giorgio C. Buttazzo,et al.  Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications (Real-Time Systems Series) , 2010 .

[5]  Luís Almeida,et al.  Scheduling within temporal partitions: response-time analysis and server design , 2004, EMSOFT '04.

[6]  Reinder J. Bril,et al.  Virtual timers in hierarchical real-time systems , 2009 .

[7]  Hans A. Hansson,et al.  Using deterministic replay for debugging of distributed real-time systems , 2000, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000.

[8]  Insup Lee,et al.  Periodic resource model for compositional real-time guarantees , 2003, RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003.

[9]  Sanjoy K. Baruah,et al.  Efficient scheduling of real-time multi-task applications in dynamic systems , 2000, Proceedings Sixth IEEE Real-Time Technology and Applications Symposium. RTAS 2000.

[10]  John P. Lehoczky,et al.  The rate monotonic scheduling algorithm: exact characterization and average case behavior , 1989, [1989] Proceedings. Real-Time Systems Symposium.

[11]  Wang Yi,et al.  Code Synthesis for Timed Automata , 2003 .

[12]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[13]  Shinpei Kato,et al.  Execution Time Monitoring in Linux , 2009, 2009 IEEE Conference on Emerging Technologies & Factory Automation.

[14]  Julia L. Lawall,et al.  Invited application paper: language design for implementing process scheduling hierarchies , 2004, PEPM '04.

[15]  Thomas A. Henzinger,et al.  Trading end-to-end latency for composability , 2005, 26th IEEE International Real-Time Systems Symposium (RTSS'05).

[16]  Lui Sha,et al.  Aperiodic task scheduling for Hard-Real-Time systems , 2006, Real-Time Systems.

[17]  Frank Slomka,et al.  An application-based EDF scheduler for OSEK/VDX , 2008, 2008 Design, Automation and Test in Europe.

[18]  Fabio Checconi,et al.  An implementation of the earliest deadline first algorithm in Linux , 2009, SAC '09.

[19]  Burkhart Wolff,et al.  Proving Fairness and Implementation Correctness of a Microkernel Scheduler , 2009, Journal of Automated Reasoning.

[20]  Alan Burns,et al.  Hierarchical fixed priority pre-emptive scheduling , 2005, 26th IEEE International Real-Time Systems Symposium (RTSS'05).

[21]  Joseph Sifakis,et al.  Scheduler Modeling Based on the Controller Synthesis Paradigm , 2002, Real-Time Systems.

[22]  Murali Rangarajan,et al.  Feature-based decomposition of inductive proofs applied to real-time avionics software: an experience report , 2004, Proceedings. 26th International Conference on Software Engineering.

[23]  Shinpei Kato,et al.  ExSched: An External CPU Scheduler Framework for Real-Time Systems , 2012, 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.

[24]  Nathan Fisher,et al.  The Design of an EDF-Scheduled Resource-Sharing Open Environment , 2007, RTSS 2007.

[25]  Jane W.-S. Liu,et al.  Scheduling real-time applications in an open environment , 1997, Proceedings Real-Time Systems Symposium.

[26]  Tei-Wei Kuo,et al.  A fixed-priority-driven open environment for real-time applications , 1999, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).

[27]  Chen Shu,et al.  Modeling and Formal Analysis of Real–Time System via CCS , 2008, 2008 International Symposium on Computer Science and Computational Technology.

[28]  Insik Shin,et al.  Towards hierarchical scheduling in VxWorks , 2008 .

[29]  J. Wiegand.  The cooperative development of Linux , 1993, Proceedings Professional Communication Conference The New Face of Technical Communication: People, Processes, Products'.

[30]  John Regehr,et al.  Evolving real-time systems using hierarchical scheduling and concurrency analysis , 2003, RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003.

[31]  John P. Lehoczky,et al.  Analysis of hierar hical fixed-priority scheduling , 2002, Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002.

[32]  Alain Plantec,et al.  AADL modeling and analysis of hierarchical schedulers , 2007 .

[33]  Lui Sha,et al.  Solutions for Some Practical Problems in Prioritized Preemptive Scheduling , 1986, RTSS.

[34]  Michel Dagenais,et al.  Measuring and Characterizing System Behavior Using Kernel-Level Event Logging , 2000, USENIX Annual Technical Conference, General Track.

[35]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..