• 제목/요약/키워드: Specification-driven modeling

검색결과 12건 처리시간 0.029초

항공용 SIL에 적용 가능한 이벤트 기반 모델링 및 시뮬레이션 방법 (Event-Driven Modeling and Simulation Method Applicable to Avionics System Integration Laboratory)

  • 신주철;서민기;조연제;백경훈;김성우
    • 한국항행학회논문지
    • /
    • 제24권3호
    • /
    • pp.184-191
    • /
    • 2020
  • 항공용 SIL은 항공전자시스템의 통합 및 검증에 사용되는 통합시험환경이다. 항공용 SIL에는 여러 가지 제약으로 인해 항공기에 탑재되는 장비를 직접 연동할 수 없을 때 장비의 소프트웨어 모델이 필요하다. 지금까지 항공기 개발에 적용한 항공용 SIL의 소프트웨어 모델은 표준화된 방법 없이 일반적인 소프트웨어 개발 방법의 적용으로 재사용이 어려워 소프트웨어 모델 재사용을 위한 프레임워크의 필요성이 제기되었다. 이러한 항공용 SIL 모델의 표준화된 모델링 방법을 위해 DEVS (discrete event system specification) 형식론을 채용하였다. DEVS 형식론은 이벤트 구동(event-driven) 알고리즘이며 이는 기존의 항공용 SIL에 적용되는 절차적이고 반복적인 알고리즘과 어울려 동작하기 힘들다. 이에 본 논문에서는 항공용 SIL 모델의 특징과 기존 방식이 가지는 한계를 보완하고 모델의 재사용성을 극대화할 수 있는 이벤트 기반의 모델링 방법과 실시간 시뮬레이션 방법을 제안한다.

사양 기반 플랜트 설계 시스템에서 생성된 원자력 플랜트 설계 데이터의 중립 모델로의 통합 변환 (An Integrated Translation of Nuclear Power Plant Design Data ftom Specification-driven Plant Design Systems to a Neutral Product Model)

  • 문두환;양정삼;한순흥
    • 한국CDE학회논문집
    • /
    • 제14권2호
    • /
    • pp.96-104
    • /
    • 2009
  • It gradually becomes important to study on how to efficiently integrate and manage plant lifecycle data such as 2D schematic and 3D solid data, logical configuration data, and equipment specifications data. From this point of view, converting plant design data from various systems into neutral data independent from any commercial systems is one of important technologies for the operation and management of plants which usually have a very long period of life. In order to achieve this goal, a neutral model for efficient integration and management of plant data was defined. After schema mapping between one of specification-driven plant design systems and the neutral model was performed, a plant data translator is also implemented according to the mapping result. Finally, by experiments with nuclear power plant design, the feasibility of the translator was demonstrated.

Discrete event simulation of Maglev transport considering traffic waves

  • Cha, Moo Hyun;Mun, Duhwan
    • Journal of Computational Design and Engineering
    • /
    • 제1권4호
    • /
    • pp.233-242
    • /
    • 2014
  • A magnetically levitated vehicle (Maglev) system is under commercialization as a new transportation system in Korea. The Maglev is operated by an unmanned automatic control system. Therefore, the plan of train operation should be carefully established and validated in advance. In general, when making a train operation plan, statistically predicted traffic data is used. However, a traffic wave often occurs in real train service, and demand-driven simulation technology is required to review a train operation plan and service quality considering traffic waves. We propose a method and model to simulate Maglev operation considering continuous demand changes. For this purpose, we employed a discrete event model that is suitable for modeling the behavior of railway passenger transportation. We modeled the system hierarchically using discrete event system specification (DEVS) formalism. In addition, through implementation and an experiment using the DEVSim++ simulation environment, we tested the feasibility of the proposed model. Our experimental results also verified that our demand-driven simulation technology can be used for a priori review of train operation plans and strategies.

