文献

J-GLOBAL ID：201702226589948293   整理番号：17A1775600

ArChes連続機能図からの成分フォールトツリーの自動生成【Powered by NICT】

ArChes - Automatic generation of component fault trees from continuous function charts

著者 (3件)： Zeller Marc (Siemens AG, Corporate Technology, Otto-Hahn-Ring 6, 81379 Munich, Germany) ,  Hofig Kai (Siemens AG, Corporate Technology, Otto-Hahn-Ring 6, 81379 Munich, Germany) ,  Schwinn Jean-Pascal (Siemens AG, Corporate Technology, Otto-Hahn-Ring 6, 81379 Munich, Germany)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： INDIN  ページ： 577-582  発行年： 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件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (2件)： フォールトツリー ,  自動生成