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


Vol. 5,  No. 3, pp. 795-810, Mar.  1998
10.3745/KIPSTE.1998.5.3.795


PDF
  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
  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.

Forms

Search
(IN TITLE, AUTHOR, ABSTRACT,KEYWORDS)

Advanced Search ▼

POPULAR KEYWORDS
(TOP 10 KEYWORDS)

Recent Publications
(LAST 3 YEARS)

Old Journals

Indexing

All publications of TKIPS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

TKIPS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Related Journals