• 한국시뮬레이션학회논문지
• /
• 제18권3호
• /
• pp.113-122
• /
• 2009

사용자가 요구하는 기능과 특성에 대한 다양한 요구사항은 소프트웨어를 점점 더 복잡하게 만들고 이를 검증하고 검사하는 것은 어려운 문제이다. 게다가 개발된 소프트웨어 코드를 검증하고 검사를 수행하는 과정에서 트레이싱 혹은 로깅 코드를 삽입하는 과정과 검사가 완료되어 삭제하는 과정에서 사용자의 부주의로 버그가 삽일될 수 있는 문제점도 발생한다. 본 논문은 소프트웨어 개발 과정 중에서 검증 및 검사 과정을 지원할 수 있는 Aspect DEVS 검증 틀을 제시한다. Aspect DEVS 검증틀은 관점 지향 프로그래밍 기법을 사용하여 이미 구현되어 있는 소프트웨어와 사용자는 요구사항을 만족하는 지를 확인하는 동시에 소스 코드에 테스팅 코드를 삽입할 때 발생하는 문제들을 해결한다. Aspect DEVS 검증틀을 사용한 검증의 첫 번째 단계는 관찰 대상을 관점 지향 프로그래밍 기법을 사용하여 명세한 하고, 사용자의 요구사항을 DEVS 다이어그램을 명세한 후 이를 DEVSIM++로 구현한다. 마지막으로 프로그램의 수행 과정 중에서 발생하는 이벤트들을 대상으로 구현한 DEVS 모델의 이벤트 입력으로 넣어 소프트웨어가 사용자의 요구사항을 만족하는 지를 검사함으로써 검증 과정 중에 대상 소프트웨어의 수정 없이 검증 및 검사를 수행할 수 있다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1999년도 춘계학술대회 논문집
• /
• pp.232-236
• /
• 1999

Codesign 방법론은 하드웨어와 소프트웨어가 공존하는 시스템을 설계할 때 이드의 설계를 각각의 특성에 맞는 방법을 사용함으로써 효율적인 디자인방법을 제공한다. 전체 시스템의 동작 및 성능을 검증하기 위해서는 다른 방법으로 개발된 하드웨어와 소프트웨어를 같이 시뮬레이션해야 하는데 이를 통합시뮬레이션(Co-simulation)이라고 한다. 하드웨어와 소프트웨어를 개발하는 방법이 다르기 때문에 야기되는 통합의 문제점을 해결하기 위하여 DEVS(Discrete Event System Specification)에 기반한 중간단계형태를 통한 변환방법론을 제시하고 이를 사용하여 C++ 모델과 Verilog HDL 모델간의 통합시뮬레이션을 구현함으로써 효용을 보이고자 한다.

• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 2011년도 한국우주과학회보 제20권1호
• /
• pp.32.4-33
• /
• 2011

관제시뮬레이터는 위성운용의 준비 및 위성운용 기간 동안의 운용절차의 검증, 지상관제 시스템의 시험, 운영자의 교육 및 훈련 등을 목적으로 활용될 수 있다. 시뮬레이터는 보통 운영체제, 미들웨어, 시뮬레이션 기반소프트웨어, 에뮬레이터 및 위성과 외부 환경의 모델링 부분으로 구성된다. 에뮬레이터는 위성의 비행소프트웨어의 이미지를 어떤 수정없이 실제적으로 실행할 수 있게 한다. 위성의 모델링 부분은 시뮬레이터의 운용목적에 맞는 각종 하드웨어와 기능들에 대해서 수학적 방정식 등을 이용하여 위성 및 외부환경을 실제적으로 모델링하는 부분으로 구성된다. 이외에 시뮬레이션의 제어 및 관리와 사용자 접속부분을 관리할 수 있는 모듈들이 추가적으로 구성된다. 시뮬레이션 기반소프트웨어는 이러한 시뮬레이션 구성요소(Component)들을 사용자 환경설정 파일에 기반하여 통합하여 구현 및 운용할 수 있는 환경을 제공한다. 구현되는 시뮬레이터의 틀(Framework)로써 모듈간 각종 데이터의 표준 입출력, 일반적인 모델 등을 제공한다. 운용되고 있는 세계 각국의 위성 시뮬레이터에서 SIMSAT, SIMWARE 등의 시뮬레이션 기반소프트웨어가 활용되고 있으며, 관제시뮬레이터가 개발될 경우 기반소프트웨어의 자체개발 또는 기존 상용제품 활용의 여부가 우선적으로 결정되어야 할 것이며, 또한 기존 상용제품 활용 시 각 기반소프트웨어의 특성을 분석하여 적절한 기반소프트웨어의 선택이 결정되어야 할 것이다. 이 논문에서는 시뮬레이션 기반소프트웨어의 기능 및 현재 활용되고 있는 상용제품의 특성에 대해서 분석비교를 기술한다.

