文献

J-GLOBAL ID：201702281208928518   整理番号：17A1773937

認証過程の形式的モデル化【Powered by NICT】

Formal modeling of certification processes

著者 (4件)： Daw Zamira (System Department, United Technologies, Research Center) ,  Eyisi Emeka (System Department, United Technologies, Research Center) ,  Jahangir Ebad (System Department, United Technologies, Research Center) ,  Larsen Jeanne (System Department, UTC Aerospace Systems)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： DASC  ページ： 1-8  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 認証基準の遵守を確保しながら,開発プロセスを最適化し,企業の意思決定を支援するために自動推論を用いた認証プロセスの形式的モデル化のためのアプローチを提案した。手法は認証標準の形式的モデル(満たさなければならない),および実際の開発プロセス(満足か)のモデルの組み合わせで構成された。契約ベース言語を用いて,認証プロセスをモデル化した。SMTソルバ(充足可能性モジュロ理論)を用いて認証を満足するか否か検証し,最適化の可能性を見出すことである。提案されたアプローチは,DO178C下で認定された実際の航空機冷却システムの認証のサブセットをモデル化するために,事例研究を用いて実証した。はこの事例研究で実証された認証基準のモデル化は,新技術を認証するための新しい標準を作る現在の挑戦を満たす助けとなるであろうことが予想される。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】

分類 (3件)： マーケティング  (KA06020W) ,  計算機システム開発  (JD02010R) ,  その他のオペレーションズリサーチの手法  (KA03070E)

タイトルに関連する用語 (3件)： 認証 ,  過程 ,  モデル化