| 研究課題/領域番号 |
61580025
|
|---|
| 研究機関 | 京都大学 |
|---|
研究代表者 |
中島 玲二 京大, 数理解析研究所, 助教授 (60109080)
|
|---|
| 研究分担者 |
萩谷 昌巳 京都大学, 数理解析研究所, 助手 (30156252)
湯浅 太一 京都大学, 数理解析研究所, 助手 (60158326)
|
|---|
| キーワード | 実行可能仕様言語 / 実時間プロセス制御 / 様相論理 / モジュラー・プログラミング |
|---|
| 研究概要 |
実時間(real-time)プロセス制御システムのモデル記述のため、様相論理に基づいて、仕様記述言語を設計した。この言語は実行可能で、プログラミング言語とも見なせる。かつ、その処理系の試作に成功した。(RIMS-558に発表) この言語は実時間プロセス制御システムのソフトウエアを迅速かつ、正確に開発し、保守するのに役立つ。その意図はシステムをモデル化し動的で複雑な各々の構成要素と、それらの相互作用を、自然かつ簡潔に記述することである。記述したモデルのシミレーション、低レベルコードへの等価変換、コンバイル等が可能なように考虜されている。
この言語を用いて、実際に存在する圧延工場の制御を完全に記述することに成功した。(RIMS-561に発表)
|
