The Method for Real-Time Systems Modeling Based On the Object and Temporal Logic


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 5, No. 6, pp. 1522-1536, Jun. 1998
10.3745/KIPSTE.1998.5.6.1522,   PDF Download:

Abstract

In this paper, we present a modeling method for the real-time systems. This method is based on the DARTS(Design Approach for Real-Time Systems) and widely extended to analysis phase. The DARTS method provides a good guideline for the real-time software design, but it uses structures analysis and does not provide a specification language. So, this paper provides extended DARTS modeling techniques to the analysis area based on the objects. Internal behavior of system showed by means of a NPN(Numerical Petri Net) for analysis, and the specification language is provided based on the temporal logic for transition synchronization sequence control. By the example, we identified the proposed method was applied well. And through the reachability graph, we verified whether the deadlocks may occur or not in the analysis phase before the design phase. Thus, it gives easy way to analysis, so that it will lead to the design phase naturally.


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. J. Sool and K. B. Wook, "The Method for Real-Time Systems Modeling Based On the Object and Temporal Logic," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 5, no. 6, pp. 1522-1536, 1998. DOI: 10.3745/KIPSTE.1998.5.6.1522.

[ACM Style]
Kim Jung Sool and Kang Byung Wook. 1998. The Method for Real-Time Systems Modeling Based On the Object and Temporal Logic. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 5, 6, (1998), 1522-1536. DOI: 10.3745/KIPSTE.1998.5.6.1522.