SPIRIT-μKernel for strongly partitioned real-time systems

Proceedings - 7th International Conference on Real-Time Computing Systems and Applications, RTCSA 2000

Volumn , Issue , 2000, Pages 73-80

  Kim, Daeyoung ^a   Lee, Yann Hang ^b   Younis, M ^c  

^a UNIVERSITY OF FLORIDA   (United States)

^b Arizona State University   (United States)

^c HONEYWELL   (United States)

Author keywords

Clocks; Emulation; Kernel; Operating systems; Processor scheduling; Real time systems; Scheduling algorithm; Software architecture; Switches; Timing

Indexed keywords

CLOCKS; COMPUTER OPERATING SYSTEMS; COST REDUCTION; INTERACTIVE COMPUTER SYSTEMS; REUSABILITY; SCHEDULING; SCHEDULING ALGORITHMS; SOFTWARE ARCHITECTURE; SWITCHES; TIME SWITCHES;

COMPLEX REAL-TIME SYSTEMS; EMULATION; INTER-APPLICATION COMMUNICATIONS; KERNEL; PROCESSOR SCHEDULING; REAL TIME OPERATING SYSTEM; TIMING; TWO-LEVEL HIERARCHICAL SCHEDULING;

REAL TIME SYSTEMS;

EID: 84890626367     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTCSA.2000.896373     Document Type: Conference Paper

References (10)

1. "Design Guide for Integrated Modular Avionics," ARNIC Report 651, Aeronautical Radio Inc., Annapolis, MD, 1991.
2. Y. H. Lee, D. Kim, M. Younis, and J. Zhou, "Partition Scheduling in APEX Runtime Environment for Embedded Avionics Software," Proc. of IEEE Real-Time Computing Systems and Applications, pp. 103-109, Oct. 1998.
3. Y. H. Lee, D. Kim, M. Younis, J. Zhou, and J. McElroy, "Resource Scheduling in Dependable Integrated Modular Avionics," Proc. of IEEE International Conference on Dependable Systems and Networks), Jun. 2000.
4. Y.H. Lee, D. Kim, M. Younis, J. Zhou, "Scheduling Tool and Algorithms for Integrated Modular Avionics Systems," Proc. of IEEE/AIAA Digital Avionics Systems Conference, Oct. 2000.
5. M. Younis, M. Aboutabl, and D. Kim, "An Approach for Supporting Software Partitioning and Reuse in Integrated Modular Avionics," Proc. of IEEE Real-time Technology and Applications Symposium, May 2000.
6. D. Engler, M. Kaashoek, and J. O'Toole Jr., "Exokernel: An Operating System Architecture for Application-Level Resource Management," Proc. of ACM SIGOPS, pp. 251-266, Dec. 1995.
7. J. Liedtke, "On m-Kernel Construction," Proc. of ACM SIGOPS, pp. 237-250, Dec. 1995.
8. J. Liedtke, "Toward Real Microkernels," Communications of the ACM, Vo. 39, No. 9, Sep. 1996.
9. H. Hartig, M. Hohmuth, J. Liedtke, S. Schonberg, J Wolter, "The Performance of μ-Kernel-Based Systems," Proc. of ACM SIGOPS, France, Oct. 1997.
10. M. Y. Chan and F. Y. L. Chin, "General schedulers for the pinwheel problem based on double-integer reduction," IEEE Trans. on Computers, vol. 41, pp. 755-768, June 1992.