http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
VIS 정형 검증 자동화를 위한 소프트웨어 VIS Analyzer 개발
정세훈(Sehun Jeong),유준범(Junbeom Yoo),차성덕(Sungdeok Cha) 한국정보과학회 2008 한국정보과학회 학술발표논문집 Vol.35 No.2
Safety-Critical System을 구성하는 소프트웨어는 높은 안전성과 품질 보장을 위하여, 정형 기법의 적용이 요구되고 있다. VIS(Verification Interacting with Synthesis)는 모델 체킹, 일치성 검증, 시뮬레이션 등 다양한 정형검증을 지원하는 널리 사용되는 도구이다. 하지만, VIS는 콘솔 기반의 UI만 제공하며, 부분적인 정보만으로 구성된 검증 결과를 제공하므로, VIS의 시뮬레이션 기능을 사용하여 보다 정확하고 자세한 검증 내용을 확인해야 하는 문제점이 있다. 본 논문에서는 이러한 VIS의 검증 기능 사용에서 발생하는 문제점들을 해결할 수 있는 지원 도구인 VIS Analyzer를 소개한다. VIS Analyzer는 Windows 기반의 GUI를 통해 VIS 검증 과정을 자동화했으며, 시뮬레이션을 자동으로 수행함으로써 VIS 일치성 검증 결과를 정확하게 분석할 수 있도록 지원하고 있다. 제안하는 도구의 효율성을 검증하기 위해서 현재 KNICS 사업단에서 개발중인 APR-1400 원자로 보호 시스템의 원자로 보호 시스템(RPS: Reactor Protection System)을 예로 사용하였다.
시간 기반 인공심장 서보 전동기 제어 소프트웨어 모니터링 특성 향상 사례 연구
정세훈(Sehun Jeong),김희진(Heejin Kim),박상수(Sangsoo Park),차성덕(Sungdeok Cha) 한국정보과학회 2012 정보과학회 컴퓨팅의 실제 논문지 Vol.18 No.5
Time-Triggered Architecture(TTA)는 Event-Triggered Architecture에 비해 안전 필수 실시간 시스템을 구현할 때 권장되는 태스크 수행 구조이다. TTA는 모든 태스크를 미리 정해진 시간 주기에 따라 수행하므로 시스템의 행위를 비교적 쉽게 예측할 수 있으며 시스템에 최대 부하가 걸렸을 때의 실시간성을 검증할 수 있다. 하지만 센서를 이용한 속도 모니터링 태스크와 같이 이벤트 발생시간을 아는 것이 중요한 태스크의 경우 그 성능이 떨어지는 문제를 가지고 있다. 본 논문은 TTA를 적용한 인공심장 제어 소프트웨어의 전동기 속도 모니터링 성능을 하드웨어 변경 없이 개선하는 방법을 제안한다. 제안된 방법의 효과성을 효율적으로 검증하고 적용하기 위해 Times tool로 대상 소프트웨어를 명세하여 시뮬레이션 기능을 활용하였다. 개선된 대상 소프트웨어에 는 적용하지 않았을 때 보다 정확한 전동기 속도 모니터링 성능을 보였다. Time-Triggered Architecture (TTA) has long been advocated as being better suited in developing real-time software than event-triggered architecture (ETA). While TTA-based real-time software highlights deterministic behavior prediction and capability of timeliness verification, inherent limitations of the TTA approach (e.g., imprecise time stamp of events) are still challenging. In this paper, using an artificial heart system, we describes a case-study that complement such limitations of the TTA approach using recent advances on hardware provide features. We used Times tool that provides formal modeling and simulation features when demonstrating effectiveness of our revised design. Empirical experiments also revealed that the revised design is as efficient, when measured in terms of system's external output, as the old design.
시간 기반 인공심장 서보 전동기 제어 소프트웨어 모니터링 특성 향상 사례 연구
정세훈(Sehun Jeong),김희진(Heejin Kim),박상수(Sangsoo Park),차성덕(Sungdeok Cha) 한국정보과학회 2011 한국정보과학회 학술발표논문집 Vol.38 No.2B
Time-Triggered Architecture (TTA) 는 Event-Triggered Architecture에 비해 안전 필수 실시간 시스템을 구현할 때 권장되는 태스크 수행 구조이다. TTA는 모든 태스크를 미리 정해진 시간 주기에 따라 수행하므로 시스템의 행위를 비교적 쉽게 예측할 수 있으며 시스템에 최대 부하가 걸렸을 때의 실시간성을 검증할 수 있다. 하지만 센서를 이용한 속도 모니터링 태스크와 같이 이벤트 발생 시간을 아는 것이 중요한 태스크의 경우 그 성능이 떨어지는 문제를 가지고 있다. 본 논문은 TTA를 적용한 인공심장 제어 소프트웨어의 전동기 속도 모니터링 성능을 하드웨어 변경 없이 개선하는 방법을 제안한다. 제안된 방법을 적용한 소프트웨어는 적용하지 않았을 때 보다 정확한 전동기 속도 모니터링 성능을 보였다.
Rate-Monotonic Analysis를 이용한 인공심장 서보 전동기 제어 소프트웨어 실시간성 검증
정세훈(Sehun Jeong),김희진(Heejin Kim),박상수(Sangsoo Park),차성덕(Sungdeok Cha) 한국정보과학회 2011 한국정보과학회 학술발표논문집 Vol.38 No.2B
실시간성 만족 여부 검증은 의료 장비 제어 소프트웨어와 같은 실시간 안전 필수 소프트웨어를 개발할 때 필수적으로 거쳐야 할 개발 과정이다. 실시간성 만족 여부를 판별할 수 있는 다양한 검증 방법 중 Rate-Monotonic Analysis (RMA)는 태스크의 우선순위가 주기에 따라 할당되어 있을 때 사용할 수 있으며 다양한 실시간 시스템 상황에 적용할 수 있도록 확장이 이루어지고 있다. 본 연구에서는 동물실험을 통해 임상 실험을 마친 인공심장에 내장되는 펌프 전동기 제어 소프트웨어의 실시간성 검증을 위해 RMA를 적용하는 과정과 결과를 다룬다.
정세훈(Sehun Jeong),김희진(Heejin Kim),박상수(Sangsoo Park),차성덕(Sungdeok Cha) 한국정보과학회 2012 정보과학회 컴퓨팅의 실제 논문지 Vol.18 No.5
실시간성 만족 여부 검증은 의료 장비 제어 소프트웨어와 같은 실시간 안전 필수 소프트웨어를 개발할 때 필수적으로 거쳐야 할 개발 과정이다. 실시간성 만족 여부를 판별할 수 있는 다양한 검증 방법 중 Worst-Case Response Time Analysis(WCRTA)는 태스크의 우선순위가 고정되어 있는 시스템 분석에 적용할 수 있고, 기존 분석 방법의 한계를 (e.g., Rate-Monotonic Analysis의 태스크주기가 임계시간과 일치해야 하는 제약) 상당 부분 해결하여 좀 더 실제 시스템의 특성을 잘 반영한 분석을 수행할 수 있다. 본 연구에서는 동물실험을 통해 임상 실험을 마친 인공심장에 내장되는 펌프 전동기 제어 소프트웨어의 실시간성 검증을 위해 WCRTA를 적용하는 과정과 결과를 다룬다. Assuring a timeliness of real-time systems is a critical issue for developing safety-critical hard real-time systems. Worst-Case Response Time Analysis (WCRTA) is a proven-effective tool for verifying timeliness of real-time systems that employ fixed-priority task scheduler. WCRTA have been considered as a best-of-bunch since it covers more practical characteristics of real-time systems in fields, such as userdefined task priories and arbitrary deadlines, than previous techniques. In this paper we show a case-study that analyzes timeliness of real-time software embedded in artificial heart system with WCRTA.
대형 가상현실 공연장을 위한 360도 비디오 스트리밍 시스템
류영일(Yeongil Ryu),김건형(Kon Hyong Kim),Andres Cabrera,JoAnn Kuchera-Morin,정세훈(Sehun Jeong),류은석(Eun-Seok Ryu) 한국방송·미디어공학회 2022 방송공학회논문지 Vol.27 No.6
This paper presents a novel 360-degree video streaming system for large-scale immersive displays and its ongoing implementation. Recent VR systems aim to provide a service for a single viewer on HMD. However, the proposed 360-degree video streaming system enables multiple viewers to explore immersive contents on a large-scale immersive display. The proposed 360-degree video streaming system is being developed in 3 research phases, with the final goal of providing 6DoF. Currently, the phase 1: implementation of the 3DoF 360-degree video streaming system prototype is finished. The implemented prototype employs subpicture-based viewport-dependent streaming technique, and it achieved bit-rate saving of about 80% and decoding speed up of 543% compared to the conventional viewport-independent streaming technique. Additionally, this paper demonstrated the implemented prototype on UCSB AlloSphere, the large-scale instrument for immersive media art exhibition.