ON A FORMALIZATION OF REAL-TIME PROGRAMS.

Wagner Chiepa Cunha, Masafumi Yamashita, Tadashi Ae

研究成果: Contribution to journalArticle査読

抄録

We propose a new model for real-time programs. A set of concurrent processes executed by a time-shared single processor interacts with a set of input tapes and a set of output tapes representing their environment. Processes access their tapes through reading heads and writing heads. The distinctive feature of our model is the way the movement of heads is controlled. Their movement is not controlled by programs. Instead, they move unidirectionally scanning the tapes according to the flow of time. Stimuli for a process (responses by a process) are modeled as a sequence of symbols, representing data, interspersed with sequences of a special symbol representing time intervals separating successive stimuli (responses). We define important properties of real-time programs including data overrun, deadlock and correctness, and show an example of verification of these properties for a small and typical real-time program.

本文言語英語
ページ(範囲)866-876
ページ数11
ジャーナルTransactions of the Institute of Electronics and Communication Engineers of Japan. Section E
E69
8
出版ステータス出版済み - 8 1986
外部発表はい

All Science Journal Classification (ASJC) codes

  • Engineering(all)

フィンガープリント 「ON A FORMALIZATION OF REAL-TIME PROGRAMS.」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル