검색 상세

이산 사건 시스템 형식론을 활용한 시뮬레이션 모델의 결함 탐지 방법

초록/요약

Modeling & Simulation (M&S) has been used in various fields and applications are becoming more and more diverse. M&S has been widely used as a tool for making decision-making data and providing the basis for decision making in order to help decision-makers make reasonable decisions. In particular, it is widely used in the defense, medical, and transportation fields where the risk and cost of decision making are large. Modeling in M&S is the process of physically, mathematically, or logically expressing the system or entity or process being simulated. The Discrete Event System (DEVS) formalism is a formalism based on the set theory devised by B. P. Zeigler in 1976. The DEVS formalism provides a mathematical basis for modeling discrete event systems by modules and hierarchical connections. The DEVS formalism is one of the most common formalisms used to represent the target system in M&S. In the modeling process, large and small errors may occur due to various factors, and the simulation results may be different due to defects caused by these errors. As described above, in the case of M&S used in a field where the risk or cost of a decision-making’s result is large, a decision based on a false simulation result caused by these defects can cause irreversible big problems. Therefore, it is very important for M&S to detect the possible defects beforehand and modify the model to improve the quality of the model and ensure reliability. For this, a defect detection method is needed to detect various defects that can occur in the M&S process. In this paper, we propose a defect detection method of the simulation model using DEVS formalism. In this paper, we propose an independent defect detection environment and embedded defect detection environment. In addition, various defects that can occur in the simulation model are classified and defined. Defects in the simulation model are largely categorized as implementational defects and modeling defects. Implementational defects are again classified into four types, and modeling defects are classified again into two types. And we propose the specifications of DEVS formalism-based defect detection models for detecting each defect. In this paper, two case studies were conducted to show the effectiveness of the proposed defect detection method. One is the implementation defect detection for the simulation models developed by the defense weapon system integrated simulation environment (AddSIM) and the other is the modeling defect for the simulation models developed in the DEVSim++ environment, which is the object-oriented modeling and simulation environment of the discrete event system. Through case studies, we detected unintentional defects or intentional defects that were deliberately generated in the model. And we could increase the reliability of the model. Through this paper, we expect to recognize various defects that can occur in the simulation model and detect and correct the defects of the model in advance through the proposed defect detection method and improve the quality of the simulation model and assure the reliability of the model.

more

목차

Abstract i
그림 목차 v
표 목차 vii

Ⅰ. 서론 1
1. 연구배경 및 동기 1
2. 관련연구 5
3. 논문의 구성 6
Ⅱ. Background Knowledge 7
1. DEVS 형식론 7
1.1. DEVS 형식론의 특징 7
1.2. DEVS 모델링 방법론 8
1.3. 원자 모델 9
1.4. 결합모델 10
1.5. DEVS 모델의 시뮬레이션 10
1.5.1. DEVS 추상화 시뮬레이터 10
1.5.2. DEVS 시뮬레이터 알고리즘 10
1.5.3. DEVS 코디네이터 알고리즘 10
2. Software Defect 10
Ⅲ. 본론 10
1. 결함 탐지 방법 10
1.1. 결함 탐지 환경 10
1.2. 결함 탐지 절차 10
2. 시뮬레이션 모델 결함의 분류 및 정의 10
2.1. 구현 결함(Implementational Defects) 10
2.1.1. SNE 타입 구현 결함 10
2.1.2. SNT 타입 구현 결함 10
2.1.3. USUT 타입 구현 결함 10
2.1.4. USOT 타입 구현 결함 10
2.2. 모델링 결함 10
2.2.1. 내부 상태 천이 지연 결함 10
2.2.2. 공유 데이터 불균형 결함 10
3. 결함 탐지 모델 명세 10
3.1. 구현 결함 탐지 모델 명세 10
3.1.1. SNE 타입 및 USUT 타입 구현 결함 탐지 모델 명세 10
3.1.2. SNT 타입 및 USOT 타입 구현 결함 탐지 모델 명세 10
3.2. 모델링 결함 10
3.2.1. 내부 상태 천이 지연 결함 10
3.2.2. 공유 데이터 불균형 결함 10
Ⅳ. 사례연구 10
1. AddSIM 모델의 기본 결함 탐지 10
1.1. 개요 10
1.1.1. AddSIM 10
1.1.2. 결함 탐지 대상 시나리오 및 시뮬레이션 모델 소개 10
1.2. 탐지 대상 결함 정의 및 기술 및 요구사항 모델의 파라미터 수정 10
1.3. 결함 탐지 대상의 데이터 변화 시퀀스 추출 10
1.4. 결함 탐지 수행 및 검증 결과 10
2. 이산 사건 시스템 모델의 특수 결함 탐지 10
2.1. 개요 10
2.1.1. DEVSim++ 10
2.1.2. 결함 탐지 대상 시나리오 및 시뮬레이션 모델 소개 10
2.2. 탐지 대상 결함 정의 및 기술 및 요구사항 모델의 파라미터 수정 10
2.3. 결함 탐지 대상의 데이터 변화 시퀀스 추출 10
2.4. 결함 탐지 수행 및 검증 결과 10
Ⅴ. 결론 10

more
반출 Meta View 목록