文献

J-GLOBAL ID：201802253425883041   整理番号：18A1810840

関数ブロック図のための反例可視化と説明【JST・京大機械翻訳】

Counterexample visualization and explanation for function block diagrams

著者 (3件)： Pakonen Antti (VTT Technical Research Centre of Finland Ltd., Espoo, Finland) ,  Buzhinsky Igor (Department of Electrical Engineering and Automation, Aalto University, Espoo, Finland) ,  Vyatkin Valeriy (Department of Electrical Engineering and Automation, Aalto University, Espoo, Finland)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2018  号： INDIN  ページ： 747-753  発行年： 2018年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： モデル検査は,計装と制御システム応用論理を検証するための証明された有効な方法である。検証されたシステムのモデルが仕様を満たさない場合には,故障シナリオはユーザに対して反例トレースとして提示される。トレースが長い場合には,反例の分析は時間がかかり,モデルは大きく,仕様は複雑である。偽反例(偽陰性)はしばしば問題を悪化させる。本論文では,機能ブロック図とLTL特性のモデルをアニメーション化することによって,モデルと仕様の両方における故障の根本を同定することを支援する方法を提示した。また,アニメーションによってLTL特性を可視化するための実用的ツールを導入し,因果関係に基づく重要な値を強調した。実用的な原子力産業プロジェクトで同定された43の実際の設計問題を用いて,特性可視化と説明特徴の有用性を評価した。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アニメーション ,  制御系 ,  *可視化 ,  故障 ,  因果律 ,  *ブロック線図 ,  モデル検査
準シソーラス用語： 機能ブロック ,  偽陰性 ,  *反例 , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (5件)： 関数 ,  ブロック図 ,  反例 ,  可視化 ,  説明