A Systematic Design Automation Method for RDA-based .NET Component with MDA

  • Kum, Deuk Kyu
    • 인터넷정보학회논문지
    • /
    • 제20권2호
    • /
    • pp.69-76
    • /
    • 2019
  • Recent Enterprise System has component driven real-time distributed architecture (RDA) and this kind of architecture should performed with satisfying strict constraints on life cycle of object and response time such as synchronization, transaction and so on. Microsoft's .NET platform supports RDA and is able to implement services including before mentioned time restriction and security service by only specifying attribute code and maximizing advantages of OMG's Model Driven Architecture (MDA). In this study, a method to automatically generate an extended model of essential elements in an enterprise-system-based RDA as well as the platform specific model (PSM) for Microsoft's .NET platform are proposed. To realize these ideas, the functionalities that should be considered in enterprise system development are specified and defined in a meta-model and an extended UML profile. In addition, after defining the UML profile for .NET specification, these are developed and applied as plug-ins of the open source MDA tool, and extended models are automatically generated using this tool. Accordingly, by using the proposed specification technology, the profile and tools can easily and quickly generate a reusable extended model even without detailed coding-level information about the functionalities considered in the .NET platform and RDA.

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

  • 김형도
    • 한국시뮬레이션학회논문지
    • /
    • 제8권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

고무 벨트식 무단변속기 시스템의 성능분석 (Performance Analysis of the Rubber Belt type CVT System)

  • 김성모;정춘화;임원식;차석원
    • 한국생산제조학회지
    • /
    • 제20권4호
    • /
    • pp.376-381
    • /
    • 2011
  • CVT(Continuously Variable Transmission) is one of the most promising candidates for the future automobile transmission because of its continuously variable gear ratio and reduced shift shock. It is also possible to operate the power source at its high efficiency region with CVT. The CVT system consists of thrust plate, driving pulley, belt, driven pulley, and preload spring of output shaft. In this paper, the dynamic modeling of a CVT system is completed to obtain the static performances of CVT system. A simulator is implemented on Matlab(Simulink), which can analyse the static performances of a CVT system. The methods for improving the total efficiency of a motorcycle system are also proposed based on the simulation results. In this study we increase the capacity factor of CVT up to the three times of default specification.

Software Designing Simulator for Controlling Multiple-Mechanism Carrier System

  • Nakamura, Kotaro;Kumagai, Koji;Sato, Seiji;Sato, Shoichi
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 2000년도 제15차 학술회의논문집
    • /
    • pp.450-450
    • /
    • 2000
  • This paper presents a software design simulation method for controlling multiple mechanism carrier system (MMCS), which is mainly used in a wrapping machine or a case packing machine. This method uses a mechanical tool-work interactive model proposed in this paper, in order to represent the interactive behaviors between some tools and a work driven by their tools, in which low effect states of a work are defined. Based on this method, a 3-D simulation system has been built. It consists of shape modeling of each device, behavior definitions of tools, and control logic using if-then expression. By applying it to a ase packing machine having about 30 mechanical devices and 100 inputs/outputs for control, the effectiveness of this method has been shown in general verification of control logic specification in an early software design phase and the possibility of smooth communication tool between mechanical and software designers.

  • PDF

