• 한국시뮬레이션학회논문지
• /
• 제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.

• 산업공학
• /
• 제19권1호
• /
• pp.43-52
• /
• 2006

In order to make best use of NC machine tools with minimal labor costs, they need to be in operation 24 hours a day without being attended by human operators except for setup and tool changes. Thus, unattended machining is becoming a dream of every modern machine shop. However, without a proper mechanism for real-time monitoring of the machining processes, unattended machine could lead to a disaster. Investigated in this paper are ways to using PC camera as a real-time monitoring system for unattended NC milling operations. This study defined five machining states READY, NORMAL MACHINING, ABNORMAL MACHINING, COLLISION and END-OF-MACHINING and modeled them with DEVS (discrete event system) formalism. An image change detection algorithm has been developed to detect the table movements and a flame and smoke detection algorithm to detect unstable cutting process. Spindle on/off and cutting status could be successfully detected from the sound signals. Initial experimentation shows that the PC camera could be used as a reliable monitoring system for unattended NC machining.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제5권1호
• /
• pp.83-104
• /
• 2011

Mobile grid is a combination of grid computing and mobile computing to build grid systems in a wireless mobile environment. The development of network technology is assisting in realizing mobile grid. Mobile grid based on established grid infrastructures needs effective resource management and reliable job scheduling because mobile grid utilizes not only static grid resources but also dynamic grid resources with mobility. However, mobile devices are considered as unavailable resources in traditional grids. Mobile resources should be integrated into existing grid sites. Therefore, this paper presents a mobile grid middleware interconnecting existing grid infrastructures with mobile resources and a mobile service agent installed on the mobile resources. This paper also proposes a mobile resource reliability-based job scheduling model in order to overcome the unreliability of wireless mobile devices and guarantee stable and reliable job processing. In the proposed job scheduling model, the mobile service agent calculates the mobile resource reliability of each resource by using diverse reliability metrics and predicts it. The mobile grid middleware allocated jobs to mobile resources by predicted mobile resource reliability. We implemented a simulation model that simplifies various functions of the proposed job scheduling model by using the DEVS (Discrete Event System Specification) which is the formalism for modeling and analyzing a general system. We also conducted diverse experiments for performance evaluation. Experimental results demonstrate that the proposed model can assist in improving the performance of mobile grid in comparison with existing job scheduling models.

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

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

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

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

• 한국멀티미디어학회논문지
• /
• 제23권10호
• /
• pp.1270-1285
• /
• 2020

As a representative concept of the fourth industrial revolution era where everything is digitized, digital twin means analyzing and optimizing a complex system using a simulation model synchronized with the system. In this paper, we propose a digital twin simulation model for the efficient operation of urban railways in Busan. Due to the geopolitical nature of Busan, where there are many mountains and narrow roads, the railways are more useful than other public transportation. However, this inversely results in a high level of congestion, which is an inconvenience to citizens and may be fatal to the spread of the virus, such as COVID19. Considering these characteristics, the proposed model analyzes the congestion level of the railways in Busan. The model is developed based on a mathematical formalism called discrete-event system specification and deduces the congestion level and the average waiting time of passengers depending on the train schedule. In addition, a new schedule to reduce the congestion level is derived through particle swarm optimization, which helps the efficient operation of the railways. Although the model is developed for the railways in Busan, it can also be used for railways in other cities where a high level of congestion is a problem.

• 대한조선학회논문집
• /
• 제45권6호
• /
• pp.656-668
• /
• 2008

When it comes to design and acquire underwater vehicles such as a submarine and a torpedo according to the process of SBA(Simulation Based Acquisition)/SBD(Simulation Based Design), it is necessary to predict the performance of interest precisely and to perform the test over and over again using the M&S(Modeling and Simulation) of the engineering and the engagement level. In this paper, we research the DEVS(Discrete Event System Specification) and DTSS(Discrete Time System Specification) formalism based standard model architecture for the underwater vehicle which can support both the heterogeneous level of the M&S(Engineering/Engagement) and the different system of the M&S(Discrete Event System and Discrete Time System). To validate this standard modeling architecture, we apply it to the submarine normal diving simulation.

• 한국시뮬레이션학회논문지
• /
• 제26권2호
• /
• pp.9-17
• /
• 2017

현대사회의 다양한 분야에서는 복잡한 사회현상에 대하여 문제를 정의하고 문제해결책의 결과를 분석하는 과정으로 모델링 및 시뮬레이션을 활용하고 있다. 나날이 사회현상의 문제가 복잡해짐에 따라 요구되는 모델링 및 시뮬레이션 환경의 계산자원의 요구사항도 높아지고 있다. 이러한 요구사항을 수용하기 위해서 클라우드 서비스 등과 같이 컴퓨팅 자원을 유동적으로 사용할 수 있는 환경이 대두되었다. 본 연구에서는 이러한 컴퓨팅 자원 활용 시스템을 보다 효율적으로 활용할 수 있는 웹 기반 재구성이 가능한 시뮬레이션 실험 틀을 제안한다. 제안하는 시뮬레이션 실험 틀은 다양한 분산 컴퓨팅 환경을 지원할 수 있도록 프론트엔드(Front-end)에서 웹을 활용하여 시뮬레이션 모델의 재구성 시스템을 구축하고 백엔드(Back-end) 이산 사건 시뮬레이션의 실행을 담당하는 이산사건 시뮬레이션 실행단으로 구성된다. 본 연구는 사례연구를 통해 분산형 시뮬레이션 환경이 단일 시뮬레이션 환경보다 시간적 효율이 더 높음을 확인하였다.