• Proceedings of the Korea Association of Information Systems Conference
• /
• 1997.10a
• /
• pp.413-425
• /
• 1997

실시간 시스템(realtime system)은 외부환경에서 보내진 요구사항(requirement)에 정해진 시간 내에 반응(action)해야만 한다. 시스템의 외부환경은 실세계(real world)의 물리 적인 요소(physical element)가 되며 이러한 물리적인 요소는 객체지향 설계 (object-oriented design) 개념에서 객체(object)이다. 또한 시스템을 설계하는 경우는 객체 지향 방법론을 적용함으로서 보다 명확한 표현이 가능하게 되며 실세계의 물리적인 각 요소 가 부품단위(component units)로 동작하는 형태를 소프트웨어로 설계하는 것이 용이하게 된다. 따라서 본 논문에서는 실시간 시스템설계에서 객체지향 방법을 사용하고, 원시 (source) 소프트웨어의 분석(analysis)과 검증(verification) 및 흐름(flow)를 슬라이스 기법을 사용하여 표현함으로써 시스템의 전체적인 구성을 명확하게 표현하며 클래스(class) 단위로 슬라이스 된 각 부분으로 상속(inheritance)과 메시지 전달(message sending)의 흐름을 파 악할 수가 있다. 그리고, 보다 효율적인 시스템의 외부환경의 오동작 처리 및 시스템 흐름 을 감시 추적(monitoring and tracing)할 수 있도록 슬라이싱 맵을 데이터베이스로 구축하 여 활용하는 방법을 제시한다. 또한 슬라이싱 맵 표현 방벙에 있어서 기존의 표현을 보다 구체적이고 실제적인 표현기호를 제시한다.

• Proceedings of the KIPE Conference
• /
• 2014.11a
• /
• pp.125-126
• /
• 2014

본 논문에서는 실시간 자바를 사용하여 초고압 송전 설비의 제어 및 보호 장치의 구현에 대해 고찰 하고자 한다. 초고압 송전 설비는 대단위 시스템이라서 객체 지향 프로그래밍이 유리하지만, 실시간 운영체제 상에서 고속으로 실시간 동작을 해야 하므로 객체지향 프로그래밍이 모순 된다 할 수 있다. 실시간 자바를 통해서 대형 HVDC 시스템에서 객체 지향 설계의 유연함과 고속 실시간 시스템을 구현 할 수 있는 장점을 동시에 가질 수 있는 방법에 대해 고찰 해 보자.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.6 no.2
• /
• pp.159-168
• /
• 2002

Real-time(RT) object-oriented(OO) distributed computing is a form of RT distributed computing realized with a distributed computer system structured in the form of an object network. Several approached proposed in recent years for extending the conventional object structuring scheme to suit RT applications, are briefly reviewed. Then the approach named the Real Time Simulation Programing(RTSP) structuring scheme was formulated with the goal of instigating a quantum productivity jump in the design of distributed time triggered simulation. The RTSP scheme is intended to facilitate the pursuit of a new paradigm in designing distributed time triggered simulation which is to realize real-time computing with a common and general design style that does not alienate the main-stream computing industry and yet to allow system engineers to confidently produce certifiable distributed time triggered simulation for safety-critical applications. The RTSP structuring scheme is a syntactically simple but semantically Powerful extension of the conventional object structuring approached and as such, its support tools can be based on various well-established OO programming languages such as C+ + and on ubiquitous commercial RT operating system kernels. The Scheme enables a great reduction of the designers efforts in guaranteeing timely service capabilities of application systems.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1998.03a
• /
• pp.6-10
• /
• 1998

RTO(Real-time Object) 모델로 불리는 실시간 객체지향 모델은 컴퓨터에 의해 제어되는 실시간 제어기 및 이의 응용 환경 시뮬레이터를 정밀하게 표현하는데 유용한 모델로 정착되었다. 이 모델은 실시간 분산 컴퓨터 시스템과 이의 응용 환경에 대한 실시간 시뮬레이터를 통합적으로 설계하는데 강력한 표현력을 보여주고 있다. RTO 기반의 접근 방법에 의한 통합 설계는 RTO로 불리는 객체의 네트워크 형태로 표현된다. 본 논문에서는 이와 같은 설계 방법을 자동판두께제어기(Automatic Gauge Controller, AGC)라고 불리는 실시간 분산 시스템의 설계 사례를 통해 제시하고자 한다. AGC 시스템은 압연공정 제어기로서 압연공정 실시간 시뮬레이터의 소재 이송 및 압하 공정을 제어한다. 설계과정을 통해서 실시간 분산 시스템 명세의 추상화 방법에 대하여 논하고, 네트워크의 구축 과정을 통한 시뮬레이션 모델의 정밀한 표현 방법을 제시하며, RTO의 분산구조 및 명확하고 엄밀한 실시간 설계 방법에 대하여 논한다.

• ICROS
• /
• v.4 no.1
• /
• pp.28-32
• /
• 1998

본 글에서는 실시간 분산처리 제어기를 위한 시뮬레이터의 구조를 제시한다. 분산처리 환경에서 각각의 노드 간에 비주기적으로 발생하는 메시지와 주기적으로 발생하는 데이터의 교환을 위한 통신 구조와 가상머신을 이용한 객체지향형 시뮬레이터 구조를 제시하고자 한다. 그리고 제안된 구조의 소프트웨어를 이용하여 PID 제어기를 설계하는 예제를 보여준다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.563-565
• /
• 1999

