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

M. Younis and S. Ponnusamy


  1. [1] J. Rushby, Partitioning for safety and security: Requirements,mechanisms, and assurance, NASA Contractor Report CR-1999-209347, NASA Langley Research Center, 1999.
  2. [2] Design guide for integrated modular avionics, ARINC report651 (Annapolis, MD: Aeronautical Radio Inc., 1991).
  3. [3] Minimum operational performance standards for avionics com-puter resource, RTCA SC-182/EUROCAE WG-48, 1998.
  4. [4] C. Liu & J. Layland, Scheduling algorithms for multiprogram-ming 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 Re-port YCS 146 (England: University of York, 1990).
  6. [6] T.P. Baker, A stack-based resource allocation policy for real-time processes, Proc. IEEE Real-Time Systems Symposium,Lake Buena Vista, FL, 1990.
  7. [7] H. Tokuda, T. Nakajima, & P. Rao, Real-time mach: Towards apredictable real-time system, Proc. USENIX Mach Workshop,Burlington, VT, 1990, 73–82.
  8. [8] K. Zuberi, P. Pillai, & K. Shin. EMERALDS: a small-memoryreal-time microkernel, Proc. 17th ACM Symposium on Op-erating 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, Mas-ter’s thesis, New Mexico Institute of Mining and Technology,Socorro, NM, 1997.
  10. [10] Cygnus, The embedded Cygnus operating system (eCos). Avail-able at http://ecos.sourceware.org/, last visited July 23, 2005.
  11. [11] M. Bennett, & N. Audsley, Predictable and efficient virtualaddressing for safety-critical real-time systems, Proc. 13th Eu-romicro 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-memorymultiprocessors, Proc. 15th ACM Symposium on OperatingSystem Principles (SOSP), Copper Mountain Resort, CO,1995, 12–25. doi:10.1145/224056.224059
  13. [13] D. Teodosiu, et al., Hardware fault containment in scalableshared-memory multiprocessors, Proc. 24th ACM InternationalSymposium on Computer Architecture (ISCA-24), Denver, CO,1997, 73–84.
  14. [14] Avionics application software standard interface, ARINC Spec-ification 653 (Annapolis, MD: Aeronautical Radio Inc., 1997).
  15. [15] L. Sha, R. Rajkumar, & J. Lehoczky, Priority inheritanceprotocols: An approach to real-time synchronization, IEEETransactions on Computers, 39(9), 1990, 1175–1185. doi:10.1109/12.57058
  16. [16] J.H. Anderson, S. Ramamurthy, & K. Jeffay, Real-time com-puting with lock-free shared objects, ACM Trans. on ComputerSystems, 15(2), 1997, 134–165. doi:10.1145/253145.253159
  17. [17] H. Kopetz & J. Reisinger, The Non-blocking write protocolNBW: 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 inmultiprocessor 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 forsupporting inter-application communication and device han-dling in integrated modular avionics, Proc. 15th Int. Conf. onParallel and Distributed Computing Systems (PDCS 2002),Louisville, KY, 2002, 1–6.
  20. [20] S. Ponnusamy, An approach for achieving spatial separationamong real time applications, Master Thesis, University ofMaryland Baltimore County, Baltimore, MD, 2002.
  21. [21] Programming Environments Manual for 32-Bit Implementa-tions of the PowerPC Architecture, Motorola Corporation,1997.
  22. [22] RTEMS/C Applications User’s Guide, On-Line ApplicationsResearch Corporation, 1997.

Important Links:

Go Back