• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권7호
• /
• pp.759-767
• /
• 2010

RT-eCos 3.0은 대표적 분산 실시간 객체 모델인 TMO(Time-triggered Message-triggered Object)의 기본적 태스크 모델 실행을 제공하기 위하여 공개소스 eCos 3.0 기반으로 개발된 초경량 경성 실시간 임베디드 운영체제이다. 본 논문에서는 RT-eCos 3.0에서, TMO 표준 분산 IPC인 RMMC(Realtime Multicast & Memeory replication Channel)를 지원하기 위한 설계 및 구현에 대해 기술한다. 또한 RMMC를 사용하는 분산 노드에서 동일 시각을 사용하기 위한 글로벌 타임의 지원 기술에 대해서도 기술한다. 개발된 글로벌 타임 기반의 RMMC는 RT-eCos 3.0과 함께 광역 분산 컴퓨팅 환경에서 동일 시간기반으로 추상화된 고급의 분산 IPC 환경을 제공한다.

• JSTS:Journal of Semiconductor Technology and Science
• /
• 제3권2호
• /
• pp.102-106
• /
• 2003

This paper describes novel low-power high-speed flip-flop called dual edge-triggered NAND keeper flip-flop (DETNKFF). The flip-flop achieves substantial power reduction by incorporating dual edge-triggered operation and by eliminating redundant transitions. It also minimizes the data-to-output latency by reducing the height of transistor stack on the critical path. Moreover, DETNKFF allows negative setup time to provide useful attribute of soft clock edge by incorporating the pulse-triggered operation. The proposed flip-flop was designed using a $0.35{\;}\mutextrm{m}$ CMOS technology. The simulation results indicate that, for the typical input switching activity of 0.3, DETNKFF reduces power consumption by as much as 21 %. Latency is also improved by about 6 % as compared to the conventional flip-flop. The improvement of power-delay product is also as much as 25 %.

• 전기학회논문지
• /
• 제66권9호
• /
• pp.1364-1372
• /
• 2017

In this paper, a problem of event-triggered model predictive control is investigated for continuous-time Takagi-Sugeno (T-S) fuzzy systems with input quantization. To efficiently utilize network resources, event-trigger is employed, which transmits limited signals satisfying the condition that the measurement of errors is over the ratio of a certain level. Considering sampling and quantization, continuous Takagi-Sugeno (T-S) fuzzy systems are regarded as a sector bounded continuous-time T-S fuzzy systems with input delay. Then, a model predictive controller (MPC) based on parallel distributed compensation (PDC) is designed to optimally stabilize the closed loop systems. The proposed MPC optimize the objective function over infinite horizon, which can be easily calculated and implemented solving linear matrix inequalities (LMIs) for every event-triggered time. The validity and effectiveness are shown that the event triggered MPC can stabilize well the systems with even smaller average sampling rate and limited actuator signal guaranteeing optimal performances through the numerical example.

• Journal of Computing Science and Engineering
• /
• 제1권1호
• /
• pp.56-73
• /
• 2007

Demands have been growing in safety-critical application fields for producing networked real-time embedded computing (NREC) systems together with acceptable assurances of tight service time bounds (STBs). Here a service time can be defined as the amount of time that the NREC system could take in accepting a request, executing an appropriate service method, and returning a valid result. Enabling systematic composition of large-scale NREC systems with STB certifications has been recognized as a highly desirable goal by the research community for many years. An appealing approach for pursuing such a goal is to establish a hard-real-time (HRT) component model that contains its own STB as an integral part. The TMO (Time-Triggered Message-Triggered Object) programming scheme is one HRT distributed computing (DC) component model established by the first co-author and his collaborators over the past 15 years. The TMO programming scheme has been intended to be an advanced high-level RT DC programming scheme that enables development of NREC systems and validation of tight STBs of such systems with efforts far smaller than those required when any existing lower-level RT DC programming scheme is used. An additional goal is to enable maximum exploitation of concurrency without damaging any major structuring and execution approaches adopted for meeting the first two goals. A number of previously untried program structuring approaches and execution rules were adopted from the early development stage of the TMO scheme. This paper presents new concrete justifications for those approaches and rules, and also discusses new extensions of the TMO scheme intended to enable further exploitation of concurrency in NREC system design and programming.

• 한국정보처리학회논문지
• /
• 제7권12호
• /
• pp.3804-3814
• /
• 2000