실시간 시스템은 응용분야의 특성상 높은 신뢰성을 요구하므로 설계시 시스템의 정확성과 안전성을 보장하는 것은 매우 중요하다. 신뢰성 보장을 위한 방법으로 정형기법(formal method)을 이용한 명세 방법이 연구되어 왔다. 정형적인 명세를 사용하는 경우 원하는 시스템의 특성에 대한 검증이 가능하며 자연어로 명세한 경우보다 모호함이 줄어들어 의사소통을 하는데 있어서 명확성을 제공한다. 그러나 이런 장점에도 불구하고 객체 지향 개발 방법론에서의 정형적인 명세에 관한 연구가 미흡하다. 본 논문에서는 객체 지향적 모델을 기반으로 하는 실시간 시스템을 위한 정형명세 언어인 Timed State Chart(TSC)를 제안한다. TSC는 Statecharts와 같은 계층적 상태 기계 모델(state machine model)로서 다양한 시간 제약사항의 명세를 위해 클릭 변수(clock variable)를 도입하여 실시간 객체(Real-Time Object 또는 RTO)를 명세한다. TSC를 이용하여 기존의 연구에서 표현할 수 없었던 주가와 마감시간과 같은 실시간 시스템의 다양한 요구사항을 효과적으로 표현할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.567-569
• /
• 1998

기업내 분산 이기종 시스템들을 통합하는 문제를 해결하기 위해 객체지향개발방법론을 이용해 분석 및 설계를 진행하고 그 결과를 개체 기술을 이용해 구현하려는 노력이 활발하게 진행되고 있다. 그러나 아직까지 객체지향 분석 및 설계에 대한 이해와 경험의 부족으로 인해 실제 업무에서 사용될 수 있는 시스템보다 실험적인 시스템의 개발에만 적용되고 있다. 본 논문에서는 주문자가 공장에 주문한 제품에 대한 생산 및 조달의 현재 상황을 주문자 및 공장에서 실시간으로 모니터링 할 수 있는 실제적인 시스템의 개발을 위한 분석 및 설계에 초점을 맞추고 있다. 이를 위해 UML 방법론을 선택하고 UML을 지원하는 CASE 도구를 이용해 분석 및 설계를 수행했으며, JAVA와 CORBA 기반의 분산 객체 기술을 이용한 시스템 구현을 위해 OMG IDL을 산출물로 획득했다. 본 논문을 통하여 제시된 객체지향 분석 및 설계의 예는 객체지향 개발 방법론을 이용해 분산 객체 시스템을 개발하고자 하는 개발자들에게는 방법론의 안정성 및 실무 적용 경험에 대한 정보를 제공한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.219-221
• /
• 2000

본 논문은 객체 관계형 실시간 DBMS인 Tachyon이 제공하는 데이터 타입과 객체지향 질의의 설계 및 구현을 기술한다. Tachyon은 고성능 데이터 처리를 지원하는 객체 관계형 메모리상주 데이터베이스 시스템(Main-memory resident ORDBMS)로 Tachyon의 데이터 타입과 SQL은 ANSI SQL 3 draft를 기반으로 설계되었으며, 객체 관계형 질의 처리를 위한 OID 데이터 타입을 추가하였다. Tachyon은 클래스 간의 수직적 관계(상속)와 수평적 관계를 정의하고 조작할 수 있는 객체지향 질의를 통하여 융통성있는 데이터 조작이 가능하며, OID를 기반으로 경로식(path expression)을 이용한 향해 질의(navigational query)를 통하여 죠인(join) 비용을 절감하고, index를 통한 인스턴스 접근 등을 통하여 효율적인 데이터베이스 접근을 시도할 수 있다.

• The KIPS Transactions:PartA
• /
• v.10A no.3
• /
• pp.199-206
• /
• 2003

The object-oriented (OO) distributed real-time (RT) programming movement started in 1990´s and is growing rapidly at this turn of the century. Distributed real-time simulation is a field in its infancy but it is bounded to receive steadily growing recognition for its importance and wide applicability. The scheme is called the distributed time-triggered simulation scheme which is conceptually simple and easy to use but widely applicable. A new generation object oriented (OO) RT programming scheme is called the time-triggered message triggered object(TMO) programming scheme and it is used to make specific illustrations of the issues. The TMO structuring scheme is a general-style components structuring scheme and supports design of all types of component including hard real time objects and non real time objects within one general structure.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10a
• /
• pp.248-252
• /
• 2006

최근 무인항공기는 정찰임무를 포함하여, 기상관측, 해상관측 등의 여러 임무로 사용되고 있으며, 점점 활용도가 높아지고 있다. 이러한 무인항공기 제어시스템은 과거에 비해 복잡도가 증가했으며, 보다 정밀한 실시간 제어가 요구되고 있다. 이러한 제어시스템을 위한 객체지향 설계방법론은 복잡한 모델에 대한 분석을 보다 빠르게 해주고, 재사용이 가능한 시스템 구축을 가능하게 해 줄 것이다. 이러한 목적을 위해 본 논문에서는 실시간 객체 모델인 TMO모델을 사용하여 시스템을 설계하고, TMO모델을 지원해 주는 리눅스 기반의 미들웨어를 사용하여 무인항공기 제어 시스템을 구현함으로써, 정밀한 실시간 제어시스템에 대한 TMO모델의 적합성을 판단하고, TMO모델 지원 미들웨어의 성능을 평가해 본다.