Our lab conducts research in the fields of operating systems and distributed systems under the guidance of Professor Minsoo Ryu. We are always recruiting graduate students and undergraduate researchers to join us. If you are interested in researching with us, please refer to the information below and apply via email. Graduate freshmen – “Hanyang University Graduate School” Prospective graduate students (majoring in Computer Software, Information Systems, Convergence Electronic Engineering, or similar fields) Undergraduate interns – Hanyang University/other university 3rd or 4th-year students and students on leave. Benefits for new students/interns – Actual participation in government and corporate projects, support for conferences/salaries.

저희 연구실은 유민수 교수님 지도 하에 운영체제 및 분산시스템 분야의 연구를 진행하고 있습니다. 이에 함께 연구할 대학원생 및 학부연구생을 상시 모집합니다. 함께 연구하고 싶은 분들은 참고하시어 아래 메일로 지원하면 됩니다. 대학원 신입생 – “한양대학교 일반대학원” 예비대학원생 ( 컴퓨터소프트웨어학부 / 정보시스템학과 / 융합전자공학부 혹은 유사학과 전공자) 학부 인턴 – 한양대학교/타 대학교 3,4학년 재학생 및 휴학생 신입생/인턴 지원 혜택 – 정부 및 기업과제 프로젝트 실제 참여 및 학회/급여 지원

Visual Assessment of a Real-Time System Design: A Case Study on a CNC Controller

Streamlining Real-Time Controller Design: From Performance Specifications to End-to-End Timing Constraints

End-to-End Design of Distributed Real-Time Systems

Toward Automatic Synthesis of Schedulable Real-Time Systems: From the Temporal Perspectives

Designing FIP-based Distributed Real-Time Systems

A Period Assignment Algorithm for Real-Time System Design

Performance Re-engineering of Embedded Real-Time Systems

Timing Constraint Remapping to Avoid Time Discontinuities in Distributed Real-Time Systems

Experimental Assessment of the Period Calibration Method: A Case Study

Rapid Re-engineering of Embedded Real-Time Systems via Cost-Benefit Analysis with K-Level Diagonal Search

Timing Constraint Remapping to Achieve Time Equi-Continuity in Distributed Real-Time Systems

Practical Considerations in Designing Distributed Real-Time Systems: A Case Study on an FIP-based System

Deterministic and Statistical Deadline Guarantees for a Mixed Set of Periodic and Aperiodic Tasks

Fair Real-Time Resource Allocation for Internet End System’s QoS Support

Design of a QoS-Aware Network Subsystem for End Host Operating Systems

센서 네트워크를 위한 실시간 운영체제 및 컴포넌트 모델 설계

실시간 시스템의 동시성을 지원하기 위한 재진입 상태 챠트

Deterministic and Statistical Admission Control for QoS-Aware Embedded Systems

Vector Graphics Application Using Self-networking and Replaceable Structure in Wireless Handset

An Efficient On-Line Job Admission Control Scheme to Guarantee Deadlines for QoS-Demanding Applications

Priority-Driven Network Protocol Processing for OS-Level QoS Support

Rapid Performance Re-engineering of Distributed Embedded Systems via Latency Analysis and k-Level Diagonal Search

효율적인 멀티홉 센서 네트워크 리프로그래밍

Reentrant Statecharts for Concurrent Real-Time Systems

An RTOS API Translator for Model-Driven Embedded Software Development

Model-Driven Development of RTOS-based Embedded Software

A Remote Diagnostic Protocol and System for U-Car

파일수준의 캐시기능을 통한 플래시 파일 시스템의 성능 향상 기법

MPSoC 기반 임베디드 시스템을 위한 마스터-슬레이브 구조의 멀티프로세서 운영체제

An Effective Design of Master-Slave Operating System Architecture for Multiprocessor Embedded Systems

우선순위 정책과 피드백 리소스 제어를 이용하여 적응적 QoS를 제공하는 네트워크 프로토콜 처리기법

소프트웨어 재사용과 RTOS 추상화를 이용하 모델 기반 임베디드 소프트웨어 개발

컴포넌트 기반 Application-specific 멀티프로세서 운영체제

Model-Driven Development of Embedded Software via Software Reuse and RTOS Abstraction

Recoplay: An Effective Record-Replay Approach to Debugging Complex Embedded Software

APRIX: A Master-Slave Operating System Architecture for Multiprocessor Embedded Systems

테스팅을 고려한 설계 모델 및 모델 기반 테스트 케이스 도출 방법

실시간성 향상을 위한 TTCAN 메세지 스케줄링 최적화 방법

POSIX 기반 태스크 동기화 코드의 OSEK/VDX 기반 코드 변환에 대한 연구

네트워크 대역 효율성을 고려한 TTCAN 메세지 스케줄링 방법

RT-Replayer: A Record-Replay Architecture for Embedded Real-Time Software Debugging

Extending Component-Based Approaches for Multithreaded Design of Multiprocessor Embedded Software

비주기 메세지의 스케줄링 지연을 최소화하기 위한 TTCAN 스케줄링 알고리즘

