• Title/Summary/Keyword: DEVS(Discrete Event Specification)

Search Result 127, Processing Time 0.021 seconds

Framework for Component-based Modeling/Simulation of Discrete Event Systems

  • Cho, Young-Ik;Kim, Jae-Hyun;Kim, Tag-Gon
    • Proceedings of the Korea Society for Simulation Conference
    • /
    • 2001.10a
    • /
    • pp.484-484
    • /
    • 2001
  • The sophistication of current software applications results in the increasing cost fur software development time. The component-based software development framework is proposed to overcome the difficulty and time-consuming requirements by modularity and reusability. As is the general software case, a component-based simulation framework encourages the reusability of the real system model based on the modularity of the applied simulation methodology. This paper presents a component-based simulation environment that is based on the DEVS/COM run-time infrastructure. The DEVS (Discrete Event System Specification) formalism provides a formal modeling and simulation framework for the generic dynamic systems [1] and Microsoft's COM (Component Object Model) is one of the strongest competitor fur the component standard. The reusability by the DEVS/COM simulation environment saves model development time remarkably and component technology make simulator itself to be a subparts of real application.

  • PDF

Design and Implementation of the DEVS-based Distributed Simulation Environment: D-DEVSim++ (DEVS에 기반한 분산 시뮬레이션 환경 $D-DEVSim^{++}$의 설계 및 구현)

  • 김기형
    • Journal of the Korea Society for Simulation
    • /
    • v.5 no.2
    • /
    • pp.41-58
    • /
    • 1996
  • The Discrete Event Systems Specification(DEVS) formalism specifies a discrete event system in a hierarchical, modular form. This paper presents a distributed simulation environment D-DEVSim++ for models specified by the DEVS formalism. D-DEVSim++ employs a new simulation scheme which is a hybrid algorithm of the hierarchical simulation and Time Warp mechanisms. The scheme can utilize both the hierarchical scheduling parallelism and the inherent parallelism of DEVS models. This hierarchical scheduling parallelism is investigated through analysis. Performance of the proposed methodology is evaluated through benchmark simulation on a 5-dimensional hypercube parallel machine. The performance results indicate that the methodology can achieve significant speedup. Also, it is shown that the analyzed speedup for the hierarchical scheduling time corresponds the experiment.

  • PDF

Development of the Distributed Real-time Simulation System Based on HLA and DEVS (DEVS형식론을 적응한 HLA기반의 분산 실시간 시뮬레이션 시스템 개발)

  • Kim, Ho-Jeong;Lee, Jae-Hyun;Cho, Kil-Seok
    • Journal of the Korea Institute of Military Science and Technology
    • /
    • v.9 no.3
    • /
    • pp.25-32
    • /
    • 2006
  • Weapon systems composed of several subsystems execute various engagement missions in distributed combat environments in cooperation with a large number of subordinate/adjacent weapon systems as well as higher echelons through tactical data links. Such distributed weapon systems require distributed real-time simulation test beds to integrate and test their operational software, analyze their performance and effects of cooperated engagement, and validate their requirement specifications. These demands present significant challenges in terms of real-time constraints, time synchronization, complexity and development cost of an engagement simulation test bed, thus necessitate the use of high-performance distributed real-time simulation architectures, and modeling and simulation techniques. In this paper, in order to meet these demands, we presented a distributed real-time simulation system based on High Level Architecture(HLA) and Discrete Event System Specification(DEVS). We validated its performance by using it as a test bed for developing the Engagement Control System(ECS) of a surface-to-air missile system. The proposed technique can be employed to design a prototype or model of engagement-level distributed real-time simulation systems.

Simulation of a Mobile IoT System Using the DEVS Formalism

  • Im, Jung Hyun;Oh, Ha-Ryoung;Seong, Yeong Rak
    • Journal of Information Processing Systems
    • /
    • v.17 no.1
    • /
    • pp.28-36
    • /
    • 2021
  • This paper proposes two novel methods to model and simulate a mobile Internet of Things (IoT) system using the discrete event system specification (DEVS) formalism. In traditional simulation methods, it is advantageous to partition the simulation area hierarchically to reduce simulation time; however, in this case, the structure of the model may change as the IoT nodes to be modeled move. The proposed methods reduce the simulation time while maintaining the model structure, even when the IoT nodes move. To evaluate the performance of the proposed methods, a prototype mobile IoT system was modeled and simulated. The simulation results show that the proposed methods achieve good performance, even if the number of IoT nodes or the movement of IoT nodes increases.

Effective Simulation Modeling Formalism for Autonomous Control Systems (자율제어시스템의 효과적인 시뮬레이션 모델링 형식론)

  • Chang, Dae Soon;Cho, Kang H;Cheon, Sanguk;Lee, Sang Jin;Park, SangChul
    • Journal of Korean Society for Quality Management
    • /
    • v.46 no.4
    • /
    • pp.973-982
    • /
    • 2018
  • Purpose: The purpose of this study is to develop an effective simulation modeling formalism for autonomous control systems, such as unmanned aerial vehicles and unmanned surface vehicles. The proposed simulation modeling formalism can be used to evaluate the quality and effectiveness of autonomous control systems. Methods: The proposed simulation modeling formalism is developed by extending the classic DEVS (Discrete Event Systems Specifications) formalism. The main advantages of the classic DEVS formalism includes its rigorous formal definition as well as its support for the specification of discrete event models in a hierarchical and modular manner. Results: Although the classic DEVS formalism has been a popular modeling tool, it has limitations in describing an autonomous control system which needs to make decisions by its own. As a result, we proposed an extended DEVS formalism which enables the effective description of internal decisions according to its conditional variables. Conclusion: The extended DEVS formalism overcomes the limitations of the classic DEVS formalism, and it can be used for the effectiveness simulation of autonomous weapon systems.

