• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (1)
• /
• pp.7-9
• /
• 2005

본 논문에서는 행위 기반의 침입 탐지와 탐지한 트래픽을 차단하는 기능을 갖는 시스템을 프로세스 기반 사건 중심 시뮬레이션 시스템인 SSFNet을 기반으로 구현하고, 다양한 시뮬레이션을 통해 구현된 시스템의 성능 및 실세계 반영 모습을 시뮬레이션 하였다. 제안된 시스템은 능동적인 패킷 분석을 통한 유해 트래픽을 구분하는 기능을 포항하고 있다. 시뮬레이션에서는 실제 사파이어 웜을 구현하여 시스템의 성능 검증을 하였으며, 기타 기본적인 네트워크 공격에 대한 행위도 구현 하여 시스템의 성능을 검증하였다.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2014년도 추계학술대회 논문집
• /
• pp.852-855
• /
• 2014

3D 소음시뮬레이션시 각 고시에 따른 적용인자 중 방음벽성능에 대한 적용방법은 기본프로그램값을 적용하는 경우가 많았다. 이에 실제 소음측정결과와 교통량을 적용하여 3D 소음시뮬레이션시 방음벽 재질별로 적용한 결과 설치된 방음벽 제원을 가장 유사하게 적용할 경우 소음 예측결과가 오차범위가 적어지는 것을 알 수 있었다. 이렇듯 3D 소음시뮬레이션 시 모든 예측인자와 설치인자들을 정확히 적용하여야만 정확한 예측결과를 통한 검증과 저감방안을 계획할 수 있다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1998년도 추계학술대회 및 정기총회
• /
• pp.66-70
• /
• 1998

제조환경 정보의 급속한 변화는 변화에 유연(flexible)하게 대처할 수 있는 제조관리 시스템 개발을 요구하게 되었으며 이를 위한 방법으로 객체지향 개발방법론을 이용한 제조관리 시스템이 구축되어 시스템 구성요소들의 재사용성, 확장성, 유연성을 높일 수 있게 되었다. 그러나 개발된 객체지향 제조관리 시스템은 과거 데이터와 불확실한 데이터를 바탕으로 개발된 시스템이므로 시스템의 타당성 및 효율성의 검증을 위한 방법으로 객체지향 시뮬레이터를 개발하였다. 객체지향 시뮬레이터는 개발된 제조관리 시스템이 현장에 구축되었을 때 발생될 수 있는 문제점을 사전에 검출할 수 있을 뿐만 아니라 시스템의 성능을 사전에 측정할 수 있어 제조관리 시스템의 개발비용을 단축할 수 있게 된다. 본 연구에서는 가상공장의 특성을 구현한 가상공장(virtual factory) 콤포넌트, 제조관리 시스템과의 인터페이스를 담당하는 커넥터(connector) 콤포넌트, 제조시스템의 구성환경을 모델링하는 컨피규레이션(configuration) 콤포넌트, 시뮬레이션의 시간전진을 담당하는 시계(clock) 콤포넌트 등으로 이루어진 객체지향 시뮬레이션의 프레임워크(framework)를 제시하고, 제조관리 시스템과 연계된 시뮬레이션을 통해 제조관리 시스템의 검증, 평가 방안으로 이용하였다.

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

Workflow 관리 시스템은 비즈니스 프로세스의 자동화를 지원하는 것으로서, 비즈니스 프로세스의 각 업무 단계에 관련된 인적 자원 및 IT자원을 적절히 활용하도록 구현되어야 한다. 이러한 Workflow 관리 시스템은 Workflow 프로세스에 대한 명세로부터 실행 모델이 구성되어 Workflow 엔진을 통해 수행되는 과정을 거친다. 한편, 명세된 프로세스의 논리적 검증과 성능 예측을 위하여는 Workflow 의 수행 전에 시뮬레이션을 통한 분석이 선행되어야 한다. 본 연구에서는 기술된 Workflow 프로세스 명세로부터 이산사건 시스템 형식론인 DEVS를 기반으로 통일된 실행모델을 생성하고, 이를 바탕으로 시뮬레이션 분석과 실시간 수행을 하는 시뮬레이션 엔진과 실시간 분산수행 엔진을 각각 개발하였다. 간단한 업무 프로세스의 예를 통하여 분산환경에서 실행함으로써 제안된 방법의 유용성을 검증할 수 있었다.

• 한국정보통신학회논문지
• /
• 제12권5호
• /
• pp.893-899
• /
• 2008

