• Title/Summary/Keyword: Modeling language

Search Result 1,024, Processing Time 0.03 seconds

On Enhancing Safety of Train-Centric Train Control System using Model-Based Development (차상중심 열차제어시스템 개발에서 모델기반 접근을 통한 안전성 향상에 관한 연구)

  • Choi, Myung-Sung;Kim, Joo-Uk;Han, Seok-Youn;Oh, Se-Chan;Sim, Sang-Hyun;Lee, Jae-Chon
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.17 no.7
    • /
    • pp.573-584
    • /
    • 2016
  • The train control system is a facility to ensure model-based design and safe train operation, and its safety is the most important factor for system introduction, complexity of the design information and traceability etc. Therefore, the model-based design and safety activities regarding the way-side equipment of a train control system is also highlighted. To solve this problem, In this paper, model-based design was carried out first to develop an effective train control system, which is represented by SysML(System Modeling Language). The test scenarios that can take advantage of the design model were created to improve the train safety control system. Case studies of a model-based design of a train-centric train control system were applied to the test scenarios; the results demonstrated its usability. The improved activity over the test highlighted the safety improvement approach, and it is expected to reduce the cost and time in the conceptual design of a future development model-based train control system.

Development of the Efficient Event Modeling using Intelligent Real-time Agent (지능형 실시간 에이전트를 이용한 효율적인 이벤트 모델링 개발)

  • Kim, Jeong-Suk
    • Proceedings of the Korean Institute of Intelligent Systems Conference
    • /
    • 2007.11a
    • /
    • pp.71-74
    • /
    • 2007
  • 오늘날 자연재해 발생 빈도수가 증가하고 있어 ESP(Energy Service Provider)와 대수용가에 서는 예기치 못한 정전 및 에너지 중단과 같은 이벤트가 발생하면 재산상의 손실과 같은 피해가 커지고 있다. 이에 에너지 포털 시스템에서 발생활 수 있는 다양한 이벤트들을 실시간으로 처리할 수 있는 효율적인 이벤트 모델링 개발이 필요하다. 그러나 현재 이러한 이벤트 처리를 위한 이벤트 모델링 개발은 거의 이루어지고 있지 않다. 이에 본 논문에서는 에너지 포털 시스템에서 발생하는 정전과 같은 이벤트와 원격 검침 둥과 같은 부가 서비스를 제공함에 따라 발생하는 이벤트들을 지능을 가진 실시간 에이전트를 사용하여 웹 환경에서 W3C 이벤트 처리 권고안인 DOM 모델을 기반으로 esXML(energy system eXtensible Markup Language)을 사용하여 효율적으로 처리할 수 있는 모델링을 개발하였다.

  • PDF

XML Application for Bioinformatics (생물정보학을 위한 XML의 활용)

  • 이완선;유미애;조환규
    • Journal of Life Science
    • /
    • v.12 no.4
    • /
    • pp.383-391
    • /
    • 2002
  • The difficulties in dealing with the Bioinformatics data come more from its idiosyncrasies than from its quantity Currently researchers need to an easy method for data exchange, manage, update. In order to integrate and manage all kinds of biological data, it is reasonable to adopt XML as standard tool since XML is independent of operating system, programming language and hardware platform. Although XML in Bioinformatics has been used widely as a standard notation abroad, however it is the beginning step in the domestic research. This article reviews a basic concept of XML and how to apply XML modeling in Bioinformatics. In addition we present XML applications for genomic sequences, structures and genetic network modeling.

A Study on Common Module Modeling Method of Game Software based on DirectX/C++ (DirectX/C++ 기반 게임 소프트웨어의 공통 모듈 모형화 기법에 관한 연구)

  • Byun, Jung-Won;Rhew, Sung-Yul
    • Journal of Korea Game Society
    • /
    • v.9 no.2
    • /
    • pp.95-104
    • /
    • 2009
  • The windows games and the console games that use DirectX occupied 20% or more of world game market and that are developed by C++ Language occupied 75% or more of the market. This study proposed that commonality and variability for code of the 20 projects based on DirectX and C++ is analysed and patternized, that common modules are created, and that modules are modeled. As a result of applying a case study, it is verified that the proposed model reduces effort in game development.

  • PDF

A Study of Digital Investigation Modeling Method (디지털 범죄 수사 절차 모델링 기법에 관한 연구)

  • Lee Seok-Hee;Shin Jae-Lyong;Lim Kyoung-Soo;Lee Sang-Jin
    • Proceedings of the Korea Institutes of Information Security and Cryptology Conference
    • /
    • 2006.06a
    • /
    • pp.397-402
    • /
    • 2006
  • 디지털 범죄 수사 능력은 디지털 포렌식 기술 개발 뿐만 아니라 정책적인 수사체계가 얼마나 잘되어 있느냐에 따라 달라진다. 점차 다양화 되고 지능화 되어가는 디지털 범죄를 수사하기 위해서는 디지털 범죄 수사 체계 모델링이 필요하다. 따라서 본고에서는 디지털 범죄의 종류와 그에 적합한 수사 절차를 언급하고, UML(Unified Modeling Language)을 이용하여 디지털 범죄 수사 절차를 체계화하고 모델링하는 방법을 제시하고자 한다.

  • PDF

