'설명회 및 데모 시연' 시간

14:00

15:00

16:00

(전시물 설명은 수시로 설명 가능)

2015 Embedded System Lab. 1

2015 Embedded System Lab.

임베디드 시스템 연구실Embedded System Laboratory

2016 Open Lab

2016.04.15.

연구실 구성

지도교수 :

김형신 교수

구성원

박사과정 : 2명(Full-time) / 8명(Part-time)

석사과정 : 7명(Full-time) / 7명(Part-time)

연구실 내 상주인원 : 9명 (풀 타임 대학원생)

2015 Embedded System Lab. 3

교수님 소개

2015 Embedded System Lab. 4

86-90 전산학 학사, 한국과학기술원(KAIST) 전산학과

89-90 위성통신공학 석사, 영국 Surrey University

94-03 전산학 박사, 한국과학기술원(KAIST) 전산학과

90-92 영국 Surrey Space Technology Ltd. 방문연구원

92-01 한국과학기술원 인공위성센터 선임연구원

인공위성 우리별 1, 2, 3호, 과학위성 1호 개발 참여

02 미국 프린스턴 NEC Lab 방문연구원

03-04 미국 Carnegie Mellon University 박사후 연구원

04-현재 충남대학교 컴퓨터전공 정교수

연락처 : 042-821-5446E-mail : hyungshin@cnu.ac.krWeb : http://eslab.cnu.ac.kr

교수님 소개

2015 Embedded System Lab. 5

임베디드 시스템

Embedded System - System with Computer Inside

2015 Embedded System Lab. 6

National Space Lab

범용 플랫폼 및 임무에 적용 가능한 위성용 SW 개발을 위해 지정된 국가 연구실

연구목표

소프트웨어 플랫폼 컴포넌트 기반 소프트웨어 표준화

모듈화 및 가상화 기술 적용

위성 소프트웨어 재활용성, 플랫폼 독립성 확보

프로세서 독립적인 범용 플랫폼

저궤도 및 정지궤도에 독립적인 범용 플랫폼 개발

진행상황

위성용 프로세스 가상머신 연구

위성용 시스템 가상머신 연구

마이크로 커널 또는 Partitioning OS 기반 가상머신 연구

실시간성 보장

Fault-Tolerance 보장

연구 주제

2015 Embedded System Lab. 7

우주용 탑재 컴퓨터 소프트웨어 가상화 기술 연구

스마트폰 전력 소모 분석

소프트웨어 방식 전력 모델 연구

자동 전력 모델 생성 방법 연구

온라인 전력 소모 분석 방법 연구

스마트 폰 전력 소모 최적화 연구

오프라인 전력 소모 추정 연구

전력 소모 자동화 테스팅 도구 개발

자동 전력 소모 제어 기법 창안

연구 주제

2015 Embedded System Lab. 8

스마트 폰의 전력 소모 최적화 기술 연구

모바일 센싱 기술

웨어러블 장치와 스마트 폰 내부 센서를 이용한 개인 맞춤형 서비스 연구

에너지 절감형 연속 센싱을 위한 플랫폼 연구

연구 주제

2015 Embedded System Lab. 9

IoT 기술을 활용한 모바일 센싱 기술 연구

모바일에서의 Beacon 센싱 기술

Beacon 기기를 인식하여 영역을 설정하는 서비스를 연구

에너지 절감형 연속 센싱을 위한 기술 연구

연구 주제

2015 Embedded System Lab. 10

Beacon 기기를 이용한 저전력 영역 결정 기술 연구

연구:Fault-tolerant HW and SW Support for STSAT-3 Mission

Soft error protection for spacecraft

HW method using self-error detection and correction circuit

SW method using OS support

Autonomous error detection, confinement, and recovering method

Tool

Xilinx Virtex 4 FPGA-based LEON processor

TMR + Actel FPGA VHDL design

RTEMS spacecraft RTOS

STSAT-3 spacecraft computer

2015 Embedded System Lab. 11

with Korea Aerospace Research Institute(2007. 4 ~ 2010. 11)

