• 대한조선학회논문집
• /
• 제46권3호
• /
• pp.303-312
• /
• 2009

Recently, requests for the accurate process planning using modeling and simulation technique are increasing in many engineering fields including shipbuilding industry. In this study, Combined DEVS(Discrete EVent System specification) and DTSS(Discrete Time System Specification) simulation kernel is developed, and an integration strategy of dynamics simulation module and graphics module is also implemented. To evaluate the efficiency and applicability of the simulation kernel and integration strategy, these are applied to the block erection simulation of offshore structures.

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

지능적으로 공격 패턴을 달리하는 많은 공격들에 대응하기 위해 기존의 보안 시스템은 강력한 보안시스템으로 확장되고 있다. 보안 시스템과 같은 규모가 크거나 복잡한 소프트웨어 계발에 있어서 설계 및 구현 과정에서 있는 설계 변경 및 구현상의 변경으로 인한 전체 시스템에 미치는 영향이 크다. 본 논문에서는 규모가 큰 보안시스템 계발에 있어서 전체 시스템의 영향 관계를 체계적으로 정립한 소프트웨어 설계 방법론으로의 적용이다. 소프트웨어 설계 방법론은 시스템 형식론에 의거하여 소프트웨어가 표현되었으므로 논리적 연관관계를 추적하기 쉽다 이는 소프트웨어 설계 또는 설계 변경 후 인터페이스 시스템의 중요한 동적 특성을 미리 파악 할 수 있게 하여 소모적일 수 있는 시간과 노력을 절약 할 수 있다.

• 한국시뮬레이션학회논문지
• /
• 제30권1호
• /
• pp.113-126
• /
• 2021

미래 에너지 소비 패턴은 신재생 에너지 등의 분산 전원의 증가와 프로슈머의 탄생 등으로 현재와는 크게 다른 양상을 보일 것이다. 이에 따라서 전력망 전체의 안정성 및 소비 효율을 고려한 적절한 생산 및 공급 계획 수립의 방향성 역시 지금과는 상이할 것으로 예측할 수 있다. 본 논문은 앞으로 발생할 수 있는 여러 환경에 직면하였을 때 새로운 운영 전략을 시험할 수 있는 시뮬레이션 모델을 제안한다. 제안된 모델을 통해서 에너지 저장 장치, 에너지 분산자원과 같은 새로운 개념이 다량 추가될 미래 스마트 그리드(Smart Grid) 환경에서 소비되고 공급되는 전력을 모의하고 분석하는 기능을 수행할 수 있다. 특히, 그리드에 존재하는 각 요인(Agent)별 의사결정을 모델링할 수 있는 ABM(Agent-Based Model) 방법론 중 DEVS 형식론을 이용하여 복잡한 시스템을 구조적으로 모델링하고, 여러 요인들을 그리드에 쉽게 추가할 수 있도록 하였다. 본 시뮬레이션 모델은 현 상황에서 주어진 데이터셋을 이용하여 검증하였고, 추가로 스마트 그리드의 주요 요소 중 하나인 에너지 저장 장치(ESS)를 본 모델에 간단하게 추가함으로써 시나리오 분석을 시행하였다.

• 한국항행학회논문지
• /
• 제12권6호
• /
• pp.666-672
• /
• 2008

본 논문은 세션 관리 기능을 포함한 홈 네트워크 환경을 위한 지각자 처리 및 오류 복구 처리에 대해서 기술한다. 이 시스템은 ED와 ES, ER로 구성되어 있다. ED는 세션 관리 기능을 포함한 홈 네트워크 환경에서 멀티미디어 원격 교육을 위하여 훅 킹 기법으로 오류를 감지하는 에이전트이다. ES는 세션 관리 기능을 포함한 홈 네트워크 환경에서 멀티미디어 원격 교육을 위하여 오류를 공유하는 에이전트이다. ER은 세션 관리 기능을 포함한 홈 네트워크 환경에서 멀티미디어 원격 교육을 위한 소프트웨어 오류를 복구하기에 적합한 에이전트이다. 본 논문은 규칙-기반 DEVS(Discrete Event System Specification) 모델링과 시뮬레이션 기법을 사용하면서 분산 멀티미디어 상에서의 오류 복구 시스템의 성능 분석을 설명한다. 제시된 방법이 기존 방법에 비하여 오류 발생률과 작업 수행 시간에 있어서 더 효율적이다.

• 한국시뮬레이션학회논문지
• /
• 제22권4호
• /
• pp.29-38
• /
• 2013

국방 M&S 분야에서 모의 기반 획득 방법이 필수적인 정책으로 인식되면서 획득 단계별 M&S 적용을 위한 협업이 필요해지고 M&S 컴포넌트를 쉽게 개발하고 공유하기 위한 공통 기반환경의 구축이 필요하게 되었다. 이를 위하여 본 연구에서는 모델 개발 재사용성 향상을 위한 형식론 기반의 시뮬레이션 프레임워크와 신속 개발을 위한 GUI 기반 모델링 환경을 제안한다. 제안하는 프레임워크는 플러그인 기반으로 동작하며 XML 기반 객체 모델을 바탕으로 하고 있기 때문에 모델의 개발과 변경에 대해 유연한 설계를 할 수 있으며 외부체계 연동, 모델 데이터 로깅과 같은 시뮬레이션 지원 기능을 구현하는데 효과적이다. 본 논문에서는 이러한 프레임워크 및 모델링 개발 도구의 구조와 기능 요소들에 대해 설명한다.

