文献

J-GLOBAL ID：201002273094875179   整理番号：10A0781685

工業用制御ロジックコンポーネントの形式仕様および検証

Formal Specification and Verification of Industrial Control Logic Components

著者 (4件)： LJUNGKRANTZ Oscar (Chalmers Univ. Technol., Goeteborg, SWE) ,  AKESSON Knut (Chalmers Univ. Technol., Goeteborg, SWE) ,  FABIAN Martin (Chalmers Univ. Technol., Goeteborg, SWE) ,  YUAN Chengyin (General Motors, MI, USA)
資料名： IEEE Transactions on Automation Science and Engineering  (IEEE Transactions on Automation Science and Engineering)
巻： 7  号： 3  ページ： 538-548  発行年： 2010年07月 
JST資料番号： W1406A  ISSN： 1545-5955  CODEN： ITASC7  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： ロボットや自動化設備はほとんどPLC(programmable loic controller)を使用しているがプログラムの変更が困難で時間がかかる。RAC(reusable automation component)と呼ぶ制御ロジックコンポーネントの定義および検証を行うフレームワークを提案した。RACはモデルをチェックするツールCadence SMVへの入力に自動翻訳され仕様の検証が可能となる。仕様記述言語は工業制御ロジック言語に準拠している。具体的な工業用アプリケーションの3つの適用例を示した。

シソーラス用語： *プログラマブルコントローラ ,  *形式的仕様記述言語 ,  機械翻訳 ,  *モデル検査

分類 (1件)： 応用プログラミング言語  (JD03052Y)

タイトルに関連する用語 (6件)： 工業用制御 ,  ロジック ,  コンポーネント ,  形式 ,  仕様 ,  検証