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 Citations (Scopus)

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
StatePublished - 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

Real time systems
Scheduling
Reusability
Cost reduction
Communication

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

SPIRIT-μKernel for strongly partitioned real-time systems. / Kim, Daeyoung; Lee, Yann-Hang; Younis, M.

Proceedings - 7th International Conference on Real-Time Computing Systems and Applications, RTCSA 2000. Institute of Electrical and Electronics Engineers Inc., 2000. p. 73-80 896373.

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

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., 896373, Institute of Electrical and Electronics Engineers Inc., pp. 73-80, 7th International Conference on Real-Time Computing Systems and Applications, RTCSA 2000, Cheju Island, Korea, Republic of, 12/12/00. https://doi.org/10.1109/RTCSA.2000.896373
Kim D, Lee Y-H, Younis M. SPIRIT-μKernel for strongly partitioned real-time systems. In Proceedings - 7th International Conference on Real-Time Computing Systems and Applications, RTCSA 2000. Institute of Electrical and Electronics Engineers Inc. 2000. p. 73-80. 896373 https://doi.org/10.1109/RTCSA.2000.896373
Kim, Daeyoung ; Lee, Yann-Hang ; Younis, M. / SPIRIT-μKernel for strongly partitioned real-time systems. Proceedings - 7th International Conference on Real-Time Computing Systems and Applications, RTCSA 2000. Institute of Electrical and Electronics Engineers Inc., 2000. pp. 73-80
@inproceedings{3d1dc829d89c485db625061868ee9892,
title = "SPIRIT-μKernel for strongly partitioned real-time systems",
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.",
keywords = "Clocks, Emulation, Kernel, Operating systems, Processor scheduling, Real time systems, Scheduling algorithm, Software architecture, Switches, Timing",
author = "Daeyoung Kim and Yann-Hang Lee and M. Younis",
year = "2000",
doi = "10.1109/RTCSA.2000.896373",
language = "English (US)",
isbn = "0769509304",
pages = "73--80",
booktitle = "Proceedings - 7th International Conference on Real-Time Computing Systems and Applications, RTCSA 2000",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - GEN

T1 - SPIRIT-μKernel for strongly partitioned real-time systems

AU - Kim, Daeyoung

AU - Lee, Yann-Hang

AU - Younis, M.

PY - 2000

Y1 - 2000

N2 - 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.

AB - 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.

KW - Clocks

KW - Emulation

KW - Kernel

KW - Operating systems

KW - Processor scheduling

KW - Real time systems

KW - Scheduling algorithm

KW - Software architecture

KW - Switches

KW - Timing

UR - http://www.scopus.com/inward/record.url?scp=84890626367&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84890626367&partnerID=8YFLogxK

U2 - 10.1109/RTCSA.2000.896373

DO - 10.1109/RTCSA.2000.896373

M3 - Conference contribution

AN - SCOPUS:84890626367

SN - 0769509304

SN - 9780769509303

SP - 73

EP - 80

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

PB - Institute of Electrical and Electronics Engineers Inc.

ER -