	실시간 소프트웨어 모델에서 만족된 속성을 코드에서 확인하는 체계적 기법 및 사례연구
	홍광의 지은경 서동원 배두환 Gwangui Hong Eunkyong Jee Dongwon Seo Doohwan Bae
	한국정보과학회 논문지 B - 소프트웨어 및 응용, VOL 40 NO. 12 PP. 0764 ~ 0773 2013. 12
	타임드 오토마타 모델로부터 VxWorks 기반 코드의 체계적 생성
	최진호 지은경 배두환 Jinho Choi Eunkyoung Jee Doo-Hwan Bae
	한국정보과학회 논문지 C - 컴퓨팅의 실제, VOL 19 NO. 02 PP. 0090 ~ 0094 2013. 02
	인공심장 서보 전동기 제어 소프트웨어 실시간성 검증
	정세훈 김희진 박상수 차성덕 Sehun Jeong Heejin Kim Sangsoo Park Sungdeok Cha
	한국정보과학회 논문지 C - 컴퓨팅의 실제, VOL 18 NO. 05 PP. 0399 ~ 0403 2012. 05
	TMO 기반의 실시간 객체 모델의 코드 자동생성기법 연구
	석미희 류호동 이우진 Mi Heui Seok Ho Dong Ryu Woo Jin Lee
	한국정보처리학회 논문지 A, VOL 19-A NO. 02 PP. 0101 ~ 0112 2012. 04
	오픈 소스 소프트웨어를 이용한 실시간 모션 제어기의 설계 및 구현
	김익환 박수용 성민영 김태현 Ikhwan Kim Sooyong Park Minyoung Sung Taehyoun Kim
	한국정보과학회 논문지 A - 시스템 및 이론, VOL 39 NO. 02 PP. 0084 ~ 0095 2012. 04

영문 논문지 (2)

	Runtime Software Monitoring Based on Binary Code Translation for Real-Time Software
	Kiho Choi Seongseop Kim Daejin Park Jeonghun Ch
	Journal of Information Processing Systems, VOL 15 NO. 06 PP. 1462 ~ 1471 2019. 12
	Software Complexity and Management for Real-Time Systems
	Ankur Agarwal A. S. Pandya Young-Ubg Lbo
	JICCE(Journal of information and communication convergence engineering), VOL 04 NO. 01 PP. 0023 ~ 0027 2006. 03

학술대회 프로시딩 (29)

	사물인터넷 디바이스의 서비스품질 향상을 위한 모바일 엣지 컴퓨팅 기반 소프트웨어 정의형 스킴
	맛사 담프로힘 김석훈 Sa Math Probim Tam Seokhoon Kim
	, VOL 21 NO. 01 PP. 0061 ~ 0062 2020. 05
	임베디드 환경에서 실시간 HD급 4채널 H.264 비디오 디코딩 및 합성 소프트웨어 설계
	Park Kyungwon Kim Donghyun Ryu Youngsu Song Byoungchul Park Jonghun Hong Munho
	한국인터넷정보학회 2019 춘계학술발표대회, VOL 20 NO. 01 PP. 0199 ~ 0200 2019. 04
	다중생체신호 실시간 분석을 통한 수면 품질 진단 및 위험상황제어를 위한 웨어러블 소프트웨어구조
	전영준 최문식 강순주 YeongJun Jeon Moonsik Choi SoonJu Kang
	한국정보과학회 2017 한국소프트웨어종합학술대회, VOL 44 NO. 02 PP. 0522 ~ 0524 2017. 12
	실시간 리눅스 기반 드론 시스템 소프트웨어 연구
	황인중 신동군 Injung Hwang Dongkun Shin
	한국정보과학회 2016년 제43회 정기총회 및 동계학술발표회, VOL 43 NO. 02 PP. 0289 ~ 0291 2016. 12
	임베디드 소프트웨어를 위한 FreeRTOS의 실시간 성능분석
	Real-time performance analysis of FreeRTOS for emb Ikhee Shin Gyungho Nam Sungyup Lee 우덕균 김선태 Hyungshin Kim
	한국정보과학회 2016 한국컴퓨터종합학술대회, VOL 43 NO. 01 PP. 1612 ~ 1614 2016. 06