計画に基づくタスク・スケジューリングを用いた高信頼システム構築環境TACT

抄録

This paper proposes TACT, an environment to construct reliable systems where periodic tasks are dominant. TACT provides a planning based task scheduling mechanism, which enables the master machine to duplicate its task plan on the slave machine in run-time. Through the duplication, tasks on the slave machine get equivalent to those on the master machine. TACT allows two machines to stand-by alternately. The paper describes the concept, functions, and implementation of TACT. It also shows application of TACT to a steel mill control system.