文献

J-GLOBAL ID：201702242551480528   整理番号：17A1921173

分析ベース安全性監視と検証【Powered by NICT】

Analytics-based safety monitoring and verification

著者 (3件)： Hemmati Hadi (Department of Electrical & Computer Engineering, University of Calgary, Calgary, AB, Canada) ,  Arefin Syed S. (Department of Computer Science, University of Manitoba, Winnipeg, MB, Canada) ,  Siddiqui Taha R. (Department of Computer Science, University of Manitoba, Winnipeg, MB, Canada)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： SMC  ページ： 3608-3613  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 航空,鉄道および自動車などの領域における安全性が重要なシステムはしばしば安全性認証に関する形式的プロセスを受ける。このプロセスの目標は,それらのシステムがユーザ,公共,および環境[1]にリスクもたらすことなく安全に機能することを保証することである。会社は彼らのソフトウェアの認証のための典型的には高価で時間がかかる。,必要なプロセスのどの部分を自動化する試みは非常に評価されている。本研究プロジェクトにおいて,著者らは航空電子機器ドメインにおける産業パートナーと著者らの進行中のプロジェクトは,安全性重要システムのモニタリングと検証に役立つ仕様マイニング,モデルベースの試験,及び分析を結合するためのフレームワークを提案するについて報告した。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件)： 信号,保安  (TC01040Y)

タイトルに関連する用語 (3件)： 分析 ,  安全性監視 ,  検証