본 논문에서는 C++기반 동작 레벨 회로 시뮬레이션 프로그램인 CPPSIM을 이용하여 전압 조절기와 PLL을 구현하고 시뮬레이션 하였다. 아날로그 회로를 C++코드로 모델링 후 시뮬레이션을 통해 시뮬레이션 툴의 유효성을 살펴보았으며, 아날로그 회로의 단계별 설계와 가능성을 타진하였다. 시뮬레이션 결과 회로의 동작 레벨에서의 설계가능성을 검증할 수 있었다. 또한 PLL을 디지털 신호기반으로 구현하여 아날로그 회로의 디지털화를 시도하였다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2003년도 추계학술대회 및 정기총회
• /
• pp.127-132
• /
• 2003

현재의 네트워크는 다양한 서버, 라우터, 스위치 등 여러 장치들로 구성된 복잡한 구조를 가지고 있다. 정책 기반의 프레임워크는 복잡한 네트워크를 단순화하고 자동화하여 관리할 수 있는 도구를 제공한다. 본 논문에서는 여러 보안 시스템 모델들이 사용할 수 있는 취약성 정보들을 집약시킴으로써 보안 시스템간의 정보 공유를 쉽게 할 수 있는 SVDB (Simulation based Vulnerability Data Base)를 구축하였다. 또한 SVDB를 활용하여 보안 규칙을 유도하고 유도된 보안 규칙을 정책 기반 프레임워크에 적용할 수 있는 환경을 구성하였다. 정책 기반의 프레임워크에서 취약점 데이터베이스를 이용한 정책 유도와 적용을 검증하기 위해 서비스 거부 공격 (Denial of Service)과 Probing 공격을 사용하여 시뮬레이션을 수행하였다. 정책 기반의 프레임워크에서 보안 시뮬레이션을 수행함으로써 적용될 보안 정책이 기대되는 대로 동작하는지 검증할 수 있는 환경을 제공할 수 있을 것이다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2000년도 추계학술대회 논문집
• /
• pp.11-15
• /
• 2000

• 한국컴퓨터정보학회논문지
• /
• 제12권6호
• /
• pp.123-130
• /
• 2007

본 논문은 객체모델에서 표현되는 객체와 관련성을 형식명세의 상태와 오퍼레이션 도메인으로의 변환 규칙을 제시하였다. 즉 정보모델의 요소인 객체와 관련성을 형식명세 표현에서 상태영역으로 변환하였다. 동적모델의 상태, 이벤트, 행위를 오퍼레이션 영역으로 변환하였다. 비형식적인 객체모델을 형식 명세 언어로 변환하므로써 객체모델을 정형화된 방법으로 검증할 수 있다. 검증과정을 통해 소프트웨어 개말 초기단계에서 모델링 과정의 편리함과 신뢰성을 제공할 수 있다 또한 검증된 모델과 사용자 요구사항 사이의 일관성을 위해 시뮬레이션 도구를 구현하였다. 시뮬레이션 도구는 적합한 모델의 선택과 검증이 가능하도록 하므로 소프트웨어 개발비용과 노력, 개발 시간을 최소화할 수 있다.

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

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

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2019년도 제60차 하계학술대회논문집 27권2호
• /
• pp.1-4
• /
• 2019

드론은 여러 센서를 사용할 수 있고 자율적으로 비행 가능하다는 이점 때문에 다양한 분야에 활용할 수 있다. 그러나 단일 드론으로는 수행할 수 있는 작업이나 미션이 제한적이기 때문에 최근에는 다중 드론을 활용한 군집 비행 기술 연구가 활발하게 이루어지고 있다. 드론은 테스트를 통해 동작 검증이 이루어지는데 테스트 비용이 크고 파손의 위험이 있기 때문에 시뮬레이션을 이용한 사전 검증이 먼저 이루어진다. 그런데 다중 드론을 이용한 군집 비행 시뮬레이션의 경우 드론들이 밀집해 있기 때문에 시뮬레이션 중 드론의 충돌사고가 발생할 수 있다. 동기화가 제대로 이루어지지 않은 시뮬레이션은 각 드론 소프트웨어의 정확한 동작을 보장할 수 없기 때문이다. 이러한 문제를 해결하기 위해서 본 논문에서는 순서 기반의 동기화 기법을 제안한다. 제안하는 기법은 기존 동기화 기법과는 달리 순서 기반의 동기화로 시뮬레이션 오버헤드를 줄이며 다중 드론의 군집 비행 시뮬레이션에서 예상하지 못한 드론의 동작을 최소화 할 수 있다.