Efficient and Predictable Approach for Supporting Spatial Partitioning of Real-Time Applications

M. Younis and S. Ponnusamy

References

  1. [1] J. Rushby, Partitioning for safety and security: Requirements, mechanisms, and assurance, NASA Contractor Report CR1999-209347, NASA Langley Research Center, 1999.
  2. [2] Design guide for integrated modular avionics, ARINC report 651 (Annapolis, MD: Aeronautical Radio Inc., 1991).
  3. [3] Minimum operational performance standards for avionics computer resource, RTCA SC-182/EUROCAE WG-48, 1998.
  4. [4] C. Liu & J. Layland, Scheduling algorithms for multiprogramming in a hard real-time environment, Journal of the ACM, 20(1), 1973, 46–61. doi:10.1145/321738.321743
  5. [5] N.C. Audsley, Deadline monotonic scheduling, Technical Report YCS 146 (England: University of York, 1990).
  6. [6] T.P. Baker, A stack-based resource allocation policy for realtime processes, Proc. IEEE Real-Time Systems Symposium, Lake Buena Vista, FL, 1990.
  7. [7] H. Tokuda, T. Nakajima, & P. Rao, Real-time mach: Towards a predictable real-time system, Proc. USENIX Mach Workshop, Burlington, VT, 1990, 73–82.
  8. [8] K. Zuberi, P. Pillai, & K. Shin. EMERALDS: a small-memory real-time microkernel, Proc. 17th ACM Symposium on Operating System Principles (SOSP), Kiawah Island, SC, 1999, 277–291. doi:10.1145/319151.319170
  9. [9] M. Barabanov, A Linux-based real-time operating system, Master’s thesis, New Mexico Institute of Mining and Technology, Socorro, NM, 1997.
  10. [10] Cygnus, The embedded Cygnus operating system (eCos). Available at http://ecos.sourceware.org/, last visited July 23, 2005.
  11. [11] M. Bennett, & N. Audsley, Predictable and efficient virtual addressing for safety-critical real-time systems, Proc. 13th Euromicro Conf. on Real Time Systems, Delft, The Netherlands, 2001, 183–190. doi:10.1109/EMRTS.2001.934028
  12. [12] J. Chapin, et al., Hive: Fault containment for shared-memory multiprocessors, Proc. 15th ACM Symposium on Operating System Principles (SOSP), Copper Mountain Resort, CO, 1995, 12–25. doi:10.1145/224056.224059
  13. [13] D. Teodosiu, et al., Hardware fault containment in scalable shared-memory multiprocessors, Proc. 24th ACM International Symposium on Computer Architecture (ISCA-24), Denver, CO, 1997, 73–84.
  14. [14] Avionics application software standard interface, ARINC Specification 653 (Annapolis, MD: Aeronautical Radio Inc., 1997).
  15. [15] L. Sha, R. Rajkumar, & J. Lehoczky, Priority inheritance protocols: An approach to real-time synchronization, IEEE Transactions on Computers, 39(9), 1990, 1175–1185. doi:10.1109/12.57058
  16. [16] J.H. Anderson, S. Ramamurthy, & K. Jeffay, Real-time computing with lock-free shared objects, ACM Trans. on Computer Systems, 15(2), 1997, 134–165. doi:10.1145/253145.253159
  17. [17] H. Kopetz & J. Reisinger, The Non-blocking write protocol NBW: A solution to a real-time synchronization problem, Proc. 14th IEEE Real-Time Systems Symposium, Raleigh-Durham, NC, 1993, 131–137. doi:10.1109/REAL.1993.393507
  18. [18] J. Chen & A. Burns, Loop-free asynchronous data sharing in multiprocessor real-time systems based on timing properties, Proc. 6th Int. Conf. on Real-Time Computing Systems & Applications, Hong Kong, 1999, 236–246.
  19. [19] M. Younis, M. Aboutabl, & D. Kim, Robust approach for supporting inter-application communication and device handling in integrated modular avionics, Proc. 15th Int. Conf. on Parallel and Distributed Computing Systems (PDCS 2002), Louisville, KY, 2002, 1–6.
  20. [20] S. Ponnusamy, An approach for achieving spatial separation among real time applications, Master Thesis, University of Maryland Baltimore County, Baltimore, MD, 2002.
  21. [21] Programming Environments Manual for 32-Bit Implementations of the PowerPC Architecture, Motorola Corporation, 1997.
  22. [22] RTEMS/C Applications User’s Guide, On-Line Applications Research Corporation, 1997.

Important Links:

Go Back