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) 한국정보과학회 2011 한국정보과학회 학술발표논문집 Vol.38 No.2B
Time-Triggered Architecture (TTA) 는 Event-Triggered Architecture에 비해 안전 필수 실시간 시스템을 구현할 때 권장되는 태스크 수행 구조이다. TTA는 모든 태스크를 미리 정해진 시간 주기에 따라 수행하므로 시스템의 행위를 비교적 쉽게 예측할 수 있으며 시스템에 최대 부하가 걸렸을 때의 실시간성을 검증할 수 있다. 하지만 센서를 이용한 속도 모니터링 태스크와 같이 이벤트 발생 시간을 아는 것이 중요한 태스크의 경우 그 성능이 떨어지는 문제를 가지고 있다. 본 논문은 TTA를 적용한 인공심장 제어 소프트웨어의 전동기 속도 모니터링 성능을 하드웨어 변경 없이 개선하는 방법을 제안한다. 제안된 방법을 적용한 소프트웨어는 적용하지 않았을 때 보다 정확한 전동기 속도 모니터링 성능을 보였다.
시간 기반 인공심장 서보 전동기 제어 소프트웨어 모니터링 특성 향상 사례 연구
정세훈(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) 한국정보과학회 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.
Rate-Monotonic Analysis를 이용한 인공심장 서보 전동기 제어 소프트웨어 실시간성 검증
정세훈(Sehun Jeong),김희진(Heejin Kim),박상수(Sangsoo Park),차성덕(Sungdeok Cha) 한국정보과학회 2011 한국정보과학회 학술발표논문집 Vol.38 No.2B
실시간성 만족 여부 검증은 의료 장비 제어 소프트웨어와 같은 실시간 안전 필수 소프트웨어를 개발할 때 필수적으로 거쳐야 할 개발 과정이다. 실시간성 만족 여부를 판별할 수 있는 다양한 검증 방법 중 Rate-Monotonic Analysis (RMA)는 태스크의 우선순위가 주기에 따라 할당되어 있을 때 사용할 수 있으며 다양한 실시간 시스템 상황에 적용할 수 있도록 확장이 이루어지고 있다. 본 연구에서는 동물실험을 통해 임상 실험을 마친 인공심장에 내장되는 펌프 전동기 제어 소프트웨어의 실시간성 검증을 위해 RMA를 적용하는 과정과 결과를 다룬다.
안드로이드 어플리케이션 개발에서 퍼미션 분석을 사용한 다양한 테스트 환경 조건 생성 기법
송광식(Kwangsik Song),한아림(Ah-Rim Han),정세훈(Sehun Jeong),차성덕(Sungdeok Cha) 한국정보과학회 2015 정보과학회논문지 Vol.42 No.8
최근에 제조되는 스마트폰들이 점점 다양한 인터페이스 장비와 사용자 주변 환경을 인식하는 센서 장비를 포함하게 되면서, 어플리케이션을 개발 시 주어진 장비들을 활용함으로 인해 증가된 개발 및 테스팅 복잡도를 효과적으로 제어하는 것이 중요하게 되었다. 이는 기존의 이벤트 기반 혹은 사용자가 지정한 입력만을 사용하여 테스트를 수행하는 연구로는 한계가 있음을 의미하며 대상 어플리케이션과 상호작용하는 주변 기기를 특정하여 이들로부터 구체적인 실행 환경 조합을 체계적으로 생성하는 연구가 필요하고 할 수 있다. 본 연구에서는 안드로이드 어플리케이션과 함께 배포되는 퍼미션 정보를 기반으로 어플리케이션의 기능에 영향 주는 주변 기기들을 분석한 후 이를 기반으로 외부 환경 조건들을 자동으로 생성하는 방법을 제안한다. 마지막으로 오픈소스에 본 연구기법을 적용하여 코드 커버리지가 향상됨을 보임으로써 본 연구의 효과성을 검증하였다. The context-awareness of mobile applications yields several issues for testing, since mobile applications should be able to be tested in any environment and under any contextual input. In previous studies of testing for Android applications as an event-driven system, many researchers have focused on using generated test cases considering only Graphical User Interface (GUI) events. However, it is difficult to find failures that could be detected when considering the changes in the context in which applications run. It is even more important to consider various contexts since the mobile applications adapt and use the new features and sensors of mobile devices. In this paper, we provide a method of systematically generating various executing contexts from permissions. By referring to the lists of permissions, the resources used by the applications for running Android applications can be easily inferred. To evaluate the efficiency of our testing method, we applied the method on two open source projects and showed that it contributes to improve the statement code coverage.