シーケンス制御システムの設計検証へのペトリネット応用

カテゴリ: 部門大会

論文No: OS4-7

グループ名: 【C】平成26年電気学会電子・情報・システム部門大会講演論文集

発行日: 2014/09/03

タイトル(英語): Design Verification of Sequential Control Systems using Petri Net

著者名: 奥田 誠(神奈川県産業技術センター),水矢 亨(神奈川県産業技術センター),長尾 達明(神奈川県産業技術センター),宮澤 以鋼(神奈川県産業技術センター),高橋 宏治(東京工業大学)

著者名(英語): Makoto Okuda(Kanagawa Industrial Technology Center),Toru Mizuya(Kanagawa Industrial Technology Center),Tatsuaki Nagao(Kanagawa Industrial Technology Center),Iko Miyazawa(Kanagawa Industrial Technology Center),Koji Takahashi(Tokyo Institute of Technology)

キーワード: シーケンス制御|設計検証|ペトリネット|インバリアント|Sequential Control|Design Verification|Petri Net|Invariant

要約(日本語): 近年、シーケンス制御システムでは、その要求内容が高度化したことにより制御内容はますます複雑化し、開発における不具合は増加傾向にある。開発の上流工程で引き起こされた不具合が下流工程で発見されることによって発生する、大きな手戻りが問題である。不具合の原因・発見工程が同じであれば手戻りは小さいが、原因工程より後工程で不具合が発見されると、その間の全工程の不具合箇所について再実施が必要となるため、手戻りは大きくなる。より大きな手戻りを減少させるためには、開発の上流工程である設計段階が原因の不具合を減少させることであり、設計検証を十分に行うことが重要である。本稿では、シーケンス制御システムの設計段階における検証手法の考察およびこれまで筆者らが研究してきたペトリネットのインバリアントを用いた制御系における典型的な処理の構造解析の本検証での応用について示す。

PDFファイルサイズ: 443 Kバイト