Real-time guarantee of RTOS Separation kernel structure

In this project, we will study of separate kernel structure for resource partitioning and guarantee considering performance overhead.

Associated Lab/Groups

Head of Project

Mailing address

  • Department of Computer Engineering
    Chungnam National University
    220 Gung-dong, Yousung Gu
    Daejon 305-764, Korea

Publication

  • Daeyoung Song, Sihyeong Park, Mi-Young Kwon, Sang-Hun Lee, Hoon-Kyu Kim, Hyungshin Kim, "A Performance Analysis of Hierarchial Structure on Capability-based Security Kernel", Proceedings of Institute of Embedded Engineering of Korea 2018
  • Hyeoksoo Jang, Sihyeong Park, Mi-Young Kwon, Sang-Hun Lee, Hoon-Kyu Kim, Hyungshin Kim, "Performance Analysis of Task Switching Mechanism in Real-time Operating System", Proceeding of Korea Software Congress 2018
  • Daeyoung Song, Sihyeong Park, Mi-Young Kwon, Sang-Hun Lee, Hoon-Kyu Kim, Hyungshin Kim, "Analysis of Inter-process Communication Improving Techniques Applied to Microkernel", Proceeding of Korea Software Congress 2018
  • Sihyeong Park, Daeyoung Song, Hyeoksoo Jang,Mi-Young Kwon, Sang-Hun Lee and Hoon-Kyu Kim, Hyungshin Kim, "Performance Analysis of Partitioning based Real-Time Separation Kernel", The 4th International Conference on Next Generation Computing 2018(ICNGC 2018)
  • Sihyeong Park, Daeyoung Song, Hyeoksoo Jang, Mi-Young Kwon, Sang-Hun Lee, Hoon-Kyu Kim and Hyungshin Kim, "Interference Analysis of Multicore Shared Resources with a Commercial Avionics RTOS", 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC)

People

Hyungsin KimProfessor
Sihyeong ParkPh.D Student
Daeyoung Song (Alumni)M.S Student
Hyeoksoo Jang (Alumni)M.S Student