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

实时控制系统/软件开发环境

• 批准号: 61580025
• 负责人: 中島 玲二
• 金额: $ 0.64万
• 依托单位: Kyoto University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (C)
• 财政年份: 1986
• 资助国家: 日本
• 起止时间: 1986 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-61580025/
• 关键词: 実行可能仕様言語; 実時間プロセス制御; 様相論理; モジュラー・プログラミング

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

Real-time control of speech, phase logic, and language design The speech is possible, and the speech is not possible. The trial operation of the processing system was successful. (RIMS-558) This speech is time-sensitive, accurate, and conservative. A brief description of the elements and interactions of a complex system Description of the possible changes in the structure, structure, and structure of the system. This speech is used to describe the success of the production process. (RIMS-561)