지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 발행연도
- 2018.4
- 수록면
- 2,131 - 2,135 (5page)
이용수
이 논문의 연구 히스토리 (2)
- 이 논문의 후속연구가 궁금하신가요?
- 연관 학술논문 또는 학술발표를 통해 보다 발전된 연구결과를 확인하실 수 있습니다.
- 이 논문의 연구 히스토리 확인하기
초록· 키워드
오류제보하기
Dynamic verification of user-defined code and Base System Model(BSM) in AddSIM is the process finding defects that may occur during modeling and implementation process by running the AddSIM model that is developed by adding user-code based on BSM. DEVS formalism is used for dynamic verification variously, which are describing the requirements specification for a single model and checking whether the requirements are met. Then, a case study was conducted to apply the proposed requirements specification method and dynamic verification to the simulation example developed in AddSIM. Future research is needed on not only the description and the dynamic verification of requirements specification for multiple models but also the automation of generating model code.
목차
초록
1. 서론
2. 배경지식
3. DEVS 형식론을 활용한 AddSIM의 사용자 정의코드 및 기본체계모델 동적검증
4. 사례 연구: AddSIM 시범시제의 요구사항 명세 및 동적검증
5. 결론
참고 문헌
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
컴포넌트기반 체계모의환경(AddSIM)에서 실행하기 위한 DEVS 모델 변환 방법
정보과학회 컴퓨팅의 실제 논문지
2015 .07
-
AddSIM의 BSM 모델에 대한 동적 검증 방법론
대한산업공학회 춘계공동학술대회 논문집
2017 .04
-
모듈형 시뮬레이션 프레임워크인 AddSIM의 BSM 기반 검증 방법
대한산업공학회 춘계공동학술대회 논문집
2018 .04
-
AddSIM을 활용한 무기체계 교전분석 적용
대한산업공학회 춘계공동학술대회 논문집
2015 .04
-
AND/OR Graph를 활용한 AddSIM에서 요구사항 검증 기법
대한산업공학회 춘계공동학술대회 논문집
2018 .04
-
기본체계모델(Base System Model) 개발을 위한 참조 모델로서 FLAMES 검토
대한산업공학회 춘계공동학술대회 논문집
2017 .04
-
차량의 다 해상도 기동 모델 기반 통합모의 방법론
한국CDE학회 논문집
2019 .09
-
고해상도 공학급 모델 기반 통합 교전모의환경(AddSIM) 개발
대한산업공학회 춘계공동학술대회 논문집
2015 .04
-
DEVS 형식론 기반 차량탑재형 범용 완속충전 시스템 시뮬레이션
대한전자공학회 학술대회
2017 .11
-
안전관리 환경을 위한 DEVS 모델 연구
한국컴퓨터정보학회 학술발표논문집
2019 .07
-
기본체계 모델 기반 재사용 가능한 수상함 모델
한국CDE학회 논문집
2018 .09
-
DEVS 형식론 기반의 사물인터넷 객체 모델링 설계
대한산업공학회 춘계공동학술대회 논문집
2015 .04
-
BSM(Back Scan Mechanism)모듈의 주파수 응답 성능 시험
정보 및 제어 논문집
2016 .10
-
BSM(Back Scan Mechanism)모듈의 주파수 응답 성능 시험
대한전기학회 학술대회 논문집
2016 .10
-
교전시뮬레이션을 위한 레이다 기본체계모델(Base System Model) 검증방법 연구
대한전자공학회 학술대회
2018 .06
-
BSM 생성을 위한 차내망 컴포넌트 연동 방안 연구
한국자동차공학회 추계학술대회 및 전시회
2015 .11
-
V2X 환경에서 Event-Sourcing과 CQRS 패턴을 사용한 BSM 프레임워크
한국컴퓨터정보학회논문지
2022 .08
-
Runtime Verification of Analog and Mixed-Signal Circuits using DEVS models
대한산업공학회 춘계공동학술대회 논문집
2016 .04
-
편대간 공대공 교전 시뮬레이션을 위한 지휘통제 모듈 설계
대한산업공학회 춘계공동학술대회 논문집
2018 .04
-
차량 제어기 요구 사양 모델의 요구 사양서 자동 생성 방법
한국자동차공학회 추계학술대회 및 전시회
2020 .11
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2018-530-001872686