実時間制御システム・ソフトウェアの開発環境

点击翻译按钮获取中文摘要

実時間(real-time)プロセス制御システムのモデル記述のため、様相論理に基づいて、仕様記述言語を設計した。この言語は実行可能で、プログラミング言語とも見なせる。かつ、その処理系の試作に成功した。(RIMS-558に発表) この言語は実時間プロセス制御システムのソフトウエアを迅速かつ、正確に開発し、保守するのに役立つ。その意図はシステムをモデル化し動的で複雑な各々の構成要素と、それらの相互作用を、自然かつ簡潔に記述することである。記述したモデルのシミレーション、低レベルコードへの等価変換、コンバイル等が可能なように考虜されている。この言語を用いて、実際に存在する圧延工場の制御を完全に記述することに成功した。(RIMS-561に発表)