• Proceedings of the KIPE Conference
• /
• 2001.10a
• /
• pp.546-551
• /
• 2001

This paper considers the design technique of the real-time control algorithm to implement the electronic interlocking system which is the most important station control system in railway signal field. The proposed technique consists of the structure design and the detail design which are based on the ROOM(Real-Time Object-Oriented Modeling) This proposed technique is applied to the typical station model in order to prove the validity as verifying the performance of the modeled station.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.50 no.9
• /
• pp.439-446
• /
• 2001

This paper considers the design technique of the real-time control algorithm to implement the electronic interlocking system which is the most important station control system in railway signal field. The proposed technique consists of the structure design and the detail design which are based on the ROOM(Real-Time Object-Oriented Modeling). The structure design is designed with a modeling using the heuristic search technique which, at first, catch and make out the specific requested condition, and then, is designed on the requested condition. The detail design can be implemented if it may get the satisfying values through the repetitive modeling after comparing and examining the data obtained from the structure design in order for the more reliable and accurate system to be implemented. The technique proposed in this paper is implemented with C++ language which is easy to be transferred and compatible with the existing interfaces, and also the operating system is designed and simulated on the VRTX which is a real-time operating system. This proposed technique is applied to the typical station model in order to prove the validity as verifying the performance of the modeled station.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.21 no.8
• /
• pp.1937-1947
• /
• 1996

In the case of developing the real-time system using object-oriented method, k the problem of the timing constraints is certainly considered. we propose the method of modeling the object-oriented real-time system using the OMT methodology and the SDL. And we also present the predictable time table that reflects the constraints of real-time system into dynamic model of OMTs and the predicatable time formula of the sequence, repeat, and parallel routine. The proposed method is applied to the estimate of the maximum process time of the ATMs(Automatic teller machines) and is used to specifying the functional specification for the user interface of the ATMs using the SDL syntax and the object interaction graph.

• Journal of the Korean Society of Systems Engineering
• /
• v.2 no.2
• /
• pp.21-26
• /
• 2006

In modern systems technology, increasingly more systems are anticipated to operate in real-time environment. These systems are usually complex to implement since it is not easy to satisfy the real-time requirement for both hardware and software components simultaneously. In this paper, we first review an object-oriented development process that was proposed earlier for software-intensive real-time system using the Unified Modeling Language (UML). We then study how to improve the problems that the UML approach might have. Applying the systems engineering(SE) process yields useful results which include : 1) an improved requirements management over the whole system life-cycle ; 2) a detailed scenario on how to carry out the SE process ; and 3) a conversion process from the text-based requirements to the UML-based graphic ones.

• Journal of KIISE:Computing Practices and Letters
• /
• v.8 no.2
• /
• pp.174-182
• /
• 2002

The object-oriented design methods and their CASE tools are widely used in practice by many real-time software developers. However, object-oriented CASE tools require an additional step of identifying tasks from a given design model. Unfortunately, it is difficult to automate this step for a couple of reasons: (1) there are inherent discrepancies between objects and tasks; and (2) it is hard to derive tasks while maximizing real-time schedulability since this problem makes a non-trivial optimization problem. As a result, in practical object-oriented CASE tools, task identification is usually performed in an ad-hoc manner using hints provided by human designers. In this paper, we present a systematic, schedulability-aware approach that can help mapping real-time object-oriented models to multi-threaded implementations. In our approach, a task contains a group of mutually exclusive transactions that may possess different periods and deadline. For this new task model, we provide a new schedulability analysis algorithm. We also show how the run-time system is implemented and how executable code is generated in our frame work. We have performed a case study. It shows the difficulty of task derivation problem and the utility of the automated synthesis of implementations as well as the Inappropriateness of the single-threaded implementations.

• Proceedings of the KIEE Conference
• /
• 2001.07d
• /
• pp.2687-2689
• /
• 2001

