DEVS 모델과 사용자 요구사항의 일관성 검증 방법론 및 환경 구현Method and implementation for consistency verification of DEVS model against user requirement
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.advisor | 김탁곤 | - |
| dc.contributor.advisor | Kim, Tag-Gon | - |
| dc.contributor.author | 김도형 | - |
| dc.contributor.author | Kim, Do-Hyung | - |
| dc.date.accessioned | 2011-12-14T01:54:36Z | - |
| dc.date.available | 2011-12-14T01:54:36Z | - |
| dc.date.issued | 2005 | - |
| dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=243670&flag=dissertation | - |
| dc.identifier.uri | http://hdl.handle.net/10203/37848 | - |
| dc.description | 학위논문(석사) - 한국과학기술원 : 전기및전자공학전공, 2005.2, [ [xiii], 79 p. ] | - |
| dc.description.abstract | 본 논문에서는 사용자 요구사항과 개발된 이산사건 모델 사이의 일관성을 검증하는 방법론을 제안하였다. 검증 방법은 세 단계로 나누어지며, 첫 번째와 두 번째 단계는 UML 다이어그램과 사용자 요구사항 간의 일관성 검증이다. 세 번째 단계는 DEVS 모델과 UML 다이어그램의 이벤트 시퀀스를 검증한다. 제안한 검증 방법을 자동으로 수행할 수 있는 환경인 VERIDEVS를 구현하여 검증 과정을 자동화하였다. VERIDEVS의 입력은 Visio로 도식되는 UML 다이어그램과 DEVS 그래프가 되고, 자동 검증 결과는 PowerPoint를 이용하여 제안하는 검증 테이블의 형태로 출력된다. 제안한 검증 방법과 자동 검증 환경의 효용성을 입증하기 위하여 실제 해군 워게임 모델에서 사용되었던 대잠수함 교전 시뮬레이터의 예를 들어 자동 검증을 수행하였다. | kor |
| dc.language | kor | - |
| dc.publisher | 한국과학기술원 | - |
| dc.subject | 일관성 검증 | - |
| dc.subject | 사용자 요구사항 | - |
| dc.subject | UML | - |
| dc.subject | DEVS 모델 | - |
| dc.subject | 자동 검증 도구 | - |
| dc.subject | Automated verification tool | - |
| dc.subject | Consistency verification | - |
| dc.subject | User Requirement | - |
| dc.subject | UML | - |
| dc.subject | DEVS Model | - |
| dc.title | DEVS 모델과 사용자 요구사항의 일관성 검증 방법론 및 환경 구현 | - |
| dc.title.alternative | Method and implementation for consistency verification of DEVS model against user requirement | - |
| dc.type | Thesis(Master) | - |
| dc.identifier.CNRN | 243670/325007 | - |
| dc.description.department | 한국과학기술원 : 전기및전자공학전공, | - |
| dc.identifier.uid | 020033071 | - |
| dc.contributor.localauthor | 김탁곤 | - |
| dc.contributor.localauthor | Kim, Tag-Gon | - |
- Appears in Collection
- EE-Theses_Master(석사논문)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.