SPIRIT-/spl mu/Kernel for strongly partitioned real-time systems

  • Authors:
  • Daeyoung Kim;Yann-Hang Lee;M. Younis

  • Affiliations:
  • -;-;-

  • Venue:
  • RTCSA '00 Proceedings of the Seventh International Conference on Real-Time Systems and Applications
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract

To achieve reliability, reusability and cost reduction, a significant trend of building large, complex real-time systems is to integrate separated application modules. An essential requirement of integrated real-time systems is to guarantee strong partitioning among applications. In this paper, we propose a microkernel, called the SPIRIT (Strongly Partitioned Integrated Real-tIme sysTem) /spl mu/Kernel, for strongly partitioned real-time systems. The SPIRIT-/spl mu/Kernel has been designed and implemented based on a two-level hierarchical scheduling methodology such that the real-time constraints of each application can be guaranteed. It provides a minimal set of kernel functions, such as address management, interrupt/exception dispatching, inter-application communication and application scheduling. To demonstrate the feasibility of the SPIRIT-/spl mu/Kernel, we have ported two different application-level real-time operating systems (RTOSs)-WindRiver's VxWorks and Cygnus's eCos-on the top of the microkernel. The SPIRIT-/spl mu/Kernel architecture is practical and appealing due to its low overheads of kernel services and the support for dependable integration of real-time applications.