Design and Implementation of a Java-Based CASE Tool for Supporting UML Notation (Java 기반으로 작성된 UML 표기법 지원 CASE 도구의 설계 및 구현)

  • 이훈기;김태균;윤석진
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 1998.10b
    • /
    • pp.475-477
    • /
    • 1998
  • 객체 지향 기법의 확산으로 인하여 많은 객체 지향 표기법과 객체 지향 CASE(Computer Aided Software Engineering) 도구가 발표되고 있다. 특히 1995년 이후로 Booch, Rumbaugh 그리고 Jacobson에 의하여 정의되어 계속적인 정제 과정을 거치고 있는 UML(Unified Modeling Language)은 OMG(Object Management Group)에 의하여 객체 지향 표기법의 표준안으로 채택될 가능성이 높은 가장 우수한 표기법으로 지목되고 있다. 본 논문에서는 기존에 가지고 있었던 OMT(Object Modeling Technique) 지원 도구인 OODesigner의 개발 경험을 이용하여 새로히 설계 구현한 UML 지원 CASE 도구인 AOModeler의 개발 결과를 제시한다. 기존에 존재하는 대부분의 CASE 도구들은 플랫폼에 의존적인 구현 언어로 작성되어 있기 때문에 이식성이 매우 부족하였다. 따라서 도구 개발자는 PC용 도구와 Unix용 도구를 따로 개발할 수밖에 없었다. 이식성과 관련한 문제점을 해결하기 위해서 본 논문에서는 Java 언어로 AOModeler를 구현하였다. 더욱이 C++로 기존에 구현한 OODesiner의 설계 문서와 원시 코드를 재사용하는 방식으로 본 도구를 구현하였기 때문에 생산성 있는 도구 개발을 이룰 수 있었다.

UM[L Used XML Schema Modeling Tool (UML을 이용한 XML Schema 모델링 도구에 관한 연구)

  • 고혜경;조윤기;조정길;이병렬;구연설
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2002.04b
    • /
    • pp.436-438
    • /
    • 2002
  • XML 스키마가 등장하면서 DTD로는 할 수 없었던 부분이 스키마를 이용하여 세밀하게 설계한 수 있게 되었고, XML 스키마 설계가 DTD보파 한층 더 복잡하게 되었기 때문에 스키마 모델링이 중요한 문제로 대두된다. XML 스키마가 객체지향적이기 때문에 객체지향 설계의 표준인 UML(Unified Modeling Language)을 XML 스키마 설계에 이용한다. 본 논문은 XML 스키마 설계 후 응용 프로그램 개발 기반에서 개발을 시작하는 전반적인 응용 프로그램 개발 과정을 통하여 개발자에게 XML 스키마를 설계하고 바로 응용 프로그램 개발에 들어갈 수 있는 개발 방법을 제공하려고 한다. 본 논문은 OOAD UML Modeler를 이용하여 XML 스키마를 도입한 XML 기반의 XML CASE 툴을 설계하려고 한다. 이 XML CASE 툴은 DTD 기반의 XML 응용 프로그램 개발에서의 문제점을 XML 스키마를 도입함으로써 해결하고, 개발 단계에서 개발자가 XML 스키마를 설계하도록 제안하였다.

  • PDF

Development of M&S Model for Helicopter Rotor Blades Dynamic Analysis using Modelica (Modelica를 이용한 헬기 로터 블레이드 동적해석 M&S 모델 개발)

  • Park, Joongyong
    • Journal of the Korean Society of Systems Engineering
    • /
    • v.11 no.2
    • /
    • pp.75-83
    • /
    • 2015
  • This paper describes modeling & simulation(M&S) model for dynamic analysis of helicopter rotor blades. Simulation model is developed using Dymola tool which implements the open source language - Modelica. Modelica is appropriate for developing multibody dynamic analysis model. To develop an M&S model efficiently, model based systems engineering(MBSE) is applied. Some diagrams such as requirement diagram, block definition diagram and sequence diagram etc. are drawn to capture the concept of M&S model. This activity is done utilizing the open source tool - Papyrus.

A Proposal of Multimedia Retrieval System and XML Meta-data Modeling Techniques (XML 메타데이터 모델링기법과 멀티미디어 검색시스템의 제안)

  • 윤미희;조동욱
    • Proceedings of the Korea Contents Association Conference
    • /
    • 2003.05a
    • /
    • pp.393-398
    • /
    • 2003
  • Video which contains the multiple data such as text, images, audio and motion of objects is typical multimedia data. Multimedia retrieval system using XML is essential for efficient rep. of multimedia data. Therefore, multimedia retrieval system for retrieval and structural understanding is needed to retrieve the multimedia data. This Paper Proposes the multimedia retrieval system based on XML Meta-data modeling techniques.

  • PDF

Object-Oriented Modeling for Implementing Voltage Stability Analysis Program (전압 안정도 해석 프로그램 개발을 위한 객체지향 모델링)

  • Gil, H.S.;Kim, J.H.;Shin, M.C.;Cho, I.S.;Kweon, M.H.;Lee, C.M.
    • Proceedings of the KIEE Conference
    • /
    • 2000.07a
    • /
    • pp.322-324
    • /
    • 2000
  • This paper introduces the concepts of UML(Unified Modeling Language) and the applying this technique for implementing voltage stability analysis program. Conventional function-oriented software development methodologies are inadequate to support further maintenance and enhancement. To overcome drawbacks of these methodologies, this paper proposes applying object-oriented technology for voltage stability evaluation software development. In this paper, a modal analysis approach, a steady-state voltage stability evaluation method, is used and UML is applied to the analysis and design for software development.

  • PDF