SPIRIT-μKernel for strongly partitioned real-time systems

Daeyoung Kim, Yann-Hang Lee, M. Younis

Research output: Chapter in Book/Report/Conference proceedingConference contribution

17 Scopus citations

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) μKernel, for strongly partitioned real-time systems. The SPIRIT-μ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-μ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-μKernel architecture is practical and appealing due to its low overheads of kernel services and the support for dependable integration of real-time applications.

Original languageEnglish (US)
Title of host publicationProceedings - 7th International Conference on Real-Time Computing Systems and Applications, RTCSA 2000
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages73-80
Number of pages8
ISBN (Print)0769509304, 9780769509303
DOIs
Publication statusPublished - 2000
Event7th International Conference on Real-Time Computing Systems and Applications, RTCSA 2000 - Cheju Island, Korea, Republic of
Duration: Dec 12 2000Dec 14 2000

Other

Other7th International Conference on Real-Time Computing Systems and Applications, RTCSA 2000
CountryKorea, Republic of
CityCheju Island
Period12/12/0012/14/00

    Fingerprint

Keywords

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

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Kim, D., Lee, Y-H., & Younis, M. (2000). SPIRIT-μKernel for strongly partitioned real-time systems. In Proceedings - 7th International Conference on Real-Time Computing Systems and Applications, RTCSA 2000 (pp. 73-80). [896373] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/RTCSA.2000.896373