文献

J-GLOBAL ID：201702283233568537   整理番号：17A1775617

工業プロセス制御システムの実行時間検証のためのフレームワーク【Powered by NICT】

A framework for runtime verification of industrial process control systems

著者 (5件)： Savolainen Roope (Systems Modelling and Simulation, VTT Technical Research Centre of Finland Ltd, Espoo, Finland) ,  Sierla Seppo (Dept. of Electrical Engineering and Automation, Aalto University, Espoo, Finland) ,  Karhela Tommi (Systems Modelling and Simulation, VTT Technical Research Centre of Finland Ltd, Espoo, Finland) ,  Miettinen Tuomas (Systems Modelling and Simulation, VTT Technical Research Centre of Finland Ltd, Espoo, Finland) ,  Vyatkin Valeriy (Dept. of Electrical Engineering and Automation, Aalto University, Espoo, Finland)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： INDIN  ページ： 687-694  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 自動化システム検証に関する重要な研究にもかかわらず,更なる研究を制御する制御ソフトウェア誤差,センサ及びアクチュエータ誤差と同様にプロセスにおける設計誤りをカバーできる自動プロセスの工業的な目盛検証のための方法が必要である。本論文では,このようなアプローチは,プラントの設計プロセス中に形成されたプラントのシミュレーションモデルを用いた実行時検証に関する以前の研究に基づいている。実行時検証のためのフレームワークは,全自動化プロセスよりもむしろ制御ソフトウェアにのみ適用されるキーワード駆動試験に基づいて提案した。オントロジーの使用により,フレームワークは,特別なシミュレータの依存性を解消した。アプローチは,鉱物処理業界からの事例研究で実証した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： センサ ,  シミュレータ ,  シミュレーションモデル ,  制御プログラム ,  キーワード ,  オントロジー ,  アクチュエータ ,  *制御系 ,  事例研究 ,  自動化 ,  プラント
準シソーラス用語： デザインプロセス ,  自動化システム ,  *実行時間 ,  *工業プロセス , 【Automatic Indexing@JST】

分類 (1件)： 人工知能  (JE08000Z)

タイトルに関連する用語 (5件)： 工業 ,  プロセス制御システム ,  実行時間 ,  検証 ,  フレームワーク