지자체 행정업무 지원을위한 GIS 응용 컴포넌트 개발 : 토지 민원서비스 컴포넌트 (Development of GIS Application Component for Supporting Administration Business of Local Government)

  • 서창완;김태현;이덕호;김일석
    • Spatial Information Research
    • /
    • 제8권1호
    • /
    • pp.15-29
    • /
    • 2000
  • 최근 급변하는 기술환경에서 향상된 정보서비스를 제공하기 위하여 지자체 또는 중앙정부차원에서 막대한 예산을 투입하여 GIS를 활용한 행정업무의 전산화를 추진하고 있거나 추진할 예정이다. 이러한 시점에서 예산의 중복투자 방지, 기 투자재원리 재활용을 극대화한다는 측면에서 행정업무 전산화의 특징을 살펴 행정업무 전산화사업에 있어서 GIS 응용 컴포넌트의 도입 가능성을 검토하고자한다. 본 연구서는 정보통신부 주관사업인 「개방형 GIS 컴포넌트 S/W 개발」 프로젝트에서 토지민원서비스 응용 컴포넌트를 개발하였다. GIS 응용컴포넌트는 OpenGIS의 OLE/COM 기반으로 만들어지며, 그 개발방법으로는 USD (Unified System Development), 시스템설계는 UML(Unified Modeling Language), 컴포넌트의 구현은 Visual C++를 이용하였다. 구현된 컴포넌트들은 Process Control, Map, Print, Statistics 컴포넌트들로서 Visual Basic 과 Delphi를 이용하여 구현된 컴포넌트를 검증하였다. 본 연구의 결과 컴포넌트의 개발이 지자체의 GIS 업무개발에 매우 유용하게 활용될 것으로 판단된다. 그러나 업무활용의 극대화를 위해서는 업무, 자료, 시스템의 표준화가먼저 선행되어야 할 것으로 보인다.

  • PDF

승객 유동을 고려한 DEVS 기반 자기부상열차 운행 시뮬레이션 (An Operation Simulation of MAGLEV using DEVS Formalism Considering Traffic Wave)

  • 차무현;이재경;백진기
    • 한국시뮬레이션학회논문지
    • /
    • 제20권3호
    • /
    • pp.89-100
    • /
    • 2011
  • 새로운 교통수단으로서 실용화가 진행 중인 자기부상열차 시스템은 무인자동운전으로 운영되며, 사전에 면밀한 열차운행 계획의 수립과 검증이 요구된다. 일반적으로 열차운행 계획을 수립할 때는, 노선계획에 따른 통계화된 수송수요 예측자료를 활용하지만, 실제 열차 운행 시에는 수송 파동이 생길 수 있으며, 이를 고려하여 열차 운행 계획과 서비스 품질을 사전에 검토할 수 있는 수요기반 시뮬레이션 기술이 요구된다. 본 연구에서는 연속적인 수요파동을 반영할 수 있는 자기부상열차 운행 시뮬레이션 방법 및 모델을 제시하였다. 이를 위해, 열차 운행에 따른 승객 수송과정을 가장 효과적으로 모사할 수 있는 이산사건 모델을 적용하였으며, DEVS 형식론을 이용하여 시스템을 체계적으로 모델링 하였다. 또한, DEVSim++시뮬레이션 환경을 이용한 구현과 실험을 통해, 제안한 모델에 대한 구현 가능성을 검증하였고, 이러한 수요기반 시뮬레이션을 이용하면 운행계획과 전략에 대한 효과적인 사전 검토가 가능함을 확인하였다.

DB에이전트를 이용한 전자상거래 워크플로우 모델링 도구 설계 (Electronic Commerce Workflow Modeling Tool Design Using Database Agent)

  • 오종태
    • 한국컴퓨터정보학회논문지
    • /
    • 제8권3호
    • /
    • pp.16-25
    • /
    • 2003
  • 모델링 도구는 그룹 단위의 실시간 협업 지원을 가능하게 하는 워크플로우 비즈니스 프로세스를 정의한다. 오늘날 대부분의 모델러는 비즈니스 프로세스 정의과정에서 동시에 여러 사용자가 작업을 수행해야 할 사안이 많이 발생하지만 동시작업 지원을 지원하는데 미흡하다. 본 논문에서는 여러 사용자가 동시에 작업이 가능하게 하기 위해 확장 ICN을 이용한 CDN을 생성하는 알고리즘과 아키텍처를 제안하고 데이터베이스 에이전트를 이용하여 에디터를 설계한다. 에디터를 통하여 정의된 워크플로우 비즈니스 프로세스 모델들의 집합은 데이터베이스에 저장이 되고, WfMC에서 표준화한 워크플로우 프로세스 정의 언어(WPDL)로 변환되게 된다. 이 방법은 프로세스 정의 과정에서 발생하는 작업 지연 비용을 최소화하여 워크플로우 처리성능을 향상 시킬 수 있다.

  • PDF