A Scheduling Algorithm for Minimizing Exclusive Window Durations in Time-Triggered Controller Area Network

A QoS-Aware Component Model for Service Robots

컴포넌트 미들웨어에 기반한 로봇 서비스의 QoS 분석 방법

A Fair and Priority-based Protocol Processing Scheme for End-to-End QoS Provisioning

SMP(Symmetric Multiprocessing)커널과 마스터-슬레이브 커널 구조의 시스템콜 성능 비교

Software Product Families을 위한 Variability 관리 방법과 도구에 관한 연구

AUTOSAR 기반 소프트웨어의 실시간성 보장을 위한 태스크와 메세지의 우선순위 지정 방법

CPS(Cyber-Physical Systems)신뢰성 향상을 위한 소프트웨어 기반 오류 진단/복구 기법

AUTOSAR 기반 BSW 모듈 확장을 위한 BSW 스케줄러와 인터럽트 핸들러 분석 및 적용 방법

Understanding and Extending AUTOSAR BSW for Custom Functionality Implementation

Software-Based Fault Detection and Recovery for Cyber-Physical Systems

CPS의 Soft Error 극복을 위한 소프트웨어 기반 오류 감지 및 복구 기법

Scheduling Time-Constrained Tasks in ALE-compliant RFID Middleware

Test Case Generation and Execution based on Record-Replayer Mechanism

안드로이드 기반 로봇 소프트웨어 플랫폼

Lag-based Load Balancing for Linux-based Multiprocessor Systems

EDZL Schedulability Analysis on Performance Asymmetric Multiprocessors

위치 정보를 이용한 PCGN(Proximity Car Group Network)동적 관리 알고리즘

A Sequentializing Device Driver for Optimizing Random Write Performance of eSSD

Link-Based Similarity Measures Using Reachability Vectors

Reachability Vectors: Features for Link-Based Similarity Measures

A Voice-Controlled Web Browser to Navigate Hierarchical Hidden Menus of Web Pages in a Smart-TV Environment

Model-based Automated Testing using a Record-Replay Mechanism

Fixed Share Scheduling via Dynamic Weight Adjustment in Proportional Share Scheduling Systems

Performance Evaluation of the SSD-based Swap System for Big Data Processing

HOTDOL: HTML Obfuscation with Text Distribution to Overlapping Layers

Real-Time Priority Assignment for AUTOSAR-based Systems with Time-Driven Synchronization

TASEL: Dynamic Taint Analysis with Selective Control Dependency

Android 런타임 변화에 따른 성능 분석

CPU/GPU/Memory 유효 작업부하를 이용한 DVFS 기법

WebKit, Gecko, Blink 웹 렌더링 엔진 성능 분석

Proportional Share Scheduling employing Performance-aware Virtual Time in Multiprocessor Systems

Multiprocessor MMIO Tracing via Memory Protection and a Shadow Page Table

Absolute Bandwidth Scheduling via Group-based Partitioned Proportional Share Scheduling and Dynamic Weight Management on Varying-Speed Multiprocessors

Guaranteeing End-to-End Deadlines for AUTOSAR-based Automotive Software

통합시스템 Health Monitoring 기술 및 차량 기술 검증

유효 작업부하를 이용한 Energy aware scheduler와 DVFS 기법

성능 카운터를 이용하여 불필요한 성능 손실을 제거하는 기법

EDZL Scheduling and Schedulability Analysis for Performance Asymmetric Multiprocessors

Model-based replay testing for event-driven software

CPU Low Power Policy Using PPMU and GPU Low Power Policy Using the Analysis of GPU Jobs

User Application Record-Replay Mechanism via Detecting Kernel-to-User Data Transfer

운영체제 시그널 동작의 정확한 기록과 재현 방법

Best Speed Fit EDF Scheduling for Performance Asymmetric Multiprocessors

User-level Deterministic Replay via Accurate Non-deterministic Event Capture

Analysis and Evaluation of Locks Designed for NUMA System

Verification of an ad-hoc serial communication protocol through model-checking: A case study with echo sounder

멀티 스레드 프로그램에서의 경쟁 상황 재현 방법

Software Black Box

Exploring OS-based Full-system Deterministic Replay

Deterministic Replay of Memory-mapped File Data for User-level programs

Debugging Nondeterministic Failures in Linux Programs through Replay Analysis

파일 I/O 동작의 기록과 재현을 위한 리플레이 기법

차량용 CAN Network에서의 사이버공격 검출 방법

Pay Migration Tax to Homeland: Anchor-based Scalable Reference Counting for Multicores

Operating Systems & Distributed Computing Laboratory

교수님 소개

연구실 소개

연구실 키워드

알럼나이가 간 회사

연구실 지원 방법

대우 조건

연도별 논문 인용수

저널 & 학회 논문 출판 수

연구실 논문 목록

다중-요소 비밀 공유를 위한 지분 강화 기법

다중 컴파트먼트 비밀공유 기법

비잔틴 분산 합의 시스템의 신뢰성 검증을 위한 결함 분류 및 주입 기법

연구실 보유 특허

대학별 입시끈

우리 연구실 모집