• Journal of the Korea Society for Simulation
• /
• v.18 no.3
• /
• pp.113-122
• /
• 2009

Software is getting more complex due to a variety of requirements that include desired functions and properties. Therefore, verifying and testing the software are complicated problems. Moreover, if the software is already implemented, inserting and deleting tracing/logging code into the source code may cause several problems, such as the code tangling and the code scattering problems. This paper proposes the Aspect DEVS Verification Framework which supports the verification and testing process. The Aspect DEVS Verification Framework utilizes Aspect Oriented Programming features to handle the code tangling and the code scattering problems. By applying aspect oriented features, a user can find and fix the inconsistency between requirement and implementation of a software without suffering the problems. The first step of the verification process is the building aspect code to make a software act as a generator. The second step is developing a requirement specification using DEVS diagrams and implementing it using the DEVSIM++. The final step is comparing the event traces from the software with the possible execution sequences from DEVS model.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.04a
• /
• pp.232-236
• /
• 1999

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

• Bulletin of the Korean Space Science Society
• /
• 2011.04a
• /
• pp.32.4-33
• /
• 2011

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

• Journal of the Korea Society for Simulation
• /
• v.3 no.1
• /
• pp.135-150
• /
• 1994

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

• Proceedings of the Korea Multimedia Society Conference
• /
• 2003.05b
• /
• pp.267-270
• /
• 2003

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

• Journal of the Korea Society for Simulation
• /
• v.27 no.3
• /
• pp.23-36
• /
• 2018

Discrete Event System Specification (DEVS) has been used for decades as it provides sound semantics for hierarchical modular specification of discrete event systems. Instead of the mathematical specification, the DEVS diagram, based on the structured DEVS formalism, has provided more intuitive and convenient representation of complex DEVS models. This paper proposes a clean room process for implementation and verification of a DEVS diagram model specification into a simulation software source code. Specifically, it underlies a sequence of transformation steps from conformance and integrity checking of a given diagram model, translation into a corresponding tabular model, and finally conversion to a simulation source code, with each step being inversely verifiable for traceability. A simple example helps developers to understand the proposed process with associated transformation methods; a case study shows that the proposed process is effective for and adaptable to practical simulation software development.

• Journal of the Korea Society for Simulation
• /
• v.27 no.2
• /
• pp.101-114
• /
• 2018

Several different approaches and mechanisms are introduced to solve the UAV path planning problem. In this paper, we designed and implemented an agent-based simulation software using the Repast platform and Java Genetic Algorithm Package to examine an evolutionary path planning method by implementing and testing within the Repast environment. The paper demonstrates the life-cycle of an agent-based simulation software engineering project while providing a documentation strategy that allows specifying autonomous, adaptive, and interactive software entities in a Multi-Agent System. The study demonstrates how evolutionary path planning can be introduced to improve cognitive agent capabilities within an agent-based simulation environment.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10c
• /
• pp.37-39
• /
• 2004

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

• Journal of KIISE:Computing Practices and Letters
• /
• v.6 no.4
• /
• pp.448-456
• /
• 2000

As the system complexity increases, it is important to develop high-level verification techniques for fast and efficient design verifications. In this research, fast verification techniques for hardware and software co-design systems have been developed by using logic emulation and algorithm-level simulation. For faster and superior functional verification, we partition the system being designed into hardware and software parts, and implement the divided parts by using interface modules. We also propose several hardware design techniques for efficient hardware emulation. Experimental results, obtained by using a Reed-Solomon decoder system, show that our new verification methodology is more than 12,000 times faster than a commercial simulation tool for the modified Euclid's algorithm block and the overall verification time is reduced by more than 50%.

• Proceedings of the KIEE Conference
• /
• 2008.10b
• /
• pp.361-362
• /
• 2008

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