Aspect DEVS 검증 틀을 이용한 소프트웨어 정형 검증 방법론

최창범,김탁곤,Choi, Chang-Beom,Kim, Tag-Gon 한국시뮬레이션학회 2009 한국시뮬레이션학회 논문지 Vol.18 No.3

Software is getting more complex due to a variety of requirements that include desired functions and properties. Therefore, verifying and testing the software are complicated problems. Moreover, if the software is already implemented, inserting and deleting tracing/logging code into the source code may cause several problems, such as the code tangling and the code scattering problems. This paper proposes the Aspect DEVS Verification Framework which supports the verification and testing process. The Aspect DEVS Verification Framework utilizes Aspect Oriented Programming features to handle the code tangling and the code scattering problems. By applying aspect oriented features, a user can find and fix the inconsistency between requirement and implementation of a software without suffering the problems. The first step of the verification process is the building aspect code to make a software act as a generator. The second step is developing a requirement specification using DEVS diagrams and implementing it using the DEVSIM++. The final step is comparing the event traces from the software with the possible execution sequences from DEVS model.

내장형 시스템의 동시적 개발을 위한 이산 사건 시스템 형식론 기반 요구사항 평가 방법

최재웅,최창범,Choi, Jae-ung,Choi, Chang-beom 한국시뮬레이션학회 2018 한국시뮬레이션학회 논문지 Vol.27 No.2

최근 정보 통신 기술이 발전함에 따라, 내장형 시스템은 여러 산업 분야에 적용되고 있으며 더욱 복잡해지고 있다. 이로 인해, 내장형 시스템의 개발 비용과 시간도 덩달아 증가하고 있다. 본 논문에서는 내장형 시스템의 개발 비용 및 시간을 절감하기 위해서 내장형 시스템의 동시적 개발을 위한 이산 사건 시스템(DEVS) 형식론에 기반 요구사항 평가 방법을 제안한다. 본 논문에서는 요구사항 명세를 DEVS 원자 모델의 형태로 기술하는 방법을 제안하며, 이를 개발하여 만든 요구사항 모델과 요구사항 평가 대상 시스템을 비교하는 평가자 모델 및 이들을 활용하는 평가 방법을 제안한다. 또한, 요구사항 평가를 위해 만든 요구사항 모델을 내장형 시스템의 동시적 개발 과정에 활용하는 방법을 제안한다. 제안하는 요구사항 평가 방법에 대한 사례 연구로 키넥트 깊이 정보 처리 시스템에 대한 요구사항 평가를 진행하였다. As the technology of information and communication has developed over recent years, an embedded system is applied in multiple industries and becomes more complicated. For this reason, embedded system development cost and time are also increased. For decreasing the cost and time, this paper suggests requirement evaluation method for concurrent development of an embedded system based on Discrete Event System(DEVS) Formalism. This paper proposes a method of describing the requirements specification in the form of DEVS atomic model. Also, the paper proposes the evaluator model that compares evaluation target system and the requirements model that is an implementation of requirement specification and proposes the evaluation method using them. In addition, we propose a method to utilize the requirement model created for requirements evaluation in the concurrent development process of the embedded system. As the case study, this paper proceeds requirement evaluation of Kinect depth data processing system.

컴퓨터 비전 정확도 향상을 위한 시뮬레이션 기반 가상 데이터 생성기법

강지수 ( Ji-su Kang ),최창범 ( Chang-beom Choi ),장한얼 ( Han-eol Jang ) 한국정보처리학회 2022 한국정보처리학회 학술대회논문집 Vol.29 No.2

기계학습 분야에서 모델을 학습시키려면 많은 양의 데이터가 필요하다. 최근에는 컴퓨터 비전 분야에서 데이터가 적은 환경에서 모델을 학습하는 다양한 방법들이 소개되고 있다. 하지만 대부분의 방법을 사용하기 위해서는 어느 정도 최소한의 학습 데이터가 필요하기 때문에 극심하게 데이터가 부족한 환경에서는 사용하기 어렵다. 본 논문에서는 컴퓨터 비전 분야에서 기계학습을 사용할 때 극심하게 데이터가 부족한 환경에서 시뮬레이션 도구를 활용한 인조 데이터 생성 방법을 제안한다. 실험 결과를 통해 시뮬레이션 도구를 활용하여 생성한 인조 데이터로 학습한 모델이 실제 데이터만을 학습한 모델을 대체할 수 있음을 확인하였고, F-1 점수와 정확도가 향상함을 실험적으로 확인하였다.

컴퓨터 비전 정확도 향상을 위한 시뮬레이션 기반 가상 데이터 생성기법

강지수 ( Ji-su Kang ),최창범 ( Chang-beom Choi ),장한얼 ( Han-eol Jang ) 한국정보처리학회 2022 한국정보처리학회 학술대회논문집 Vol.29 No.2

