• 제목/요약/키워드: discrete-event simulation

검색결과 392건 처리시간 0.025초

침입 탐지 시스템과 침입 차단 시스템의 연동을 통한 보안 시뮬레이션 (Security Simulation with Collaboration of Intrusion Detection System and Firewall)

  • 서희석;조대호
    • 한국시뮬레이션학회논문지
    • /
    • 제10권1호
    • /
    • pp.83-92
    • /
    • 2001
  • For the prevention of the network intrusion from damaging the system, both IDS (Intrusion Detection System) and Firewall are frequently applied. The collaboration of IDS and Firewall efficiently protects the network because of making up for the weak points in the each demerit. A model has been constructed based on the DEVS (Discrete Event system Specification) formalism for the simulation of the system that consists of IDS and Firewall. With this model we can simulation whether the intrusion detection, which is a core function of IDS, is effectively done under various different conditions. As intrusions become more sophisticated, it is beyond the scope of any one IDS to deal with them. Thus we placed multiple IDS agents in the network where the information helpful for detecting the intrusions is shared among these agents to cope effectively with attackers. If an agent detects intrusions, it transfers attacker's information to a Firewall. Using this mechanism attacker's packets detected by IDS can be prevented from damaging the network.

  • PDF

퍼지를 적용한 계약망 프로토콜 기반의 네트워크 보안 모델의 설계 및 시뮬레이션 (Modeling and simulation of CNP-applied network security models with application of fuzzy rule-based system)

  • 이진아;조대호
    • 한국시뮬레이션학회논문지
    • /
    • 제14권1호
    • /
    • pp.9-18
    • /
    • 2005
  • Attempts to attack hosts in the network have become diverse, due to crackers developments of new creative attacking methods. Under these circumstances the role of intrusion detection system as a security system component gets considerably importance. Therefore, in this paper, we have suggested multiple intrusion detection system based on the contract net protocol which provides the communication among multiple agents. In this architecture, fuzzy rule based system has been applied for agent selection among agents competing for being activated. The simulation models are designed and implemented based on DEVS formalism which is theoretically well grounded means of expressing discrete event simulation models.

  • PDF

인라인 EFEM 클러스터 장비 아키텍처의 모델링 및 분석 사례 연구 (A Case Study for Modeling and Simulation Analysis of the In-Line EFEM Cluster Tool Architecture)

  • 한용희
    • 한국시뮬레이션학회논문지
    • /
    • 제21권2호
    • /
    • pp.41-50
    • /
    • 2012
  • 본 연구에서는 반도체 제조공정 및 클러스터 장비에 대한 상세히 설명하고 현 팹 레이아웃 및 클러스터 장비 아키텍처상의 문제점을 제시하였다. 또한 현 아키텍처상의 대안으로서 클러스터 장비간의 웨이퍼 이동이 상호 연결된 인라인 EFEM(Equipment Front End Module) 을 통해 이루어지는 ILE (In-Line EFEM) 아키텍처의 개념을 제시하였다. 마지막으로 해당 아키텍처를 실제 적용하여 구현된 파일럿 시스템을 시뮬레이션 을 통해 사이클 타임 관점에서 비교 분석하였다.

SIMVA를 이용한 시뮬레이션 기반의 네트워크 취약성 분석 (Simulation-based Network Vulnerability Analysis Using the SIMVA)

  • 유용준;이장세;지승도
    • 한국시뮬레이션학회논문지
    • /
    • 제13권3호
    • /
    • pp.21-29
    • /
    • 2004
  • The major objective of this paper is to analyze network vulnerabilities using the SIMVA (SIMualtion-based Vulnerability Analyzer). SIMVA is capable of monitor network status and analyze vulnerabilities automatically. To do this, we have employed the advanced modeling and simulation concepts such as SES/MB (System Entity Structure / Model Base) framework, DEVS (Discrete Event System Specification) formalism, and experimental frame for developing network security models and simulation-based analysis of vulnerability. SIMVA can analyze static vulnerability as well as dynamic vulnerability consistently and quantitatively. In this paper, we verified and tested the capability of application of SIMVA by slammer worm attack scenario.

  • PDF

분산시스템에서 부하공유 알고리즘의 천이특성 해석 (Analysis of transient Characteristics of Load Sharing Algorithms In Distributed Systems)

  • 박세명
    • 한국시뮬레이션학회논문지
    • /
    • 제2권1호
    • /
    • pp.91-106
    • /
    • 1993
  • Load sharing in distributed systems improves systems performance. Research in the field has been focused on steady state performance for load sharing algorithms. However, transient characteristics of such algorithms may be important in a distributed system in which workload for some node is changing. Simulation is the only means to analyze such characteristics. This paper presents a simulation-based analysis of the transient characteristics of four load sharing algorithms ; forward probing, reverse probing, symmetric probing, and multi-threshold symmetric probing algorithms. Discrete event system models for execution of the algorithms in a distributed system has been developed in a SIMSCRIOT II.5 environment. Simulation results indicate that the MSYM algorithm shows the shortest response time in the transient period.

  • PDF

객체지향 설계 및 시뮬레이션을 이용한 자동 물류 핸들링 시스템의 제어 로직 검증 (Validation of the Control Logic for Automated Material Handling System Using an Object-Oriented Design and Simulation Method)

  • 한관희
    • 제어로봇시스템학회논문지
    • /
    • 제12권8호
    • /
    • pp.834-841
    • /
    • 2006
  • Recently, many enterprises are installing AMSs(Automated Manufacturing Systems) for their competitive advantages. As the level of automation increases, proper design and validation of control logic is a imperative task for the successful operation of AMSs. However, current discrete event simulation methods mainly focus on the performance evaluation. As a result, they lack the modeling capabilities for the detail logic of automated manufacturing system controller. Proposed in this paper is a method of validation of the controller logic for automated material handling system using an object-oriented design and simulation. Using this method, FA engineers can validate the controller logic easily in earlier stage of system design, so they can reduce the time for correcting the logic errors and enhance the productivity of control program development Generated simulation model can also be used as a communication tool among FA engineers who have different experiences and disciplines.

Simulation and Analysis of an Automative Assembly Operation at Mercedes-Benz

  • 박영홍
    • 한국시뮬레이션학회:학술대회논문집
    • /
    • 한국시뮬레이션학회 1999년도 추계학술대회 논문집
    • /
    • pp.217-217
    • /
    • 1999
  • The main objective of this study is to simulate the design and operational policies of the assembly shop of an automotive plant for planning purposes and to find possible improvements. The simulation study was used to answer the following questions: How does the sequence affect the daily throughput\ulcorner What are the bottlenecks to the assembly lines in a given scenario\ulcorner A Simulation model was developed in accordance with the objective of this study. The model incorporates detailed workstation logic to accurately model downtime results through the use of a pull cord system. It is written with SIMAN. The discrete event feature of SIMAN does not adequately model the conveyor systems of the asembly shop. As a result, a few subroutines were added to the SIMAN modeling structures to mimic the operations of the assembly shop. Use of the model uncovered attractive improvement opportunities, such as a tremendous gain in annual volume if four additional spaces were added to a between-line buffer.

  • PDF

SIMPLIFIED SIMULATION APPROACH TO MANAGING SCHEDULE-OVERRUN RISKS IN CONSTRUCTION OPERATIONS

  • Wah-Ho CHAN;Ming LU
    • 국제학술발표논문집
    • /
    • The 1th International Conference on Construction Engineering and Project Management
    • /
    • pp.929-934
    • /
    • 2005
  • The complex and dynamic job nature and the ever-changing working environment of construction projects inevitably present uncertainties to construction operations. Identification, evaluation and control of uncertainties constitute main elements of risk management and critical tasks of project management in construction. This paper is focused on application of a simplified discrete-event simulation approach in management of schedule-overrun risks, each being the combination of the occurrence probability of an uncertain interruptive factor and its potential consequence in terms of time delay. A case study observed from a concreting operation in Hong Kong is converted into a simulation model and analyzed with an in-house-developed simulation package for demonstrating how the proposed approach can be implemented to manage multiple schedule-overrun risks on construction projects.

  • PDF

음성과 데이터가 집적된 패킷통신망을 위한 시뮬레이터 개발 (A Simulator for Integrated Voice/Data Packet Communication Networks)

  • 박순;은종관
    • 한국통신학회논문지
    • /
    • 제11권2호
    • /
    • pp.108-121
    • /
    • 1986
  • 音聲과 데이터가 集積된 패킷 通信網의 性能을 豫測하고 시스템 파라메터를 最適化하기 위한 시뮬레이터의 개발에 관하여 記述하였다. 具現된 시뮬레이터는 CCITT의 勸告事項에 따라 運用되는 데이터 터미널이나 host는 물론 패킷 音聲터미널도 연결가능한 音聲 및 데이터集積通信網의 性能을 여러 상황에서 豫測할 수 있다. 시뮬레이션 技法으로는 지금까지 알려진 세가지 discrete event 시뮬레이션 技法 중 process interaction 方法이 사용되었는데 이 方法을 사용하면 실제 시스템과 가장 비슷한 시뮬레이터를 具現할 수 있다. 시뮬레이터는 약 4,000line의 GPSS 시뮬레이션 언어와 PL/I으로 具現되었다. 시뮬레이터의 컴퓨터 run time을 줄이기 위하여 GPSS의 LINK block을 사용함으로써 條件的 event의 數를 줄이는 方法을 사용하였다. 구현된 시뮬레이터를 사용하여 7-node 通信網의 性能을 豫測하였다. 또 개발된 시뮬레이터의 妥當性을 檢證하기 위하여 간단한 音聲과 데이터 multiplexer를 시뮬레이션 모델로 구성한 뒤 그 시뮬레이션 결과를 解釋的 방법에 依한 결과와 比較하였다.

  • PDF

페트리네트를 이용한 유연생산시스템의 성능평가에 관한 연구

  • 김기범;이교일
    • 한국정밀공학회:학술대회논문집
    • /
    • 한국정밀공학회 1994년도 춘계학술대회 논문집
    • /
    • pp.409-414
    • /
    • 1994
  • A FMS is a typical discrete event system exhibiting concurrency, asynchronicity and non-determinism. Torepresent a FMS with those chatcteristics, Colored and Timed Petri Nets is defined and the modeling procedure is provided in this paper. Toanalyze and evaluate the performance of a FMS, a simulation software is developed and applied to SNU FMS/CIM Center. This software enables to detect the bottleneck machine and decide the optimaldirection in case of the expansion of a FMS.

  • PDF