연구:Development of Virtual Machine for the Satellite

인공위성 탑재 컴퓨터를 위한 가상머신 개발

가성머신이 수행할 프로그램의 프로그래밍 언어 정의

가상머신이 수행할 실행가능한 파일(Tokencodes)을 만드는 컴파일러 구현

Tokencodes를 수행하는 인터프리터 구현

2015 Embedded System Lab. 12

연구:Full Virtualizing Micro Hypervisor for Space Flight Computer

범용 플랫폼 및 임무에 적용 가능한 위성용 SW 개발

연구 목표

소프트웨어 플랫폼 컴포넌트 기반 소프트웨어 표준화

모듈화 및 가상화 기술 적용

위성 소프트웨어 재활용성, 플랫폼 독립성 확보

프로세서 독립적인 범용 플랫폼

저궤도 및 정지궤도 독립적인 범용 플랫폼 개발

진행 상황

위성용 프로세스 가상 머신 연구

위성용 시스템 가상 머신 연구

마이크로 커널 또는 파티셔닝 OS 기반 가상머신 연구

2015 Embedded System Lab. 13

연구:On-Board Control Procedure

현재 항공우주 연구원(KARI)의 '달 탐사 프로젝트'의 일부인 Lua Script 언어 기반 OBCP를 제작함.

On-Board Control Procedure(OBCP)란?

온-보드 시스템 상에서 온-보드 소프트웨어의 수정 없이, 로딩, 실행, 교체가 가능한프로시저

OBCP 사용 목적

급변하는 우주 상황에 대한 대처가 가능한 시스템 확보

온-보드 시스템의 제약조건을 완화하는 수단으로 사용

저비용, 효율성, 안정성 확보

2015 Embedded System Lab. 14

연구:전력 소모 분석 및 최적화 기술

온라인 전력 소모 분석 기술

전력 모델을 이용해 온라인/오프라인으로 전력 소모 측정

다수의 응용 프로그램의 전력 소모를 자동으로 추정

2015 Embedded System Lab. 15

자동화된 전력 소모 측정 프레임워크 다양한 앱들의 에너지 소모 분포

연구:O-Sleep

O-Sleep : Smartphone's Output-oriented Power Saving Mode

아웃풋 기반 에너지 절전 모드란?

스마트폰은 사용자가 요청한 정보를 만드는 시간 동안, 불필요한 디바이스 컴포넌트를 사용하고 있음.

정보를 만드는 시간을 감지하여, 해당 시간동안 디바이스 컴포넌트를 OFF 시킴으로써 에너지를 절감함.

약 33%의 에너지 절감 효과

2015 Embedded System Lab. 16

O-Sleep Mode

ControlOutputDevices

ControlOutputDevices

보유기술

저궤도 소형 위성용 탑재 소프트웨어 기술보유 탑재소프트웨어 개발

ERC32, LEON2, LEON3 프로세스 경험 보유

VxWorks, RTEMS 운영체제 경험 보유

가상머신 기반 플랫폼 기술 보유 Android Dalvik Translation 기술 분석

정지궤도 프로세스 가상머신 플랫폼 개발

인공위성 탑재용 시스템 가상머신 설계

스마트 폰 전력 소모와 최적화 소프트웨어 방식의 스마트 폰 전력모델 개발

스마트폰 전력사용 제한 및 예약 시스템 개발

분산 임베디드 시스템 전력 시뮬레이터 개발 임베디드 프로세서 모델링

임베디드 시스템 전력 모델링

대규모 분산 시스템용 멀티 쓰레드/멀티 코어 병렬 시뮬레이터 개발

2015 Embedded System Lab. 17

보유기술

임베디드 시스템 최적화, 신뢰성 및 성능 분석

임베디드 소프트웨어 안정성/신뢰성 분석

임베디드 소프트웨어 성능 분석(VxWorks, RTEMS, Linux)

임베디드 소프트웨어 개발 도구

내장형 소프트웨어 포팅

내장형 소프트웨어 동적 디버깅

2015 Embedded System Lab. 18

