拡張TSチャートによるリアルタイムシステムのタイミング検証

概要

論文の詳細を見る
In this paper we present a systematic method for time verification of real-time systems based Extended TS charts (abbreviated ETS charts). Response times are determined by task processing time, communication/synchronization among tasks and shared resources use. Tasks are executed under time constraints and interact with each other. Therefore we can analyze the response time of a task using task state and events which are allowed by the task state. For given tasks' execution time/timing and time-out value, we use ETS charts to describe the time constraints of each task in the real-time system and establish the timing relations of previouse/post modules. Furthermore, the timing characteristics of cyclic tasks are discussed, and timing relations among the tasks which carry out communication/synchronization or mutually exclusive processing via synch-module (s) are analyzed. Finally, we give an algorithm on the time matrices of ETS charts for detecting whether a task can be executed under the existing time constraints.
東海大学の論文