• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.880-882
• /
• 2004

본 논문은 멀티패러다임 프로그래밍을 이용한 효과적인 문제 해결 방식을 보이고 멀티패러다임 사고를 적용한 소프트웨어 설계의 실용적 타당성을 예시하기 위하여 3D 모델링 분야를 위한 멀티패러다임 DSEL을 설계한다. 먼저 3D 모델링 응용에 필요한 프로그래밍 요소를 문제의 특성을 고려하여 패러다임 영역별로 분할하고, 이에 따라 분할된 요소를 대응하는 단일 패러다임을 이용해 설계한다. 마지막으로 단일한 패러다임을 이용해 설계된 각 기능을 통합하고 보완하여 멀티패러다임의 협력 효과를 극대화한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.457-459
• /
• 2001

정보검색시스템은 지역적으로 분산된 이기종의 컴퓨터들 간의 데이터 교환과 다양한 종류의 DB에 대한접근을 가능하게 함으로써, 기업에게 공급망 관리에 대한 통합된 정보를 제공한다. 정보검색시스템은 X3.285에 기반한 데이터 레지스트리 모델을 이용하여 모델링되었고, 모델링이 주어진 가정 하에서 요구사항을 만족하는지를 검증하기 위해 핵심 부분인 메타데이터 레지스트리 관리기(MDR Manager) 부분 만을 SMV를 이용하여 검증하였다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1996.04a
• /
• pp.168-171
• /
• 1996

객체지향 기술에서 개면적 모델링을 위해 크게 객체의 정적인 측면과 동적인 측면의 두가지 관점으로 접근하고 있다. 본 연구에서는 시스템의 파악과 구현을 위해 이러한 두가지 이질적인 관점을 나누어 접근하는 것이 아니라 객체의 정적인 측면(Static)과 동적인 측면인 Event를 통합한 방법론을 제시하고 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.05a
• /
• pp.231-234
• /
• 2006

현재까지는 실시간 임베디드 소프트웨어 개발을 위한 효율적인 소프트웨어 모델링 언어가 부족하다. 그런데 모델 자체가 코드처럼 수행 가능한 통합 모델링언어를 xUML(Executable UML)이라 한다[2,4,7]. 이는 기존의 UML x.x에 실행과 관련된 개념과 시간에 관련된 규칙을 더한 것이다. 다시 말해 xUML의 모델은 실행과 테스트, 디버깅이 가능하다[2,4]. 본 논문에서는 기존의 UML x.x버전들과 xUML이 실시간 임베디드 소프트웨어를 모델링 하는데 적합한지를 비교/분석한 후, 임베디드 소프트웨어 모델링에 xUML을 적용하고자 부족한 면을 보완 및 확장하였다. 확장된 xUML의 노테이션은 병렬과 실시간 처리까지도 표현이 가능하도록 제안하였다. 사례 연구로서 두개의 터치센서로 동작하는 실시간 임베디드 시스템의 모델링을 보여준다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2002.11a
• /
• pp.29-37
• /
• 2002

본 논문은 가상 공격 시뮬레이션을 위한 공격자 및 리눅스 기반 호스트에 대한 모델링 방법의 제안을 주목적으로 한다. 최근, Amoroso는 보안 메커니즘 중심의 침입 모델을 제안하였으나, 시뮬레이션 접근이 분명치 않은 단점이 있다. 또한, Cohen은 원인-결과 모델을 이용하여 사이버 공격과 방어를 표현한 바 있으나, 개념적 단계의 추상화 모델링으로 인해 실제 적용이 어려운 실정이다. 이를 해결하고자 하는 시도로 항공대 지능시스템 연구실에서 SES/MB 프레임워크를 이용한 네트워크 보안 모델링 및 시뮬레이션 방법을 제안한 바 있으나, 공격에 따른 호스트의 복잡한 변화를 표현하기에는 부족하다. 이러한 문제점들을 해결하고자, 본 논문에서는 시스템의 구조를 표현하는 기존 SES에 합성용 규칙기반 전문가 시스템 방법론을 통합한 Rule-Based SES를 적용하여 공격자를 모델링하고, DEVS를 기반으로 하는 네트워크 구성원을 모델링한다. 제안된 모델링 방법의 타당성을 검증하기 위해 본 논문에서는 샘플 네트워크에 대한 사례연구를 수행한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.10a
• /
• pp.1065-1067
• /
• 2015

시스템 모델링은 규모와 크기에 따라서 방법이 모두 다르며, 시스템 요구사항에 따라서 설계를 하는 방법이다. 하지만 현재까지의 기법은 개별적인 방법만 고려했기 때문에 시스템 요구사항의 모든 것을 적용하기 어려운 단점이 있다. 따라서 요구사항에 따른 시스템의 완성도를 높이기 위해서는 복합적인 모델링 방법의 접근이 필요하다. 본 논문에서는 절차지향 및 객체지향 모델링 방법에 대한 접근을 통합 할 수 있는 DEVS기반 하이브리드 모델링 기법에 대해 제안한다. 제안하는 기법은 프로세스와 객체와의 관계를 계층형으로 구조화 시킬 수 있으며, 수학적 명세가 가능하다. 또한, 하이브리드 모델링의 시뮬레이션을 위한 분산처리 환경에서 DEVS 기반 하이브리드 시뮬레이션에 대해 제안을 한다. 제안하는 모델을 통해서 복잡한 시스템에 대한 명세와 검증이 가능하다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05c
• /
• pp.1591-1594
• /
• 2003

프로세스 통합을 사용하면 이질적인 시스템과 조직에서 비즈니스 프로세스를 모델링하고 자동화할 수 있다. 프로세스 통합은 흔히 B2B 거래소 연결, 제품과 서비스의 온라인 구매, 고객 정보의 표준화, 또는 새로 구입한 애플리케이션 통합 따위의 많은 비즈니스와 기술 정처의 핵심이다. 통합 프로세스는 비즈니스 전략의 구현을 보다 용이하게 한다는 것이다. 현재에는 기업 내부의 프로세스 통합은 많이 이루어지고 있으며, 기업과 기업간의 데이터 전송을 위한 방법들이 많이 연구되고 있다. 피러나 기업과 기업간의 통합을 이루기 위해서는 데이터 통합뿐만 아니라 프로세스 통합을 이루어야 한다. 본 논문에서는 기업간 프로세스 통합을 위하여 BPML과 XPDL 상호간의 운용성을 연구하였으며, 차후에 이를 구현할 프로그램을 개발할 것이다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.36 no.11
• /
• pp.1112-1120
• /
• 2008

The real-time distributed simulation at the present age concentrates on the construction of a system development environment in order to accomplish a synthetic battlefield environment connected with Live-Virtual-Constructive simulation and to realize the Simulation Based Acquisition which supports the life cycle of weapon system. Accordingly this paper describes the development environment of the UML modeling and simulation which integrates the system analysis and design methods performed during the conceptual design phase of the reconnaissance UAV system development. An integrated framework linked with the UML simulation and X-plane visualization is suggested to efficiently perform the system analysis and design, and finally the implementation contents, the analysis of experiment results and concluding remarks are described.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.35 no.12B
• /
• pp.1227-1235
• /
• 2010

Stateflow is a useful system modeling tool, which is frequently used in industry. But Stateflow has defects when users are trying to describe consecutive behaviors or a system's temporal behaviors. Timing diagram, on the other hand, is a widely used tool of explaining behaviors of a hardware system in electronics. This tool has a merit when specifying consecutive behaviors and temporal behaviors of a system. Thus, this paper suggests $Stateflow_{TD}$, the unified modeling methodology in Stateflow domain integrating Stateflow with Timing diagram in order to improve the shortcomings of Stateflow. This paper not only explains a technique of integrating both a Stateflow model and Timing diagram models, and describes advantages of what $Stateflow_{TD}$ formalism has, but also shows its convenience using two example systems.

• Journal of Korean Society for Geospatial Information Science
• /
• v.19 no.4
• /
• pp.13-21
• /
• 2011

The purpose of this study is enhancing CFD model by applying detailed and accurate CFD input data produced from 3D City model and integrating CFD model with 3D city model with OpenGL, 3D city aerodynamic simulation, and visualization tool. CFD_NIMR_SNU model developed by NIMR and SNU and 3D City model produced by NGII were used as input data. Wind flow and pollution diffusion simulator and viewer were developed in this study. Atmospheric environment simulation and visualization tool will save time and cost for urban climate planning and management by enhancing visual communication.