Education
Ph.D. in Electrical and Computer Engineering, Carnegie Mellon University (Aug 2011 - Present)
M.S. in Computer Science, Yonsei University, Korea (Sep 2005 - Feb 2007)
-
Thesis topic: System safety and multithreading optimization for sensor network operating systems
-
Advisor: Prof. Hojung Cha
B.S. in Computer Science, Yonsei University, Korea (Mar 2002 - Aug 2005)
-
Advanced program: Computer programming (Acknowledged as Yonsei Informatics Specialists)
Research Experience
OS Support for Predictability and Performance Isolation on Multi-Core Real-Time Systems, Feb 2012 - Present
-
Modern multi-core processors incorporate shared resources among cores, such as a cache and memory bus, to improve average-case performance and efficiency. However, the use of the shared resources introduces significant worst-case timing penalties due to inter-core interference. This work aims to provide predictable performance on architectures with shared resources across cores. Especially, I focus on the OS-level support to prevent, mitigate and/or bound the shared resource interference.
Improving Temporal Isolation of Memory Reservation Scheme, Sep 2011 - Aug 2012
-
Memory reservation provides real-time applications with guaranteed memory access to a specified amount of physical memory. However, previous work on memory reservation primarily focused on private pages, and did not pay attention to shared pages. In this work, I identified problems with shared pages in real-time applications and proposed a shared-page management scheme to enhance temporal isolation of existing memory reservation scheme. The scheme was implemented and evaluated on the Linux kernel.
Monitoring Timing Constraints for Distributed Real-Time Systems, Feb 2008 - Dec 2011
-
This work is a development of a tool for monitoring end-to-end timing constraints of event flows in distributed real-time systems. The tool detects timing violations by transparently embedding timing information into event flow instances instead of using an external monitoring thread to record events. Through this approach, the tool is able to detect timing violations without creating an extra monitoring thread, without using inter-process communication for event logging, and without transmitting additional network packets to check inter-node timing constraints.
Adaptive System Software for Sensor Network Applications, Aug 2005 - Feb 2007
-
This work focuses on the development of system software for sensor networks, which includes the operating system to support diverse sensor devices and to provide a rapid prototyping environment. I participated in the development of the operating system, called RETOS. It runs on microcontroller-based devices, such as TI MSP430 (8MHz, 10Kb RAM, 48Kb ROM). RETOS provides preemptive multithreading and protects MMU-less devices from errant applications via static and dynamic code checking.
Power Management System based on Application Analysis, Aug 2003 - Jul 2005
-
The purpose of this research was to develop a kernel-based low power management mechanism for battery operated portable electronics, such as PDAs. I worked on a power-aware LCD management mechanism, based on dynamic refresh-rate scaling and frame buffer monitoring. It does not require additional hardware or modifications to applications. I also participated in the development of a process monitor for Dynamic Voltage Scaling (DVS).
Work Experience
Research Engineer at LIG Nex1, Korea, Feb 2007 - May 2011
-
Joined the company as a substitute for the mandatory military service.
-
Research and development of military computer systems that focuses on real-time and robust behavior of distributed systems. I mainly participated in the development of fire-control computer systems for the Korean Middle-Range Surface-to-Air Missile (M-SAM) project.
Teaching Experience
Teaching Assistant, Operating System, Yonsei University - Spring 2006
Teaching Assistant, System Programming, Yonsei University - Fall 2005
Publications
Conferences and Journals
-
Hyoseung Kim, Arvind Kandhalu and Ragunathan (Raj) Rajkumar. A Coordinated Approach for Practical OS-Level Cache Management in Multi-Core Real-Time Systems. In Euromicro Conference on Real-Time Systems (ECRTS), 2013. (Accepted)
-
Hyoseung Kim and Ragunathan (Raj) Rajkumar. Memory Reservation and Shared Page Management for Real-Time Systems. Journal of Systems Architecture: Embedded Software Design, Elsevier. (Under review)
-
Junsung Kim, Hyoseung Kim, Karthik Lakshmanan and Ragunathan (Raj) Rajkumar. Parallel Scheduling for Cyber-Physical Systems: Analysis and Case Study on a Self-Driving Car. In ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2013. [PDF] Nominated for Best Paper Award
-
Hyoseung Kim and Ragunathan (Raj) Rajkumar. Shared-Page Management for Improving the Temporal Isolation of Memory Reservations in Resource Kernels. In IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2012. [PDF] Invited for a special issues of the Journal of Systems Architecture (JSA)
-
Hyoseung Kim, Shinyoung Yi, Wonwoo Jung and Hojung Cha. A Decentralized Approach for Monitoring Timing Constraints of Event Flows. In IEEE Real-Time Systems Symposium (RTSS), 2010. [PDF][PPT]
-
Hojung Cha, Sukwon Choi, Inuk Jung, Hyoseung Kim, Hyojeong Shin, Jaehyun Yoo and Chanmin Yoon. RETOS: Resilient, Expandable, and Threaded Operating System for Wireless Sensor Networks. In International Conference on Information Processing in Sensor Networks (IPSN), 2007. [PDF]
-
Hyoseung Kim, Hojung Cha and Rhan Ha. Dynamic refresh-rate scaling via frame buffer monitoring for power-aware LCD management. Journal of Software - Practice and Experience (SPE), John Wiley & Sons, Ltd., Vol. 37, Issue 2, 2007, pp. 193-206. [PDF]
-
Hyoseung Kim and Hojung Cha. Multithreading Optimization Techniques for Sensor Network Operating Systems. In European conference on Wireless Sensor Networks (EWSN), 2007. [PDF][PPT]
-
Hyoseung Kim and Hojung Cha. Towards a Resilient Operating System for Wireless Sensor Networks. In USENIX Annual Technical Conference (USENIX ATC), 2006. [PDF][PPT]
Technical Reports
-
Hyoseung Kim, Arvind Kandhalu and Ragunathan (Raj) Rajkumar. Coordinated Cache Management for Predictable Multi-Core Real-Time Systems. Technical Report, Carnegie Mellon University, 2013. [PDF]
Posters and Demos
-
Hyoseung Kim, Junsung Kim and Ragunathan (Raj) Rajkumar. A Profiling Framework in Linux/RK and its Application. In Open Demo Session of IEEE Real-Time Systems Symposium (RTSS@Work), 2012. [PDF]
-
Hojung Cha, Sukwon Choi, Inuk Jung, Hyoseung Kim, Hyojung Shin, Jaehyun Yoo and Chanmin Yoon. The RETOS Operaging System: Kernel, Tools and Applications. In International Conference on Information Processing in Sensor Networks (IPSN), 2007. [PDF]
-
Jaehyun Yoo, Youngbin You, Hyoseung Kim, Sukwon Choi and Hojung Cha. RETOS-based Distributed Acoustic Source Detection. In European conference on Wireless Sensor Networks (EWSN), 2007. [PDF]
Written in Korean
-
Joonhee Lee and Hyoseung Kim. Linux Kernel Programming. Kyohak Publishing Co.,Ltd., ISBN 978-89-09-15055-2, 2009, 398 pp. (Book)
-
Hyoseung Kim, Wonkee Son and Myunghwan Yoo. Developing a Real-time Software with DDS and Rose Realtime. In Korea Ground Weapon Conference, 2008.
-
Hyoseung Kim and Hojung Cha. A Power-aware LCD Management based on Frame Buffer Monitoring. In Korea Information Science Society Conference, 2004.
-
Hyoseung Kim, Kwangkyu Park, Hyungu Park and Hojung Cha. MGlove: A Sensor-based Input Device for Sensor Network Environment. In Korea Information Science Society Conference, 2004.
-
Joonhee Lee, Hyoseung Kim and Hojung Cha. A Process Monitoring Strategy towards DVS Applications. In Korea Information Science Society Conference, 2003.
Honors and Awards
-
Fulbright Graduate Scholarship, 2011-2013.
-
Patent: Hyoseung Kim, Hojung Cha, "Resilient Operating System and Method for MMU-less Embedded Systems," Patent No: KR1020060039906, Korea, 2006.
-
Full Tuition Scholarship, Yonsei University, 2005 - 2007.
-
1st Prize in LG CDMA New Frontier Membership Project, LG Electronics, 2004. [img1/img2]
-
Informatics Specialist Scholarship, Yonsei University, 2003 - 2005.
-
Encouragement prize in The 2nd Embedded Software Contest, Korea Ministry of Information and Communication, 2004
-
Bronze prize in Korea Olympiad in Informatics, Korea Ministry of Information and Communication, 2001
Specialties
-
Programming Linux kernel on x86 and ARM
-
Designing real-time distributed systems with a publisher-subscriber model, such as DDS (Data Distribution Service)
-
Real-time applications for PPC (VxWorks), x86 (Linux) and MSP430/ATmega128 MCUs
|
