文献

J-GLOBAL ID：201302297223790680   整理番号：13A0739181

PLC制御プログラムに対する検証適用範囲の拡張:機能安全性アプローチ

Extending the verification coverage for PLC control programs: a functional safety approach

著者 (3件)： SARMENTO Cleber A. (Univ. Sao Paulo, BRA) ,  SANTOS FILHO Diolino J. (Univ. Sao Paulo, BRA) ,  MIYAGI Paulo E. (Univ. Sao Paulo, BRA)
資料名： Annual Conference of the IEEE Industrial Electronics Society  (Annual Conference of the IEEE Industrial Electronics Society)
巻： 38th Vol.4  ページ： 2833-2838  発行年： 2012年 
JST資料番号： H0475B  ISSN： 1553-572X  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： プログラマブル論理制御器(PLC)は安全性関連に分類される生産システムの制御に適用される最も重要な装置となっている。ハードウェアにおいては信頼性の向上は冗長性,多様性,低故障率のソフトウェアコンポーネントを用いて達成される一方,安全関連ソフトウェアに対しては,これらの進歩は制御プログラムの設計の誤りを低減,あるいは除去するための手法と手順の使用に基づいている。この方向で,IEC61508が確立された。これは先に述べた進歩に大きく寄与する機能安全性の世界的に認められた基準となっている。本論文ではこれまでのアプローチの拡張を提案した。ここではLD(ラダー図)で書かれたPLC制御プログラムは拡張された有限状態機械としてモデル化される。この検証プロセスから,これらの機械の機能的誤り,そして制御プログラムの関連誤りを同定することが可能となる。

シソーラス用語： *プログラマブルコントローラ ,  安全性 ,  有限状態機械 ,  検証 ,  モデリング ,  プログラミング言語 ,  システム ,  *制御プログラム
準シソーラス用語： *PLC【コントローラ】 ,  機能安全性 ,  形式検証 ,  ラダー図 ,  加熱システム

分類 (1件)： 電気式制御機器  (IC02020Y)

タイトルに関連する用語 (6件)： PLC ,  制御プログラム ,  検証 ,  適用範囲 ,  拡張 ,  機能安全性