文献

J-GLOBAL ID：201302220877563060   整理番号：13A1246186

オントロジーに基づくソフトウェア安全性要求のモデリングと検証

Modeling and verification of software safety requirement based on ontology

著者 (4件)： Li Zhen (School of Reliability and Systems Engineering, Beijing Univ. of Aeronautics and Astronautics, Beijing) ,  Liu Bin (School of Reliability and Systems Engineering, Beijing Univ. of Aeronautics and Astronautics, Beijing) ,  Miao Hong (School of Economics and Managment,Jiangsu Univ. of Sci. and Techndogy, Zhenjiang) ,  Yin Yongfeng (School of Reliability and Systems Engineering, Beijing Univ. of Aeronautics and Astronautics, Beijing)
資料名： Beijing Hangkong Hangtian Daxue Xuebao  (Beijing Hangkong Hangtian Daxue Xuebao)
巻： 38  号： 11  ページ： 1445-1449  発行年： 2012年 
JST資料番号： C2402A  ISSN： 1001-5965  CODEN： BHHDE8  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 破滅的事故は,通常,安全性要求に関連し引き起こされる。そして,マニュアルレビューは,ソフトウェア安全性の厳しい検証要求を満たすことができない。従って,ソフトウェア安全性の定義を論じる。ガイドブックによる認識と関連標準を要求検証の知識ベースとして厳しく選ぶ。オントロジーモデルを「7つの段階方法」によって造る。規則を検証を支持するためオントロジーモデルの概念と関係によって正式に記述する。正式モデリングのツールプロトタイプとソフトウェア安全性要求の検証を設計し実現する。そして,ツールプロトタイプをマニュアル検証と自動検証の間の比較実験に使用する。実験の結果は,ツールプロトタイプを使用することが時間消費,検証時間でマニュアル検証よりはるかに優れており,プロトタイプはその上優れた操作性を持つことを示す。Data from the ScienceChina, LCAS. Translated by JST

シソーラス用語： *ソフトウェア ,  オントロジー ,  モデリング ,  手引 ,  プロトタイプ ,  知識ベース ,  比較試験
準シソーラス用語： ガイドブック ,  実験結果 ,  比較実験

分類 (1件)： 飛しょう体の設計・構造  (QK04010H)

タイトルに関連する用語 (5件)： オントロジー ,  ソフトウェア ,  安全性 ,  モデリング ,  検証