본 논문에서는 실시간 객체 모델인 TMO(Time-triggered Message-triggered Object)에 기반을 둔 실시간 객체지향 프로그램의 시간 제약이 제대로 만족되는가를 시스템 수행 중에 감시하기 위한 모니터의 효과적인 구현 방안에 대하여 논한다. 구현 환경으로 윈도우 OS상의 TMO 프로그램 실행 환경인 WTMOS(Windows TMO System)를 이용하였고, 감시 주체가 되는 수행 시간 모니터의 성능 분석을 위하여 온도 제어를 위한 응용 시스템이 구축되었다. 모니터 대상과 모니터 조건을 TMO 프로그램내에 명시하는 방법과 정의된 모니터의 기능을 WTMOS 내부와 TMO 형태의 응용 객체로 분산시켜서 적은 비용으로 시스템을 구축하는 방법을 제시한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• pp.487-489
• /
• 1998

원자력 발전소와 같이 환경적으로 큰 재난을 가져 올 수 있는 시스템에서는 전체 시스템을 구축하기 전에 구축하고자 하는 시스템의 안전성을 보장할 수 있는지의 여부와 그러한 시스템의 조작자들의 훈련을 위해 실시간 시뮬레이션이 반드시 필요하다. 본 논문에서는 원자력 발전소의 SIS(Safety Injection System)를 실시간 객체 TMO(Time-triggered Message Triggered Model)를 이용 모델링하는 기법과, 분산 실시간 객체 플랫폼인 WTMOS위에서 구현된 SIS 시뮬레이션 시스템에 대해 기술하였다.

• 시스템엔지니어링학술지
• /
• 제13권1호
• /
• pp.1-6
• /
• 2017

A stores management software which is embedded in the stores management system requires high-level reliability and real-time processing. It also required to implement and verify protocols which requires timing constraints to control various weapons. In this paper, we propose design methodology to design a stores management software and its support middleware based on the TMO (Time-triggered Message-triggered Object) model.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (3)
• /
• pp.143-145
• /
• 1999

정시 서비스를 제공하는 실시간 시스템을 설계할 때 일반성을 지니도록 하기 위하여 실시간 객체인 TMO(Time-triggered Message-triggered Object) 모델이 연구되었으며 이러한 객체를 수행하기 위한 객체 모델 수행 플렛폼이 다양한 환경에서 개발되었다. 본 논문에서는 최근 들어 많은 주목을 받고 있는 리눅스 환경에서 설계 및 구현된 미들웨어 형태의 실시간 객체 모델 수행 플렛폼 LTMOS(Linux TMO System)에 대해 기술한다. 응용 프로그램 개발자가 실시간 시스템을 TMO 모델로 디자인하면 LTMOS는 TMO의 메쏘드를 리눅스의 쓰레드로 매핑하여 리눅스 커널의 실시간 스케쥴링을 받도록 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (1)
• /
• pp.226-228
• /
• 2003

TMO 기반 실시간 이동 정보 생성 시뮬레이터는 적시성이 요구되는 이동 시뮬레이터를 위해 TMO (Time-triggered Message-triggered Object) 모델을 사용하여 적시에 이동 결과를 얻어낼 수 있는 도구이다. 이 TMO 기반 실시간 이동 정보 생성 시뮬레이터는 TMO 모델상에 이동구역을 처리하기 위한 맵 구조와 이동되어질 정보의 이동을 위한 간단한 이동 알고리즘을 내장하고 있다. 본 논문은 이러한 TMO 기반 실시간 이동 정보 생성 시뮬레이터의 구성 및 기능에 관하여 기술한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
• /
• pp.566-568
• /
• 1999

본 논문에서는 실시간 시스템의 시간 제약이 제대로 만족되는가를 시스템 수행 중에 감시하는 수행시간 모니터를 구현하기 위한 환경으로 실시간 객체 모델인 TMO(Time-triggered Message-triggered Object) 모델과 Windows 98NT 상의 TMO 프로그램 실행 환경인 WTMOS(Windows TMO System)를 이용한다. 모니터의 대상과 모니터하는 조건을 TMO 프로그램에 명시하는 방법이 연구되었고 정의된 모니터 기능을 WTMOS 내부와 TMO 형태의 응용 객체로 분산시켜서 적은 비용으로 모니터 시스템을 구축하는 효과적인 방법이 개발되었다.