Large-Scale Integrated Network System Simulation with DEVS-Suite

  • Zengin, Ahmet
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • v.4 no.4
    • /
    • pp.452-474
    • /
    • 2010
  • Formidable growth of Internet technologies has revealed challenging issues about its scale and performance evaluation. Modeling and simulation play a central role in the evaluation of the behavior and performance of the large-scale network systems. Large numbers of nodes affect simulation performance, simulation execution time and scalability in a weighty manner. Most of the existing simulators have numerous problems such as size, lack of system theoretic approach and complexity of modeled network. In this work, a scalable discrete-event modeling approach is described for studying networks' scalability and performance traits. Key fundamental attributes of Internet and its protocols are incorporated into a set of simulation models developed using the Discrete Event System Specification (DEVS) approach. Large-scale network models are simulated and evaluated to show the benefits of the developed network models and approaches.

Requirements Evaluation Method for Concurrent Development of Embedded System based on Discrete Event System Formalism (내장형 시스템의 동시적 개발을 위한 이산 사건 시스템 형식론 기반 요구사항 평가 방법)

  • Choi, Jae-ung;Choi, Chang-beom
    • Journal of the Korea Society for Simulation
    • /
    • v.27 no.2
    • /
    • pp.61-69
    • /
    • 2018
  • As the technology of information and communication has developed over recent years, an embedded system is applied in multiple industries and becomes more complicated. For this reason, embedded system development cost and time are also increased. For decreasing the cost and time, this paper suggests requirement evaluation method for concurrent development of an embedded system based on Discrete Event System(DEVS) Formalism. This paper proposes a method of describing the requirements specification in the form of DEVS atomic model. Also, the paper proposes the evaluator model that compares evaluation target system and the requirements model that is an implementation of requirement specification and proposes the evaluation method using them. In addition, we propose a method to utilize the requirement model created for requirements evaluation in the concurrent development process of the embedded system. As the case study, this paper proceeds requirement evaluation of Kinect depth data processing system.

A study on modelling and simulation of computer communication protocols (컴퓨터 통신 프로토콜의 모델링과 시뮬레이션에 관한 연구)

  • 손진곤;백두권
    • Proceedings of the Korean Operations and Management Science Society Conference
    • /
    • 1990.04a
    • /
    • pp.22-31
    • /
    • 1990
  • In this paper, we have studied modelling and simulation of computer communication protocols theoretically. After describing a definition and functions of communication protocols, we have classified models for protocol design. And, in those protocol models, by endowing Timed Petri Net (TPN) models with a time function .tau., we have proposed a structural definition of TPN models. Furthermore, in order to complement Petri Net Based models with some problems, we have introduced the Discrete EVent system Specification (DEVS) concept in system simulation field. As an important result of our study, we have presented a theorem, which says that a TPN model becomes a DEVS model, and proved it. According to the theorem, we can perform efficient simulation by using the DEVS model transformed from a TPN model when we intend the TPN model to be simulated, otherwise we design another simulation model for it.

  • PDF

An XML-based DEVS Markup Language for Sharing Simulation Models on the Web (웹상에서의 시뮬레이션 모델 공유를 위한 XML 기반 DEVS 마크업 언어)

  • 김형도
    • Journal of the Korea Society for Simulation
    • /
    • v.8 no.1
    • /
    • pp.113-138
    • /
    • 1999
  • Driven by the explosive expansion and acceptance of the Internet and its multimedia front-end, the Web, a new generation of the modeling and simulation tools have come up with the name of Web-Based Simulation (WBS). Most of WBS libraries inherit its powerful advantages from Java. However, there are cases where explicit specification of models or interface objects is more desirable than the black-box programs. This paper presents an XML-based DEVS (Discrete Event System Specification) markup language for sharing simulation models on the Web. DEVS provides a system-theoretic formalism for the language while XML supports platform-independent data access. This paper focuses on the design of such a language.

  • PDF

Simulator Interoperation Using DEVSimHLA (DEVSimHLA를 이용한 시뮬레이터 연동)

  • 김재현;김탁곤
    • Proceedings of the Korea Society for Simulation Conference
    • /
    • 2002.11a
    • /
    • pp.79-83
    • /
    • 2002
  • High Level Architecture (HLA)는 이기종 시뮬레이터 간의 연동을 위한 미들웨어이다. 본 논문에서는 Discrete Event System Specification (DEVS) 형식론을 바탕으로 한 DEVS 모델의 시뮬레이션을 HLA 기반에서 수행하는 방법에 대하여 제시한다. DEVS 시뮬레이션 메시지를 HLA의 서비스를 사용하여 변환하여 기존의 시뮬레이션 알고리즘을 그대로 사용하여 분산 시뮬레이션 할 수 있는 방식에 대하여 기술한다. 또한 모델 사이의 연결 정보를 HLA 환경에서 이용하는 방식에 대하여 기술한다. 제안된 방식을 구현한 DEVSimHLA 시뮬레이션 환경의 구조 및 동작 방식에 대하여 알아보고 이를 이용한 간단한 예제를 보인다.

  • PDF