文献

J-GLOBAL ID：202002288286094037   整理番号：20A1225011

DO-333標準形式化手法の検討【JST・京大機械翻訳】

Research on Formal Methods of DO-333 Supplement

著者 (3件)： Hao Jifeng (航空工業西安航空計算技術研究所,陜西 西安,710068) ,  Ye Hong (航空工業西安航空計算技術研究所,陜西 西安,710068) ,  Ren Xiaorui (航空工業西安航空計算技術研究所,陜西 西安,710068)
資料名： Hangkong Jisuan Jishu  (Hangkong Jisuan Jishu)
巻： 50  号： 1  ページ： 124-129  発行年： 2020年 
JST資料番号： C2914A  ISSN： 1671-654X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： セキュリティのキーシステムの基本ソフトウェアは,そのセキュリティ認証とソフトウェア信頼性の需要を高めるため,形式的方法を使用する必要がある。組込みオペレーティングシステム,コンパイラ,ネットワーク,およびファイルシステムの形式的検証のケースを研究して,次に,DO-333標準を,ソフトウェアの形式的方法に基づいて引き出した。DO-178Cに基づくDO-333の形式的モデル,形式的解析,およびDO-178Cの典型的プロセス活動,プロセス目標,およびその他の考慮における変化について詳しく説明した。エンジニアリングにおける形式的方法の利点と欠点をまとめた。Data from Wanfang. Translated by JST.【JST・京大機械翻訳】

シソーラス用語： オペレーティングシステム ,  コンパイラ ,  ネットワーク ,  *ソフトウェア ,  システムプログラム ,  セキュリティ ,  認証 ,  ファイルシステム
準シソーラス用語： 形式的検証 ,  ソフトウェア信頼性 , 【Automatic Indexing@JST】

分類 (2件)： 計算機網  (JC03000K) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (2件)： 標準形式 ,  手法