주요 실적

센서 네트워크용 대규모 병렬 시뮬레이터 개발

Atmega128L, CC2420 등 micaz 급 노드의 cycle-accurate 에뮬레이터 개발 (ETRI 과제)

micaz 급 노드의 인스트럭션 수준 전력 모델 개발 (ETRI 과제)

클러스터 형 슈퍼컴퓨터에서의 멀티스레드 병렬 시뮬레이터의 성능분석 (KISTI 과제)

임베디드 시스템 신뢰성 및 성능 분석

열차제어 소프트웨어의 안전성 보장을 위한 표준 개발 (철도연구원 과제)

VxWorks 용 임베디드 시스템 소프트웨어의 동적 성능 분석 (철도연구원 과제)

원자력 발전소 제어 운영체제의 신뢰성 분석 (원자력안전기술원 자문)

RTEMS 기반 인공위성 제어 컴퓨터의 성능분석 (항공우주연구원 과제)

임베디드 시스템 최적화

Nokia N810 모바일 기기에서의 안드로이드 가상머신 성능 최적화 기법연구 (석사논문)

무인항공기(UAV) 멀티센서의 실시간 영상압축/데이터 처리 소프트웨어 개발 (건교부 과제)

임베디드 시스템을 위한 소프트웨어 플랫폼 개발

인공위성 제어 컴퓨터를 위한 표준 소프트웨어 플랫폼 개발 (박사논문)

Nokia N810, Cortex 기반 모바일 기기에서의 안드로이드 소프트웨어 컴포넌트 개발 (석사논문)

무인항공기(UAV) 멀티센서 제어를 위한 소프트웨어 플랫폼 개발 (건교부 과제)

RTEMS 타겟 디버거 및 성능 모니터릴 도구 개발 (항공우주연구원 과제)

2015 Embedded System Lab. 19

연구실 생활

전일제 연구 학생

업무시간 : 10 AM ~ 6 PM, (Mon to Fri)

휴가 : 여름/겨울 방학 중, 일주일의 개별 휴가

수업 : 전공 수업, 졸업 시험, 학위 논문, 연구실 연구

연구 : 연구 프로젝트 수행, 학회, 저널 논문 작성 및 발표, 개별 연구

지원

프로젝트 참여 연구비

각종 교육비 지원

학회 참석 경비 지원 (국외 포함)

연구에 필요한 기자재, 재료 지원

관련 서적 지원

과일, 군것질거리

프로젝트 참여

프로젝트 참여를 통한 Real World를 경험

2015 Embedded System Lab. 20

연구실 생활

연구

Participate weekly lab seminar and exchange idea

Understand international trend

Study recent issues together

Write academic papers

Support for training and seminar participation (domestic and international)

International collaboration

Prof. Nakanish of Kyushu Univ., Japan

Annual workshop in Japan and Korea

ETROBOT contest

Socialize

MT in winter or summer : depending on budget

Ski in winter / Swimming in summer

Lab dinner : once a month

New Year's dinner party, Christmas dinner party, etc.

2015 Embedded System Lab. 21

연구실 생활

2015 Embedded System Lab. 22

연구실 생활

2015 Embedded System Lab. 23

연구실 운영

Balanced Experience in HW and SW

Balanced Experience in Engineering and Research

Encourage Project Participation

Encourage Academic Research Activities

Educate for Global Standard

2015 Embedded System Lab. 24

Graduate withStrong Academic and Engineering Career

What we want

Enthusiasm (열정)

Devotion (헌신)

Sincerity (성실)

and of course,

Strong Academic and Engineering Record

2015 Embedded System Lab. 25

Thanks

2015 Embedded System Lab. 26

Quiz

문제 !

1분내에 정답과 학번, 이름, 전화번호를 적어서 제출해주세요.

정답지가 두 개 이상이면 부정행위!

정답 발표 및 상품 수령자 발표는

오후 4시 40분에...

정답 발표 및 상품 수령자 발표시

불참할 경우 상품 수령 기회 없음!

2015 Embedded System Lab. 27