• 한국시뮬레이션학회논문지
• /
• 제3권1호
• /
• pp.135-150
• /
• 1994

일반 산업체와 화력발전소 계측제어시스템에 널리 사용되고 있는 분산제어시스템(Distributed Control System)을 원자력발전소에 사용하기 위해서는 분산제어시스템의 안전성과 신뢰성의 입증이 선결과제이다. 따라서 새로운 시스템을 시뮬레이션에 의해 구현하고 검증하기 위한 시뮬레이터가 필요하게 되었다. 발전소 전범위 시뮬레이터(full Scope Simulator)를 제작 하기에 앞서 발전소 계통 중에서 소규모계통을 대상으로 부분범위 시뮬레이터(Compact Simulator)를 제작하였다. 개발된 DCS 검증용 시뮬레이터의 시스템은 발전소 제어반을 모의한 소프트 패널, 발전소 프로세스을 모이한 계통 모델링 소프트웨어, 그리고 현재 발전소의 아날로그 제어계통을 대신한 DCS 제어 계통등의 세 개의 계통으로 구성하였다. 개발 제작된 시뮬레이터를 이용하여 원자력 발전소 계측제어시스템에 분산제어시스템 적용을 시뮬레이션을 통햐여 구현하였으며 분산제어시스템의 적용 검증작업은 물론 적용을 위한 설계업부에도 DCS 검증용 시뮬레이터가 효과적으로 사용될 수 있음을 알았다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2003년도 춘계학술발표대회논문집
• /
• pp.267-270
• /
• 2003

암호 시스템들은 복잡한 연산과정을 수행하므로 소프트웨어적으로 구현할 경우 수행속도가 저하되는 단점이 있다. 이를 고속으로 수행하기 위하여 암호 시스템을 하드웨어적으로 구현하는 연구가 활발히 수행되고 있는 것이 현재의 추세이다. 암호 시스템의 하드웨어 모듈을 개발하는 과정 중에는 설계한 모듈이 올바르게 동작하는 지의 여부를 검증하는 과정이 필수적으로 포함된다. 이를 위하여 시뮬레이션을 이용한 방법, 테스트 보드를 직접 구현하는 방법 등과 같은 검증 방법들이 주로 사용되고 있다. 암호 하드웨어 모듈은 기존의 방법만을 최대 1024, 2048 비트 정도의 많은 비트를 동시에 검증을 수행하므로 시각적으로 판별하기 곤란한 문제가 발생한다. 본 논문에서는 기존의 검증 방법을 보완하는 방법으로 PC 기반의 소프트웨어 통제하에서 암호 하드웨어 모듈을 효과적으로 검증할 수 있는 검증 방법을 제시하고자 한다.

• 한국시뮬레이션학회논문지
• /
• 제27권3호
• /
• pp.23-36
• /
• 2018

이산사건시스템명세(DEVS) 형식론은 이산사건시스템을 모듈러하고 계층적으로 모델링할 수 있는 잘 정의된 의미론을 제공하고 있어 이산사건시스템 모델링 시뮬레이션 (M&S)에 많이 사용되어 왔다. 이러한 수학적 표현 대신에 DEVS 다이어그램은 복잡한 시스템을 보다 직관적이며 편리한 표현력을 제공한다. 본 논문은 DEVS 다이어그램을 이용하여 표현된 모델을 시뮬레이션 코드로 체계적으로 구현하며 검증하는 DEVS 클린룸 프로세스를 제안하였다. 구체적으로, 주어진 다이어그램 모델의 적합성 검사, 테이블 DEVS 모델로의 변환, 마지막으로 시뮬레이션 소스코드로 변환하는 방법과 역으로 추적성을 기반으로 한 검사기법을 통해 정적 검증하는 구체적인 방법을 제시하였다. 간단한 예제를 통해 제안된 프로세스를 적용하는 구체적인 방법을 설명하였으며, 적용사례 통해 제안된 기법이 실용적으로 적용 가능한 효과적인 프로세스임을 확인하였다.

