SYNTHESIS AND SYNCHRONIZATION SUPPORT FOR HIERARCHICALLY SCHEDULED REAL-TIME SYSTEMS

A piece of software, that we define as a software system, can consist of anything from a few lines of program code or the entire software stack in a vehicle. Software systems can be divided into sm ...

[1]  Claudio Scordino,et al.  An EDF scheduling class for the Linux kernel ∗ , 2009 .

[2]  Insik Shin,et al.  A Synchronization Protocol for Temporal Isolation of Software Components in Vehicular Systems , 2009, IEEE Transactions on Industrial Informatics.

[3]  Michael Norrish,et al.  seL4: formal verification of an OS kernel , 2009, SOSP '09.

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

[5]  Mikael Sjödin,et al.  The Multi-Resource Server for predictable execution on multi-core platforms , 2014, 2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS).

[6]  Sanjoy K. Baruah,et al.  The Design of an EDF-Scheduled Resource-Sharing Open Environment , 2007, 28th IEEE International Real-Time Systems Symposium (RTSS 2007).

[7]  Alan Burns,et al.  Applying new scheduling theory to static priority pre-emptive scheduling , 1993, Softw. Eng. J..

[8]  Farhang Nemati,et al.  Resource Sharing in Real-Time Systems on Multiprocessors , 2012 .

[9]  Iain Bate,et al.  Impact of embedded systems evolution on RTOS use and design , 2005 .

[10]  Peter A. Dinda,et al.  VSched: Mixing Batch And Interactive Virtual Machines Using Periodic Real-time Scheduling , 2005, ACM/IEEE SC 2005 Conference (SC'05).

[11]  Thomas Nolte,et al.  Resource sharing using the rollback mechanism in hierarchically scheduled real-time open systems , 2013, 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS).

[12]  Giorgio Buttazzo,et al.  Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .

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

[14]  James H. Anderson,et al.  Bringing theory into practice: A userspace library for multicore real-time scheduling , 2013, 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS).

[15]  Thomas Nolte,et al.  Fast Linux bootup using non-intrusive methods for predictable industrial embedded systems , 2013, 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA).

[16]  Hennadiy Leontyev,et al.  LITMUS^RT : A Testbed for Empirically Comparing Real-Time Multiprocessor Schedulers , 2006, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06).

[17]  Krithi Ramamritham,et al.  Tutorial on hard real-time systems , 1989 .

[18]  P. Mantegazza,et al.  RTAI: Real Time Application Interface , 2000 .

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

[20]  Theodore P. Baker,et al.  Stack-based scheduling of realtime processes , 1991, Real-Time Systems.

[21]  Lui Sha,et al.  Priority Inheritance Protocols: An Approach to Real-Time Synchronization , 1990, IEEE Trans. Computers.

[22]  Richard West,et al.  Hijack: Taking Control of COTS Systems for Real-Time User-Level Services , 2007, 13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'07).

[23]  Victor Yodaiken.  The RTLinux Manifesto , 1999 .

[24]  Alan Burns,et al.  Resource Sharing in Hierarchical Fixed Priority Pre-Emptive Systems , 2006, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06).

[25]  J.,et al.  Composability and Predictability for Independent Application Development , Verification and Execution , 2010 .

[26]  Thomas Nolte,et al.  Implementation of the Multi-Level Adaptive Hierarchical Scheduling Framework , 2013 .

[27]  Shinpei Kato,et al.  A Loadable Task Execution Recorder for Hierarchical Scheduling in Linux , 2011, 2011 IEEE 17th International Conference on Embedded and Real-Time Computing Systems and Applications.

[28]  Thomas Nolte,et al.  Towards hierarchical scheduling in AUTOSAR , 2009, 2009 IEEE Conference on Emerging Technologies & Factory Automation.

[29]  Insik Shin,et al.  SIRAP: a synchronization protocol for hierarchical resource sharingin real-time open systems , 2007, EMSOFT '07.

[30]  Ashkan Beyranvand Nejad,et al.  Virtual execution platforms for mixed-time-criticality applications : the CompSoC architecture and design flow , 2012 .

[31]  Tiziana Margaria,et al.  Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers , 2006, ISoLA.

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