• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2001년도 Proceedings ICPE 01 2001 International Conference on Power Electronics
• /
• 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.

• 대한전기학회논문지:시스템및제어부문D
• /
• 제50권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.

• 한국통신학회논문지
• /
• 제21권8호
• /
• pp.1937-1947
• /
• 1996

객체 지향 개발 방법을 이용하여 실시간 시스템을 개발할 경우에는 반드시 시간제약 문제를 고려해야 한다. 본 논문에서는 사건의 발생에 따른 시스템의 상태 변이를 상태도로 나타내는 동적 모델에 대한 실시간 규격화로서, OMT와 SDL을 이용한 객체 지향 실시간 시스템 모델링 방법을 제안하였다. 현재 가장 널리 활용되고 있는 OMT방법론의 분석과정에서 생성되는 동적 모델에 실시간 시스템의 시간제약을 반영함으로써 예상시간 도표를 작성하였고, 실시간 예측이 가능하도록 순차 수행, 반복 수행, 병렬 수행에 대한 최대 및 최소 실시간 예측 공식을 제시하였다. 또한, 제안된 방법론을 이용하여 ATM 시스템의 최대 수행 시간을 예측해 보았고 객체 상호 작용 그래프와 SDL의 구문적 표현을 이용하여 ATM 시스템의 사용자 인터페이스에 대한 기능 명세서를 기술하였다.

• 시스템엔지니어링학술지
• /
• 제2권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.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제8권2호
• /
• pp.174-182
• /
• 2002

실시간 시스템이 복잡해짐에 따라 이를 개발하는 과정에서 객체 지향 설계 방법론과 이를 지원하는 CASE 도구들이 널리 사용되고 있다. 그러나 이런 객체 지향 CASE 도구를 사용할 경우, 설계자들은 별도의 과정으로 객체 중심으로 설계된 모델을 실제 수행되는 주체인 태스크로 변환시켜야 한다. 불행하게도 객체 모델과 태스크는 특성이 근본적으로 다르고, 스케줄 가능성을 분석하기가 어렵기 때문에 이러한 과정을 자동화하기는 매우 어렵다. 이 문제를 해결하기 위하여 많은 CASE 도구에서는 개발자가 직접 수동으로 객체를 태스크로 변환시키도록 요구하고 있다. 결과적으로 개발자들은 자신의 경험을 바탕으로 하여 임시 변통적인 방법에 의존하여 태스크를 유도하고 있다. 유도된 태스크 집합은 결과 시스템의 스케줄 가능성에 직접적으로 중요한 영향을 미친다. 본 논문에서는 실시간 객체 지향 설계 모델을 스케줄 가능성을 고려해 다중 스레드 구현으로 자동적으로 변환하는 방법을 제안한다. 본 논문에서 태스크는 다른 주기와 종료시한을 갖는 상호 배타적인 트랜잭션들로 이루어진다. 이러한 새로운 태스크 모델에 대하여 스케줄 가능성 분석 알고리즘을 제시한다. 또한 제안된 방법을 지원하기 위하여 런 타임 시스템과 코드 생성이 어떻게 지원되어야 하는지에 대하여 설명한다. 사례 연구는 단일 태스크 매핑의 부적절성을 보여줌과 함께, 다중 태스크를 수동으로 유도하는 것이 매우 어렵고, 제안된 방법이 실질적으로 유용하다는 것을 명백하게 보여준다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2001년도 하계학술대회 논문집 D
• /
• pp.2687-2689
• /
• 2001

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

• 한국전자통신학회논문지
• /
• 제1권1호
• /
• pp.20-26
• /
• 2006

최근에 급성장하고 있는 실시간 통신 분산 컴퓨팅은 최근에 컴퓨터 응용분야의 하나로서 컴퓨터 과학과 공학 분야에서 급성장하고 있는 한 분야이다. 실시간 객체 지향 분산 컴퓨팅은 분산된 컴퓨터 시스템에서 객체 네트워크의 형태로 구성된 실시간 분산 컴퓨팅이다. 본 논문에서는 TMO 구조를 이용하여 실시간 통신 시뮬레이션 프로그래밍을 하기 위해 DHS(Distributed High-Precision Simulation)라는 응용 환경에 적용하였다. TMO 구조에서 사용되는 시간 구동 및 메시지 구동 구조는 충분한 서비스를 제공하기 위해 데드라인 시간을 보장함으로서 실시간 시뮬레이션 프로그래머의 노력을 줄일 수 있는 이점을 가지고 있다. 데드라인 시간 보장은 프로그래머의 설계 시간을 처음 객체부터 적용하여 보장함으로서 형성될 수 있다. 분산된 객체지향 실시간 통신 시스템에서 TMO 구조를 이용한 다단계 프로그래밍 설계를 함으로서 실시간 통신 프로그래밍을 유연하게 작성할 수 있다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2008년도 춘계학술대회 논문집
• /
• 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.

• 산업경영시스템학회지
• /
• 제22권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.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1997년도 춘계 학술대회 발표집
• /
• 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.