制御ソフトウェアの差分駆動型設計
スポンサーリンク
概要
- 論文の詳細を見る
A safe modification method is proposed of control program for industrial machines. The program is described by CSP-based notation, and modifications of processes propagate to other processes via shared events. When some conditions are met, the propagation is blocked and effect of the change is limited in local part of process group. In such case, program verification is performed easily when the verification of whole program is time-consuming or impossible. Program model is written in SGML and converted. to verification language PROMERA, propagation tracer Lisp, execution program C and documentation LATEX. Four machines were developed by this method.
- 公益社団法人精密工学会の論文
- 1998-07-05