Design of the TMO Specification Language C ++T and Development of the C++T - to - C++ Translator


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 5, No. 3, pp. 795-810, Mar. 1998
10.3745/KIPSTE.1998.5.3.795,   PDF Download:

Abstract

Currently, application areas of real-time systems using computers are rapidly increasing. However, development of real-time systems is slow because of the lack of a systematic approach. The heart of the systematic approach is an appropriate model for real-time systems which can abstract temporal and functional behaviors of real-time systems. Many models have been proposed. Among them, the TMO(Time-triggered Message-triggered Object) model developed at UCI satisfies above-mentioned requirements.[1] In this paper, we present the design of the C T language that can specify the TMO model. We have also developed the translator which converts C T specifications into equivalent C codes. We describe the design and implementation of the C T-to-C translator in this paper. Finally, we conclude by describing additional thoughts on the C T specification language.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
K. M. Hae and P. Y. Woo, "Design of the TMO Specification Language C ++T and Development of the C++T - to - C++ Translator," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 5, no. 3, pp. 795-810, 1998. DOI: 10.3745/KIPSTE.1998.5.3.795.

[ACM Style]
Kim Moon Hae and Park Yong Woo. 1998. Design of the TMO Specification Language C ++T and Development of the C++T - to - C++ Translator. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 5, 3, (1998), 795-810. DOI: 10.3745/KIPSTE.1998.5.3.795.