Research

We are conducting a broad scope of research in the area of computing science/engineering.

In particular, we mainly focus on the following three research areas.

  • Real-Time Scheduling and Systems
  •      └      ML for RT  &  RT for ML
  • Software Defined Batteries
  • Mobile Computing and Systems

Research Area


  • image

    Real-Time Scheduling and Systems

    Timing guarantees for safety- and mission-critical systems





    (Click here for details)


    This research aims at providing timing guarantees for safety- or mission-critical systems, such as real-time systems and cyber-physical systems. In particular, we develop real-time scheduling algorithms and their analysis techniques for timing guarantees. The research topics include real-time scheduling in uniprocessor and homogeneous/heterogeneous multiprocessor, mixed-criticality scheduling, security issues for real-time scheduling, real-time guarnatees for SSD, and real-time control for cyber-physical systems.


    Related Selected Publications: RTSS2024a, RTSS2024b, EMSOFT2024, DAC2024, RTAS2024, SAC2024a, RTSS2023, RTSS2022a, RTSS2022b, RTSS2022c, TC2022, TPDS2022, RTAS2022, RTSS2021, RTAS2021, RTSS2020, TPDS2020, RTSS2019a, RTSS2019b, IoTJ2019a, IoTJ2019b, RTAS2019, RTSS2018, TPDS2018, RTAS2018a, RTAS2018b, RTSS2017, TC2017, TPDS2017a, TPDS2017b, RTSS2015b, TC2015, RTSS2014b, TC2014, TPDS2014a, TPDS2014b, TECS2014, RTSS2013a, TSE2013, ECRTS2013, RTSS2012a, RTSS2012b, RTSJ2012, RTAS2011, RTSS2010, EMSOFT2010


  • image

    ML for RT  &  RT for ML

    Machine learning for real-time systems, and timing guarnatee for machine learning





    (Click here for details)


    Recently, we are investigating how machine learning helps to provide timing guarantees. Also, we are interested in providing timing guarantees for machine learning.
    Watch a presentation by Prof. Jinkyu Lee in 2022 (in Korean).
    Watch a presentation by Prof. Jinkyu Lee in 2021 (in Korean).
    Read an interesting article.
    Read a review article.


    Related Selected Publications: RTSS2024b, EMSOFT2024, DAC2024, RTAS2024, SAC2024a, RTSS2022a, RTAS2022, RTSS2021, RTAS2021


  • image

    Software Defined Batteries

    Improvement of battery performance through computer science/engineering principles





    (Click here for details)


    In this research area, we aim at improving battery performance by controlling them with computer science/engineering principles. The research topics include battery management systems for electric vehicles, battery scheduling for mobile devices, and scheduling for reconfigurable battery systems.


    Related Selected Publications: TII2024, MobiSys2023, TPDS2020, ESL2020, RTSS2019a, E-energy2019, EL2017, RTSS2016, RTSS2015a, RTSS2014a, ICCPS2014, RTSS2013b, ICCPS2013


  • image

    Mobile Computing and Systems

    Facilitating new functions for mobile devices without additional hardware

    Improving performance of mobile systems





    (Click here for details)


    In this research area, we aims at developing new functions for mobile devices without additional hardware. The research topics include mobile applications and services using acoustic signature, and Internet of Things (IoT). We also improve the performance of mobile systems.


    Related Selected Publications: MobiSys2023, IEEESensors2022, PAUC2020

Research Funding Information

Current Projects (연구책임자: 이진규)


  • 임베디드 시스템에서 인공지능 모델 추론 실시간성 보장 기술 개발, 2024.07 ~ 2027.06 [한국연구재단 국제협력 네트워크 전략 강화 사업]

  • 사물 배터리 중심 실시간 컴퓨팅 연구실 , 2022.06 ~ 2025.02 [한국연구재단 기초연구실]

  • 연합 스케줄링을 활용한 완화된 데드라인 병렬 작업을 위한 실시간성 보장 기술, 2024.10 ~ 2025.09

  • A project (연구분야: ML+RT), 2020.09 ~ 2025.09


    image



Current Projects (참여교수: 이진규)


  • 지속성장 미래컴퓨팅 교육연구단, 2024.03 ~

  • 소프트웨어 중심대학, 2021.04 ~

  • A project (연구분야: 실시간 시스템), 2023.09 ~ 2028.09



Past Projects (연구책임자: 이진규)


  • 컴퓨팅 자원의 효율적 활용을 위한 Gang Scheduling의 실시간성 보장 연구, 2023.06 ~ 2024.05

  • 이머징 실시간 작업 모델의 실시간성 보장을 위한 비선점형 스케줄링 플랫폼, 2022.12 ~ 2023.11

  • 실시간 스케줄링 플랫폼의 실시간성과 보안성 동시 최적화: 머신러닝 등 이머징 기술 활용, 2021.03 ~ 2023.02 [한국연구재단 중견연구 후속연구]

  • 병렬실행이 가능한 작업의 실시간성 보장 극대화를 위한 비선점형 스케줄링 플랫폼, 2021.12 ~ 2022.11

  • A project (연구분야: 배터리 관리 & 모바일 시스템), 2020.11 ~ 2021.12

  • 실시간 시스템의 보안성 통합을 위한 실시간 스케줄링 플랫폼 설계: 모델 확장, 최적화 및 검증, 2019.03 ~ 2021.02 [한국연구재단 중견연구 후속연구]

  • A project (연구분야: 실시간 시스템), 2018.07 ~ 2020.06

  • A project (연구분야: 배터리 관리), 2019.05 ~ 2019.12

  • 소리 신호를 이용한 Commodity 모바일 기기의 그립 인식 기술, 2018.06 ~ 2019.05

  • 실시간 시스템의 보안성 통합을 위한 실시간 스케줄링 플랫폼 설계, 2017.03 ~ 2019.02 [한국연구재단 중견연구]

  • 예측가능한 실시간 시스템을 위한 비선점형 설계, 2017.12 ~ 2018.12

  • A project (연구분야: 실시간 시스템), 2017.06 ~ 2018.01

  • 고신뢰 실시간 시스템을 위한 스케줄링 체제, 2016.11 ~ 2017.10

  • 대규모 배터리 시스템의 설계와 관리, 2014.07 ~ 2017.06 [한국연구재단 신진연구]

  • A project (연구분야: 실시간 시스템), 2016.06 ~ 2017.01

  • A project (연구분야: 실시간 시스템), 2015.09 ~ 2016.01

  • A project (연구분야: 모바일 시스템), 2015.05 ~ 2015.11



Past Projects (참여교수: 이진규)


  • Smart Vehicle 분야 차세대 공학연구자 육성 사업단, 2017.05 ~ 2022.02

  • 지속성장 ICT 미래인재교육연구단, 2020.09 ~ 2022.02

  • A project (연구분야: 배터리 관리), 2018.02 ~ 2021.11

  • 소프트웨어 중심대학, 2015.10 ~ 2021.02

  • 라이프 캠패니온쉽 경험을 위한 지능형 인터랙션 융합 연구, 2018.01 ~ 2020.12

  • 미래가치 창조형 ICT인력 양성사업단, 2015.03 ~ 2020.08

  • 소프트웨어 교육 선진화 사업, 2014.03 ~ 2016.02