• 한국시뮬레이션학회논문지
• /
• 제24권2호
• /
• pp.19-29
• /
• 2015

국방분야에서 M&S 기법은 분석, 훈련, 획득 등 다양한 목적으로 활용되고 있으며 그 중요성은 더욱 증가하고 있다. 무기체계의 종합군수지원(ILS)요소 개발을 위한 RAM분석 시 M&S 기법을 활용하면 수리적인 기법만으로는 분석하기 어려운 시스템의 다양한 변수와 제약사항을 고려한 분석이 가능하다. 무기체계의 RAM분석을 위한 ILS M&S도구를 설계하기 위해서는 M&S의 목적 설정, 무기체계의 특성 및 유사 M&S Tool 기능 분석 등의 활동이 선행되어야 하며 이를 바탕으로 실제 현실을 프로그램으로 구현하기 용이한 형태의 수학적, 논리적 언어로 모델링해야 한다. 본 논문에서는 'OO유도무기체계'의 배치부터 폐기 시까지 발생하는 운용, 저장, 점검, 고장발생, 정비 등 제반 군수지원활동을 모의하여 유도무기체계의 수명주기 동안의 RAM 특성을 예측, 분석할 수 있는 M&S 도구의 모델링 과정을 제시하고자 하며 이는 유사 M&S 도구의 개발 시 참고자료로도 활용 가능할 것이다.

• 한국시뮬레이션학회논문지
• /
• 제12권2호
• /
• pp.63-73
• /
• 2003

The major objective of this paper is to propose the method of attacker and host modeling for cyber-attack simulation. In the security modeling and simulation for information assurance, it is essential the modeling of attacker that is able to generate various cyber-attack scenarios as well as the modeling of host, which is able to represent behavior on attack concretely The security modeling and simulation, which was announced by Cohen, Nong Ye and etc., is too simple to concretely analyze attack behavior on the host. And, the attacker modeling, which was announced by CERT, Laura and etc., is impossible to represent complex attack excepting fixed forms. To deal with this problem, we have accomplished attacker modeling by adopted the rule-based SES which integrates the existing SES with rule-based expert system for synthesis and performed host modeling by using the DEVS formalism. Our approach is to show the difference from others in that (ⅰ) it is able to represent complex and repetitive attack, (ⅱ) it automatically generates the cyber-attack scenario suitable on the target system, (ⅲ) it is able to analyze host's behavior of cyber attack concretely. Simulation tests performed on the sample network verify the soundness of proposed method.

• 한국시뮬레이션학회논문지
• /
• 제11권2호
• /
• pp.1-16
• /
• 2002

The need for network security is being increasing due to the development of information communication and internet technology. In this paper, firewall models, operating system models and other network component models are constructed. Each model is defined by basic or compound model, referencing DEVS formalism. These models and the simulation environment are implemented with MODSIM III, a general purpose, modular, block-structured high-level programming language which provides direct support for object-oriented programming and discrete-event simulation. In this simulation environment with representative attacks, the following three attacks are generated, SYN flooding and Smurf attack as an attack type of denial of service, Mail bomb attack as an attack type of e-mail. The simulation is performed with the models that exploited various security policies against these attacks. The results of this study show that the modeling method of packet filtering system, proxy system, unix and windows NT operating system. In addition, the results of the simulation show that the analysis of security performance according to various security policies, and the analysis of correlation between availability and confidentiality according to security empowerment.

• 대한교통학회지
• /
• 제14권1호
• /
• pp.101-116
• /
• 1996

Increased attention has been paid in recent years to the need of traffic management for alleviating urban traffic congestion. This paper presents a discrete event modeling and simulation framework for analyzing the traffic flow. Traffic simulation models can be classified as being either microscopic and macroscopic models. The discrete event modeling and simulation technique can be basically employed to describe the macroscopic traffic simulation model. To do this, we have employed the System Entity Structure/Model Base (SES/MB) framework which integrates the dynamic-based formalism of simulation with the symbolic formalism of AI. The SES/MB framework supports to hierarchical, modular discrete event modeling and simulation environment. We also adopt the Symbolic DEVS (Discrete Event System Specification) to developed the automated analysis methodology for generating optimal signal light policy. Several simulation tests will demonstrates the techniques.

• 한국시뮬레이션학회논문지
• /
• 제17권4호
• /
• pp.1-9
• /
• 2008

본 논문은 Programmable Logic Controller(PLC) 시뮬레이션을 하기 위한 공장 모델(Plant Model)을 자동으로 생성하는 절차에 대해 기술한다. PLC 프로그램은 공정을 제어하는 로직에 관한 정보이며 그 자체로 공장 모델에 대한 어떤 정보도 포함하고 있지 않기 때문에 시뮬레이션을 위해서는 PLC 프로그램에 대응하는 공장 모델이 반드시 필요하다. 지금까지 PLC 시뮬레이션을 위한 공장 모델은 사용자가 직접 구축하는 방식으로 모델링 되었으나 이는 많은 노력과 공정로직의 완전한 이해 및 시뮬레이션 지식이 요구된다. 이런 어려움을 극복하기 위해 논문은 PLC 프로그램의 심볼테이블(Symbol table)로부터 공장모델을 자동으로 생성하는 과정을 제안한다. 이를 위해P LC 심볼이 공장 모델의 생성을 위한 정보를 포함시키는 PLC 심볼의 작명 규칙을 제안한다. 입력된 심볼 리스트를 분석함으로써 공장 모델을 자동으로 추출할 수 있으며 간단한 예제 공정을 대상으로 구현해 본다.