RnDCircle Logo
박문주 연구실
인천대학교 컴퓨터공학부 박문주 교수
실시간 스케줄링
Rate-Monotonic 스케줄링
임베디드 시스템
홈
연구 영역
기본 정보
논문·특허
과제
구성원
홈

박문주 연구실

인천대학교 컴퓨터공학부 박문주 교수

박문주 연구실은 임베디드 및 엣지 환경에서 운영체제와 실시간 스케줄링, 전력/에너지 관리, 산업용 제어 보안을 연계해 연구를 수행합니다. 실시간 태스크의 스케줄 가능성 조건을 수학적으로 분석하여 비선점 Rate-Monotonic 스케줄링의 기준을 제안합니다. 또한 AI 가속기의 전력 소모를 추정하고 에너지 효율 관점에서 성능과 에너지 소비의 관계를 평가합니다. 마지막으로 PLC의 시간행동을 모니터링하여 이상 징후를 탐지하고 제어 흐름 및 스택 기반 버퍼 오버플로우 공격을 단계적으로 식별하는 보안 대응 방법을 구현·검증합니다.

실시간 스케줄링Rate-Monotonic 스케줄링임베디드 시스템엣지 컴퓨팅AI 가속기 전력·에너지 분석
대표 연구 분야
연구 영역 전체보기
비선점/비주기 실시간 스케줄링 성적분석 기반 스케줄 가능성 판단 연구 thumbnail
비선점/비주기 실시간 스케줄링 성적분석 기반 스케줄 가능성 판단 연구
Real-Time Scheduling Feasibility Analysis for Non-Preemptive Rate-Monotonic Scheduling
연구 분야 상세보기
AI 가속기 전력 추정 및 에너지 효율 향상 기반 임베디드 에너지 관리 연구 thumbnail
AI 가속기 전력 추정 및 에너지 효율 향상 기반 임베디드 에너지 관리 연구
Power Estimation and Energy Management for AI Accelerators on Embedded Edge Devices
연구 분야 상세보기
PLC 시간행동 모니터링 기반 이상 징후 탐지 및 보안 대응 연구 thumbnail
PLC 시간행동 모니터링 기반 이상 징후 탐지 및 보안 대응 연구
Anomaly Detection and Defense for PLCs via Temporal Behavior Monitoring
연구 분야 상세보기
연구 성과 추이
표시된 성과는 수집된 데이터 기준으로 산출되며, 일부 차이가 있을 수 있습니다.
주요 논문
5
논문 전체보기
1
Book chapter
|
·
인용수 0
·
2026
Energy Consumption and Performance of AI Accelerators for Edge Devices
Minseon Kang, Moonju Park
Communications in computer and information science
https://doi.org/10.1007/978-3-032-13056-3_36
Enhanced Data Rates for GSM Evolution
Energy consumption
Edge device
Server
Edge computing
Energy (signal processing)
Power consumption
2
Article
|
·
인용수 0
·
2026
Utilization Bounds for Non-Preemptive Rate-Monotonic Scheduling
Moonju Park
IF 2 (2026)
IEEE Embedded Systems Letters
이 서신은 비선점형 Rate Monotonic(RM) 스케줄링의 활용도 상한을 조사한다. 선행 연구에서는 최대 차단 시간과 실행 시간의 비로 정의되는 차단 인자가 활용도 상한과 밀접한 관련이 있음을 보여주었다. 이 결과를 이용하여, 작업 주기 간의 비가 활용도 상한에 영향을 미친다는 점을 보이며, 기존 분석과 상호 보완적이면서도 보다 덜 비관적인 새로운 상한을 제시한다.
https://doi.org/10.1109/les.2026.3659925
Blocking (statistics)
Upper and lower bounds
Scheduling (production processes)
Monotonic function
Task (project management)
Job shop scheduling
3
Article
|
인용수 3
·
2025
Power Estimation and Energy Efficiency of AI Accelerators on Embedded Systems
Minseon Kang, Moonju Park
IF 3.9 (2025)
Energies
IoT 기기의 급속한 확장은 AI 기반 서비스에 새로운 과제를 제기하며, 특히 에너지 소비 측면에서 그러하다. 클라우드 기반 AI 처리는 지배적인 접근이었지만, 높은 에너지 소비로 인해 보다 에너지 효율적인 대안이 요구된다. 엣지 컴퓨팅은 지연 시간과 에너지 소비를 모두 줄이기 위한 접근을 제공한다. 본 논문에서는 임베디드 엣지 장치에서 AI 가속기의 전력 소비를 추정하기 위한 방법론을 제안한다. GPU 및 Edge TPU 기반 플랫폼을 활용한 실험적 평가를 통해, 제안된 방법은 8% 미만의 추정 오차를 보였다. 이러한 추정 오차는 주로 주기억장치 및 저장장치 접근으로 인한 전력 소비가 모델에 반영되지 않았기 때문에 일부 발생하였다. 제안된 접근은 AI 기반 엣지 컴퓨팅 시스템에서 보다 신뢰할 수 있는 에너지 관리의 기반을 제공한다.
https://doi.org/10.3390/en18143840
Power (physics)
Estimation
Energy (signal processing)
Efficient energy use
Reliability engineering
Computer science
Electrical engineering
Automotive engineering
Engineering
Systems engineering
최신 정부 과제
6
과제 전체보기
1
2024년 7월-2028년 12월
|650,125,000원
클라우드+X 융합인재 연구교육과정 개발 및 운영
ㅇ 최종목표- 우수 클라우드 기업들과 공동 운영하는 클라우드 교육과정과 기업체 멘토와 산업 현장 문제를 함께 해결하는 PBL 연구 교육과정을 통한 클라우드+X 융합 인재 양성ㅇ 연구 개발 과제 정량적 주요 목표- PBL 연구교육과정 운영에 총 15개 이상 기업 참여 (클라우드 대기업 포함)- KOCW 등 PBL 연구교육과정 온라인 공개 총 8건 이상- 국내...
클라우드
다학제간 대학원
문제기반학습
학석사연계전공
개방형 융합교육
2
주관|
2021년 4월-2024년 12월
|2,917,000,000원
전원 불안정 감내 자율적 에너지기반 컴퓨팅 시스템SW 원천기술 개발
o Energy-drivn 컴퓨팅 시스템 개발 - Energy-driven 컴퓨팅 지원 초소형 운영체제 개발 . Energy-driven 시스템 상태전환 및 스케줄링 기술 . Energy-driven 구조의 데이터 보호 기술 . 메모리 혼합 구조에서의 데이터 일관성 보장 기술 . Energy-driven 시스템에서의 멀티 태스크 쓰레드 관리 기술 - 비휘발성 인터미턴트 컴퓨팅 지원 컴파일러 개발 . 비휘발성 데이터 관리를 위한 Idempotent 최적화 기술 . 전력 최적화 및 데이터 일관성 보장을 위한 라이브러리 기술 - 비휘발성 인터미턴트 컴퓨팅 아키텍처 개발 . 차세대 비휘발성 메모리 기반 HW구성 - Energy-driven 시스템을 위한 기계학습 프레임워크 . Energy-driven컴퓨팅 환경에서도 최적의 정확도를 얻을 수 있는 동적 경로 추론 기술 o 전원 불안정 상황인지 전력 관리 및 제어 시스템 개발 - 전원 불안정 상황인지 전력관리/제어 모듈 . 에너지 하베스팅 기반 전력 관리 및 제어 HW 요소기술 . 에너지 상태 실시간 모니터링 기술 - 시스템 모듈간 전력 간섭제거 및 안정화 모듈 . 전력 간섭 제거 및 안정화 기술 o 전원 불안정 상황인지 시스템 도구 - 비휘발성 메모리 기반 시스템 시뮬레이터 . Energy-driven 컴퓨팅 시스템 시뮬레이션 기술 - 시뮬레이션 기반 시스템 전력 프로파일링 . Energy-driven 컴퓨팅 시스템의 에너지 상태 모니터링 및 분석 기술 - 전원 불안정 상황에서의 실행검증 디버거 . Energy-driven 컴퓨팅 시스템의 오류 검출을 위한 디버깅 기술 o Energy-driven 컴퓨팅 시스템 검증용 테스트베드 - 초경량 하드웨어기반 Energy-driven 기계학습 모델 . 전원 불안정 상태에서 진행 보장 신경망 학습 기능 - 초소형 큐브위성 시뮬레이터 . 초소형 큐브 위성용 에너지 모사 실시간 시뮬레이션 기술 - 웨어러블 IoT 모듈 . 불안정 전력 상황인지 웨어러블 IoT 센싱 모듈 실증 o Energy-driven 컴퓨팅 시스템SW 오픈소스 현황 분석 및 오픈소스 전략 수립
간헐적 컴퓨팅
비휘발성 메모리
에너지 기반 컴퓨팅
에너지 하베스팅
에너지기반 시스템 SW
3
주관|
2020년 6월-2023년 2월
|84,904,000원
에지 컴퓨팅 장치에서의 에너지 효율적 데이터 처리를 위한 하드웨어 가속기 활용 근사컴퓨팅
1차년도 연구에서는 엣지 디바이스에 탑재된 하드웨어 가속기의 실행 재구성을 지원하기 위한 mechanism을 설계하고 구현함을 목표로 한다. 타겟 시스템은 컴퓨팅 파워가 낮고 IoT 디바이스로 널리 사용될 수 있는 임베디드 시스템이며 배터리나 태양광 등 안정적이지 않은 전력 공급원을 가지고 있는 환경에서 동작한다. 근사 컴퓨팅을 위해 하드웨어 가속기의 자원 사용량을 동적으로 변동시키기 위해서는 최초에 응용이 사용하기 시작한 하드웨어 명세의 내용이 실행 중에 재구성될 수 있어야 한다. 이를 위해 응용은 허용되는 최저 성능을 명세할 수 있어야 하며, 운영체제는 최저 성능을 만족시키면서 전력소모를 최소화하기 위해 하드웨어 자원을 관리해야 한다. 근사컴퓨팅 구현을 위해서, 하드웨어 가속기 관리자는 각 하드웨어 자원의 전력 소모 특성 및 정확도를 높이기 위한 노력(effort) 대비 자원의 필요량을 예측해야 하는데, 이 부분은 비선형적 관계를 가지기 때문에 간단히 구현되기 어렵다. 따라서 뉴로모픽 프로세서를 가속기로 사용할 경우, 정확도가 높아질수록 소모되는 에너지가 기하급수적으로 증가할 것으로 예상할 수 있다. 하드웨어 가속기 관리 자는 하드웨어 가속기 마다 다른 정확성과 에너지 소모 특성을 반영할 수 있도록 설계될 것이다. 2차년도에는 하드웨어 가속기를 이용하여 소모 전력 당 정확도 향상을 목표로 하는 스케줄러를 개발하고, 응용 프로그램에서 사용하는 하드웨어 가속기의 수나 종류를 변경할 수 있도록 지원하는 것을 목표로 한다. 응용프로그램의 하드웨어 가속기 사용 요청은 이를 처리하는 가속기 manager에전달되고, 가속기 manager는 요구 하드웨어와 메모리에 대한 정보를 이용하여 사용자가 요구하는 정확도를 달성하기 위한 전력 소모를 결정한다. 이 때 현재 사용 가능한 전력량을 고려하여 소모 전력 당 성능이 최대화되도록 실행 정책을 결정해야 하고, 사용자가 요구하는 정확도를 달성할 수 있는 지 사용자에게 피드백한다. 소모 전력은 사용하는 하드웨어 자원을 조정하여 수행 결과의 정확도와 trade-off 될 수 있다. 하드웨어 가속기를 이용하여 hidden layer의 뉴런 수를 증가시키면 AI 응요의 정확도를 증가시킬 수 있다. 반대로 전력이 부족한 경우 뉴런의 수를 줄여 사값(approximate value)을 구하고, 이로부터 절약된 하드웨어 자원의 전력 사용량을 감소시킬 수 있다. 3차년도에는 2차년도까지 완성된 하드웨어 가속기 지원 프레임워크에 할 실시간 제약조건을 만족시킬 수 있는 스케줄러 지원을 목표로 한다. 하드웨어 가속기의 경우 태스크의 요청이 발생하면 그 요청을 처리하기 위해 할당된 하드웨어 자원이 독점적으로 사용된다. 이러한 상황에 대한 기본적인 접근법은 하드웨어 가속기를 사용하는 태스크들을 자원을 공유하는 태스크들로 간주하여 스케줄링 하 는 것이다. HW 가속기를 완전한 비선점형 스케줄링 기법으로 스케줄하는 경우 우선순위 역전으로 인한blocking time이 너무 크기 때문에, 본 연구에서는 하드웨어 가속기를 사용하는 태스크의 수행을 partitioning 하여 부분적 비선점형 스케줄링 기법을 적용할 수 있도록 연구를 진행할 계획이다. 본 연구에서는 전력 소모를 함께 고려하기 때문에 기존 스케줄링 기법의 적용은 어려우며, 따라서 하드웨어 가속기 스케줄링에 적용할 새로운 스케줄러를 개발하여 운영체제에서 지원토록 한다.
근사컴퓨팅
하드웨어가속
에지 컴퓨팅
인공지능
전력인지
임베디드시스템
최신 특허
특허 전체보기
상태출원연도과제명출원번호상세정보
등록2013멀티코어 임베디드 리눅스 시스템을 위한 응용 프로그램 분석 방법 및 장치1020130164175
등록2008유비쿼터스 컴퓨팅 환경을 위한 분산형 규칙 처리1020080105738-
포기2005메모리 접근 보호 시스템 및 그 메모리 접근 보호 방법1020050105099
전체 특허

멀티코어 임베디드 리눅스 시스템을 위한 응용 프로그램 분석 방법 및 장치

상태
등록
출원연도
2013
출원번호
1020130164175

유비쿼터스 컴퓨팅 환경을 위한 분산형 규칙 처리

상태
등록
출원연도
2008
출원번호
1020080105738

메모리 접근 보호 시스템 및 그 메모리 접근 보호 방법

상태
포기
출원연도
2005
출원번호
1020050105099