기계학습 분야에서 모델을 학습시키려면 많은 양의 데이터가 필요하다. 최근에는 컴퓨터 비전 분야에서 데이터가 적은 환경에서 모델을 학습하는 다양한 방법들이 소개되고 있다. 하지만 대부분의 방법을 사용하기 위해서는 어느 정도 최소한의 학습 데이터가 필요하기 때문에 극심하게 데이터가 부족한 환경에서는 사용하기 어렵다. 본 논문에서는 컴퓨터 비전 분야에서 기계학습을 사용할 때 극심하게 데이터가 부족한 환경에서 시뮬레이션 도구를 활용한 인조 데이터 생성 방법을 제안한다. 실험 결과를 통해 시뮬레이션 도구를 활용하여 생성한 인조 데이터로 학습한 모델이 실제 데이터만을 학습한 모델을 대체할 수 있음을 확인하였고, F-1 점수와 정확도가 향상함을 실험적으로 확인하였다.

페트리넷을 활용한 환승 정류소 레이아웃의 정형적 검증 기법

강준혁(Jun-Hyuk Kang),최창범(Chang-Beom Choi) 대한전자공학회 2016 대한전자공학회 학술대회 Vol.2016 No.6

One of the most important issue in urban renewal is to design the layout of the transportation network and its transit station. Since an urban designer cannot change the layout and the transit station easily when the construction is finished, an urban designer should consider the behavior of the passenger and the pattern of the transportation network in advanced. This paper suggests a modeling and simulation method to help the urban planner in designing transit station of the transportation network. To model the layout of the transit station and the behavior of the passenger, we introduce transit station modeling method and its analysis method.

영·미·일 대학 갭이어 사례 및 시사점 분석

김정희(Kim Jung Hee),주동범(Ju Dong Beom),정일환(Chung Il Hwan),정진철(Jeong Jin Chul),권동택(Dong Taik Kwon),최창범(Choi Chang Beom),이현민(Lee Hyun min) 한국비교교육학회 2017 比較敎育硏究 Vol.27 No.4

본 연구는 대학에 입학하기 전, 또는 대학생활 동안 일정 시간 동안 진로에 대해 탐색할 수 있는 주요국(영국, 미국, 일본) 대학의 갭이어(Gap Year) 운영 사례를 분석하여 우리나라 대학의 도입 가능성을 위한 시사점을 도출하는데 목적이 있다. 갭이어는 고등학교를 마치고 대학에 입학하기 전, 정규교육과정에서 잠시 벗어나 자기이해 등의 경험을 위해 다양한 진로 및 봉사활동을 하는 것을 의미한다. 갭이어 운영 사례는 미국 대학의 4개교, 영국 대학의 2개교, 일본 대학의 1개교를 분석한 결과, 갭이어를 제도, 재정적으로 지원하는 학교로 구분할 수 있으며, 그 대상으로 입학허가자, 재학생, 졸업예정자로 구분할 수 있다. 영국, 미국, 일본 대학의 갭이어 사례분석 결과와 그 시사점을 토대로 국내 대학의 도입 가능성 차원에서 제언을 하면 다음과 같다. 먼저, 대학 내외 관련 제도 정비 및 재정적 지원이 필요하다. 그리고 갭이어 운영 정착을 위한 진로교육시스템을 제안하는 바, 대학생들에게 제공하는 진로탐색, 진로결정, 진로계획 수립, 진로 준비 등의 체계적인 단계가 구축되어야 할 것이다. The purpose of the study is to analyze the operational case of gap year which can explore about guidance in some times before college entrance or during college life in the universities of main nations(England, American, and Japan) and draw from some implications for possibility of it’s introduction in Korean university. It means that before students enter the college after finishing high school, they have various guidance activity and voluntary service activity for experiencing self-understanding out of regular curriculum. The study analyzed four universities in America, two universities in England, and one university in Japan. The main results indicate that the gap year can divide into system and university assisting finance. Based on the results and their implications of gap year case analysis in universities of England, America, and Japan, the study suggests that it needs to consolidate the related system of university and assist some finances, and systematic steps such as career exploration, career decision-making, career plan, and career preparation should be constructed.

정량적 사용성 평가를 지원하기 위한 정형적 모델링 방법론

김경선(Gyung-Sun Kim),김상환(Sang-Hwan Kim),최창범(Chang-Beom Choi) 대한전자공학회 2016 대한전자공학회 학술대회 Vol.2016 No.6

With the use of mobile devices becoming more prevalent in modern society, the interaction between a human and a computer is one of the most important research issues in the Human-Computer Interaction (HCI) domain. To improve the user"s experience (UX), the experts in the HCI area have used the usability testing. However, the concept of the UX is vague, and the measurement of the UX is also ambiguous. As a result, this paper proposes a formal quantitative modeling method using Petri-net. The method models the status of the system and may track the user"s interaction using a token in the Petri-net. Through this approach, UX designer can check the states of the system and the state transition explicitly. Also, UX designer may track the user"s interaction using Petri-net.

시뮬레이션 환경 간 공정한 성능 비교를 위한 공용 시뮬레이션 모델에 대한 연구

양지용(Ji-Yong Yang),정성일(Sung-Il Jeong),최창범(Chang-Beom Choi) 대한전자공학회 2015 대한전자공학회 학술대회 Vol.2015 No.6

In order to develop a proper simulation model, a developer should use the proper simulation tool. In this paper, we suggest the method to check the performance among different simulation environment by using ‘Generate’ and ‘Process’ simulation models which are same in architectural meaning. The proposed method is applied to two different simulation tool, one is ExtendSim, the other is DEVSim++. The performance of Simulation environment is evaluated by two factor - the correlation between the number of ‘Event’ and consume time, and between the number of ‘Attribute’ and consume time.