文献

J-GLOBAL ID：201702253852700440   整理番号：17A0472706

178CとDO278A基準順守のためのチェックリスト【Powered by NICT】

Checklists for compliance to DO-178C and DO-278A standards

著者 (3件)： Jimenez Jose Andres (Computer Science Department, University of Alcala, Spain) ,  Merodio Jose Amelio Medina (Computer Science Department, University of Alcala, Spain) ,  Sanz Luis Fernandez (Computer Science Department, University of Alcala, Spain)
資料名： Computer Standards & Interfaces  (Computer Standards & Interfaces)
巻： 52  ページ： 41-50  発行年： 2017年 
JST資料番号： H0892A  ISSN： 0920-5489  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 航空機搭載系の成長と複雑性は,ソフトウェア認証に特異的な基準の詳細を必要とし,主に安全性と信頼性の特性によるものであった。結果として,これらの要求性能をチェックコンプライアンスを促進する技術を含む対応する検証プロセスを改善することも必要である。本論文の目的は,標準DO178CとDO278Aにより紹介された全側面にコンプライアンスの検証における形式的検査技法としてチェックリストの使用を実現するためのガイドを分析し,開発することである。規範下での研究を詳細に解析し,我々は同定された検証過程に沿って分散アプリケーションとチェックリストのセットを作成した。これらチェックリストは,二つの観点から検証:1通常プロセスの一部として,分野の専門家の意見を通して別した。Copyright 2017 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： 認証 ,  コンプライアンス ,  安全性 ,  信頼性 ,  応用プログラム ,  ソフトウェア ,  *チェックリスト
準シソーラス用語： 規範 ,  要求性能 ,  複雑性 ,  航空機搭載 , 【Automatic Indexing@JST】

著者キーワード (7件)： チェックリスト ,  ソフトウェア ,  目標 ,  プロセス ,  検証 ,  178C ,  278A

分類 (2件)： データ保護  (JD01020V) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (2件)： 順守 ,  チェックリスト