http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
배정호,장부철,구봉주,Bae, Jung Ho,Jang, Bucheol,Koo, Bongjoo 한국군사과학기술학회 2017 한국군사과학기술학회지 Vol.20 No.5
Model-based test, a well-known method of the black box tests, is consisted of the following four steps : model construction using requirement, test case generation from the model, execution of a SUT (software under test) and detection failures. Among models constructed in the first step, state-based models such as UML standard State Machine are commonly used to design event-based embedded systems (e.g., weapon control systems). To generate test cases from state-based models in the next step, coverage-based techniques such as state coverage and transition coverage are used. Round-trip path coverage technique using W-Method, one of coverage-based techniques, is known as more effective method than others. However it has a limitation of low failure observability because the W-Method technique terminates a testing process when arrivals meet states already visited and it is hard to decide the current state is completely same or not with the previous in the case like the GUI environment. In other words, there can exist unrevealed faults. Therefore, this study suggests a Extended W-Method. The Extended W-Method extends the round-trip path to a final state to improve failure observability. In this paper, we compare effectiveness and efficiency with requirement-item-based technique, W-Method and our Extended W-Method. The result shows that our technique can detect five and two more faults respectively and has the performance of 28 % and 42 % higher failure detection probability than the requirement-item-based and W-Method techniques, respectively.
윤문형(Moonhyung Yoon),박준호(Junho Park),김용호(Yongho Kim),이정훈(JeongHoon Yi),구봉주(BongJoo Koo) 한국콘텐츠학회 2018 한국콘텐츠학회논문지 Vol.18 No.9
최근 하드웨어 성능의 급속한 발전에 따라 임베디드 시스템은 기존의 단순한 기능만을 수행하던 시스템에서 다양한 기능을 수행하는 시스템으로 변모하고 있다. 이와 같이 서로 다른 중요도를 가지는 소프트웨어들로 구성된 시스템을 중요도 혼재 시스템(MCS: Mixed-Criticality System)이라고 한다. 현재 중요도 혼재 시스템 관련 프로젝트는 관련 산업이 발달한 유럽 및 미국의 주도로 발전 방향을 모색하고 기술적인 주도권을 잡기 위한 노력을 가속하고 있으나, 국내에서의 움직임은 미미한 실정이다. 그러므로 이와 관련된 기술 및 시장 주도권 선점을 위한 다양한 기반 기술의 연구 및 프로젝트의 진행이 시급하다. 본 논문에서는 중요도 혼재 시스템 관련 주요 프로젝트의 연구 및 개발 동향을 분석한다. 먼저, 본 논문에서는 중요도 혼재시스템의 정의 및 시스템 모델에 대해서 정의한 후, 중요도 혼재 시스템을 구성하는 기반 기술을 분석한다. 뿐만 아니라, 이러한 중요도 혼재 시스템을 연구하는 각국의 프로젝트 동향을 분석한 후, 향후 연구 분야를 논의한다. 본 연구를 통해, 중요도 혼재 시스템 분야의 연구 방향성 설정을 위한 세계 각국의 연구 동향파악이 가능하며, 군사 시스템에의 접목을 위한 기틀을 마련하고자 한다. Due to rapid development of semiconductor technology, embedded systems have been developed from single-functional system to the multi-functional system. The system composed of software that has different criticality level is called Mixed-Criticality System. Currently, the project related to the Mixed-Criticality System is accelerating the efforts to seek the development direction and take technical initiatives led by EU and USA where the related industry has developed, but the movement in Korea is yet insignificant. Therefore, it is urgent to perform the research and project of various basic technologies to occupy the initiative for the related technology and market. In this paper, we analyze the trends of major project researches and developments related to the MCS. First, after defining the definition of the MCS and system model, we analyze the underlying technology constituting the MCS. In addition, we analyze the project trends of each country researching MCS and discuss the future research areas. Through this study, it is possible to grasp the research trends of the world in order to establish the research direction of the MCS and to lay the foundation for the integration into the military system.
다표적-다무장 환경에서 무장 궤적 간 교차 검증 및 간섭 배제 알고리즘
윤문형(Moonhyung Yoon),박준호(Junho Park),이정훈(JeongHoon Yi),김갑수(Kapsoo Kim),구봉주(BongJoo Koo) 한국콘텐츠학회 2018 한국콘텐츠학회논문지 Vol.18 No.9
다표적-다무장 전장 환경에는 다수의 무장이 동시에 발사되기 때문에 무장 간의 궤적 교차로 인한 충돌이 발생할 가능성이 항시 존재한다. 무장간 충돌은 신속한 작전 수행을 저해할 뿐만 아니라 아군 무장자산을 무의미하게 손실시킴으로써 아군의 적군에 대한 위협 대응력을 약화시킨다. 본 논문에서는 다표적-다무장 전장 환경에서 무장 궤적 간 교차 검증 및 간섭 배제 알고리즘을 제안한다. 제안하는 알고리즘은 무장 궤적 간 교차 분석을 통해 간섭 여부를 확인 한 후, 교차점이 발생할 경우 무장 궤적 간의 상호 간섭을 배제하는 것을 핵심으로 한다. 본 논문에서는 제안하는 알고리즘의 시뮬레이션 및 가시화를 통해 성능 평가 및 검증을 수행하였다. 성능 평가 결과 제안하는 알고리즘은 표적 수 및 무장군 수와 무관하게 교차점이 존재하지 않음을 보여줌으로써 효과적인 간섭 배제를 수행함을 입증하였다. As multiple weapons are fired simultaneously in multi-target and multi-weapon environments, a possibility always exists in the collision occurred by the intersection between weapon trajectories. The collision between weapons not only hinders the rapid reaction but also causes the loss of the asset of weapons of friendly force to weaken the responsive power against the threat by an enemy. In this paper, we propose an intersection validation and interference elimination algorithm between weapon trajectories in multi-target and multi-weapon environments. The core points of our algorithm are to confirm the possible interference through the analysis on the intersections between weapon trajectories and to eliminate the mutual interference. To show the superiority of our algorithm, we implement the evaluation and verification of performances through the simulation and visualization of our algorithm. Our experimental results show that the proposed algorithm performs effectively the interference elimination regardless of the number of targets and weapon groups by showing that no cross point exists.