본 연구는 철도 신호분야에서 가장 중요한 역 단위 제어 시스템인 전자 연동 시스템의 실시간 제어 알고리즘 설계 기법을 제안한 것이다. 제안한 기법은 ROOM(Real-Time Object-Oriented Modeling)을 기반으로한 구조설계와 상세설계로 구성된다. 구조 설계는 모델링 휴리스틱기법에 의해 설계되는데 먼저 특정의 요구조건을 포착하여 이해하고, 그 다음에 요구조건을 기반으로 설계된다. 상세 설계는 구조설계에 의한 자료를 비교, 검토한 후 반복적으로 모델링하여 만족할 만한 값을 얻으면 바로의 구현할 수 있도록 설계함으로써 신뢰성있는 시스템 구축과 정확성을 높인다. 기존 환경과의 인터페이스가 편리하며 이식성이 좋은 C++언어로 구현하였으며, 또한 운영시스템은 실시간 운영체제(Real-Time OS)인 VRTX 기반에서 설계, 실행되었다. 제안한 기법은 대표적인 모델역에 대하여 적용하고, 그 성능을 검증함으로써 유용성을 입증하고자 한다.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.1 no.1
• /
• pp.20-26
• /
• 2006

One of the computer application fields which started showing noticeable new growth trends in recent years is the real time communication distributed computing application field. Object -oriented(OO) real time(RT) distributed computing is a form of real-time distributed computing realized with a distributed computer system structured in the form of an object network. In this paper, we describes the application environment as the DHS (distributed high-precision simulation) with TMO structure. The TMO scheme is aimed for enabling a great reduction of the designer's effort in guaranteeing timely service capabilities of distributed computing application systems. It has been formulated from the beginning with the objective of enabling design-time guaranteeing of timely action. In the real time simulation techniques based on TMO object modeling, we have observed several advantages to the TMO structuring scheme. TMO object modeling has a strong traceability between requirement specification and design, cost-effective high-coverage validation, autonomous subsystems, easy maintenance and flexible framework for requirement specification.

• Proceedings of the KSR Conference
• /
• 2008.06a
• /
• pp.384-389
• /
• 2008

In this paper, we propose a UML modeling of ATO on-board software. An automatic train operation (ATO) system is a real-time control system, which operates a train without a manual operation by a driver. For the safe and comfortable service, real-time embedded software for ATO on-board equipment should have both of high performance and reliability. UML-based object-oriented modeling technique is introduced and used widely to design software that satisfies this requirement. We used Rhapsody, which is a modeling tool for real-time embedded software, to model the construction and the behavior of ATO on-board equipment. As a result, ATO on-board software which performs the profile calculation and the real-time speed control is designed and implemented. The brief modeling result including behavioral characteristics and the simulation results are presented.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.22 no.52
• /
• pp.285-295
• /
• 1999

Developing control functions that operate and cooperate each equipment in order to achieve a goal is one of the most important problems in the installation of automated manufacturing systems. This paper discusses the development of a control system for heterarchical architecture and a simulator to verify operations of the control system. The object-oriented paradigm that has excellent reusability, portability, and extensibility is currently being used in many application fields as a software development methodology. Especially, UML(Unified Modeling Language), the third generation object-oriented modeling methodology, has advantages such as model generalization, clearness, and so on. In this research, software objects to accomodate the real time environments of automated manufacturing systems are modeled with the diagrams of UML. Based on these models, control software is developed as a format of pseudo-codes. A simulator is implemented to validate the developed control system.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1997.04a
• /
• pp.23-28
• /
• 1997

We discuss development of a simulator for automated manufacturing systems (AMSs) which have sophisticated automated material handling equipments and complicated work flows. The simulator is designed to satisfy the following requirements. A user should be able to easily configure or specify an AMS through a graphical user interface (GUI) and minimal data input. The user should be able to model diverse and complied control logic for automated material handling systems like automated guided vehicle (AGV) systems, robot workcell systems and conveyor systems as well as complicated job flow program. Real time animation is desired. Finally, the simulator should be easily maintained and extended. To satisfy the requirements, we use an object-oriented paradigm for modeling, designing, and programming of the simulator. We use an object-oriented modeling framework to design the modeling elements library, and take the process interaction approach for scheduling processes and events. To model a user-defined diverse control logic, we also develop a script language and its interpreter. We explain design and implementation strategies. We implement the simulator using Visual C++ 4.2 and Open GL on Windows NT and the Windows95. Some modeling examples will be demonstrated.