• Home
  • Search
  • RELIABILITY VERIFICATION OF TRAIN CONTROL ALGORITHM FOR KOREAN HIGH-SPEED TRAIN
  • Cite Icon1
  • https://doi.org/10.2495/cr001091Copy DOI Icon

RELIABILITY VERIFICATION OF TRAIN CONTROL ALGORITHM FOR KOREAN HIGH-SPEED TRAIN

  • Aug 21, 2000
  • J-W Jeon +4 more
Show More
  • Abstract
  • Literature Map
  • Citations
  • Similar Papers
Abstract

An onboard control system (OBCS) that controls the operation of a high-speed train is a distributed control system that centrally supervises and controls a distributed system of independent units. A complicated process of design, implementation, and test is needed to develop this system. The OBCS and its control algorithm are designed and verified by using the computer-aided software engineering (CASE) tool before it is implemented. Its functions are verified by the OBCS simulator. This paper presents the verification process for the Korean high-speed train.

Similar Papers
  • Conference Article
  • Citations1

Requirements analysis of jewellery system by Case Tools

  • Jun 01, 2010
  • Shou Jiangang +7
  • Research Article
  • Citations35

The Effect of Task and Tool Experience on Maintenance CASE Tool Usage

  • Jul 01, 2003
  • Information Resources Management Journal
  • Mark T Dishaw +1
  • Research Article
  • Citations5

Integrating software modelling and prototyping tools

  • Sep 01, 1987
  • Information and Software Technology
  • Ludwig Slusky
  • Conference Article
  • Citations3

A methodology for verification and analysis of parallel and distributed systems requirements specifications

  • May 17, 1997
  • K Lateef +3
  • Book Chapter

The Effect of Task and Tool Experience on Maintenance CASE Tool Usage

  • Jan 18, 2011
  • Mark T Dishaw +1
  • Supplementary Content
  • Citations89

Job Satisfaction of Information Technology Workers: The Impact of Career Orientation and Task Automation in a CASE Environment

  • Oct 01, 2002
  • Journal of Management Information Systems
  • Mark E Mcmurtrey +3
  • Conference Article

An integrated C programming environment

  • Feb 26, 1990
  • R.J Evans
  • Book Chapter
  • Citations3

Using commercial CASE environments to teach software design

  • Jan 05, 1994
  • Thomas B Horton
  • Conference Article
  • Citations1

MetaBuilder: a generic CASE tool builder

  • Dec 02, 1997
  • Maokai Gong +2
  • PDF
  • Research Article
  • Citations7

Extending Drag-and-Drop Actions-Based Model-to-Model Transformations with Natural Language Processing

  • Sep 29, 2020
  • Applied Sciences
  • Paulius Danenas +2
  • Research Article
  • Citations22

CASE tool for reusable software component storage and retrieval in rapid prototyping

  • Nov 01, 1991
  • Information and Software Technology
  • R Steigerwald +2
  • Research Article
  • Citations8

Critical analysis of tools for computer-aided software engineering

  • Nov 01, 1989
  • Information and Software Technology
  • M Crozier +4
  • Research Article
  • Citations8

Comparison of Three-Dimensional Printing and Computer-aided Engineering in Presurgical Volumetric Assessment of Bilateral Alveolar Clefts.

  • Mar 01, 2020
  • Journal of Craniofacial Surgery
  • Shuxiu Chen +4
  • Book Chapter
  • Citations1

The Ul War Room and Design Prism: A User Interface Design Approach from Multiple Perspectives

  • May 04, 2018
  • Kevin T Simpson
  • Research Article
  • Citations29

CAD TOOLS AND FILE FORMAT PERFORMANCE EVALUATION IN DESIGNING LATTICE STRUCTURES FOR ADDITIVE MANUFACTURING

  • Apr 29, 2018
  • Jurnal Teknologi
  • Abdul Hadi Azman +2
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.