• 한국시뮬레이션학회논문지
• /
• 제27권2호
• /
• pp.101-114
• /
• 2018

무인 비행체의 실시간 경로계획 생성 시 최적의 경로를 찾기 위한 다양한 연구가 진행되어 왔다. 본 논문에서는 진화알고리즘을 통한 무인비행체의 경로계획 생성을 수행하고, 이를 에이전트 기반 시뮬레이션 환경에서 구현 및 테스트가 가능함을 검증하였다. 이를 위해, Repast toolkit에 JGAP 패키지를 탑재하여 Java 기반의 유전 알고리즘 프로그래밍을 통한 무인 비행체의 경로 계획을 생성하였고, 해당 결과를 에이전트 기반으로 시뮬레이션을 수행하였다. 본 논문에서는 에이전트 기반 시뮬레이션 소프트웨어를 소프트웨어 공학 개발 생명주기에 맞춰 문서화하여 설계 및 구현되었으며, 에이전트 모델링 설계는 자동화, 적응성 및 에이전트 간의 상호 작용에 초점을 맞추었다. 또한, 시뮬레이션을 통해 에이전트 기반 환경에서 설계한 모델 및 시나리오를 검증하여 다수의 비행 에이전트에 내재된 동적 경로계획 알고리즘이 실시간으로 자율적인 경로 생성이 가능함을 증명하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (3)
• /
• pp.37-39
• /
• 2004

Mobile IPv6 기술은 단말의 이동성을 제공하는 기술로서 AII-IP기반의 차세대 유무선 통합 망 구축을 위한 핵심 기술이다. 기존의 소프트웨어 Mobile IPv6는 특정 OS에 의존적일 뿐 아니라, OS 구동 시 발생하는 오버 헤드로 인한 높은 전력 소모로 인해 시스템의 성능이 저하되는 문제점이 있다. 이에 본 논문에서는 기존 소프트웨어 기반 Mobile IPv6의 문제점을 해결하고 최신 표준에 따르는 이동성과 고속 통신을 제공하기 위한 하드웨어 Mobile IPv6를 설계 및 구현하였다. 그리고 구현된 모듈은 시험 망 패킷 데이터와 시뮬레이션을 통해 동작을 검증하였다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제6권4호
• /
• pp.448-456
• /
• 2000

설계되는 시스템의 규모가 커지고 복잡해지므로 이를 빠른 시간 내에 효율적으로 검증하기 위한 상위 단계에서의 검증 기술의 개발이 중요하게 되었다. 본 연구에서는 하드웨어와 소프트웨어가 혼합되어 있는 시스템을 위한 상위 단계에서의 검증기술을 개발하였다. 에뮬레이션 또는 시뮬레이션만을 수행하는 것보다 빠르고 우수하게 기능적으로 검증하기 위해, 하드웨어와 소프트웨어 부분으로 분할한 후 인터페이스 회로를 이용하여 구현 가능하도록 하였다. 그리고, 상위 단계의 회로를 쉽게 하드웨어를 이용하여 검증하기 위한 설계 지침들을 제시하였다. 본 방법을 이용하여 리드-솔로몬 디코더 회로에 대한 검증을 수행한 결과 시뮬레이션만을 수행한 경우에 비하여 modified Euclid 알고리즘 수행 블록은 12,000배 이상의 속도로 검증을 수행할 수 있었으며, 전체 검증 시간도 반 이하로 줄었다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 학술대회 논문집 정보 및 제어부문
• /
• pp.361-362
• /
• 2008

본 논문은 지능형 로봇의 소프트웨어 컴포넌트의 개발을 위한 시뮬레이션 시스템을 위한 개발 환경을 구현하고자 한다. 개발 환경 설계는 지능형 로봇 시스템에 적합한 컨포넌트를 전문지식 없이도 쉽고 편리하게 작성하고 작성된 컴포넌트의 서비스를 빠르고 쉽게 검증 할 수 있도록 설계하였다.