• 検索結果がありません。

はじめに IPA/SEC では ソフトウェア品質説明力を強化すべく様々な観点からの検討を実施してきました その一環として ソフトウェア品質を説明するための手法等について具体的な実施方法 そのための作業量 実施にあたっての課題等を整理し 実際にソフトウェア品質を説明する際の参考とできるようにするために

N/A
N/A
Protected

Academic year: 2021

シェア "はじめに IPA/SEC では ソフトウェア品質説明力を強化すべく様々な観点からの検討を実施してきました その一環として ソフトウェア品質を説明するための手法等について具体的な実施方法 そのための作業量 実施にあたっての課題等を整理し 実際にソフトウェア品質を説明する際の参考とできるようにするために"

Copied!
84
0
0

読み込み中.... (全文を見る)

全文

Loading

図 1.2. D-case editor で利用可能なノードの種類
表 1.1.  用語の日本語訳 2.  Part 3 に関するセーフティケース (GSN 図 )  本 GSN 図の全体構造は以下に示される。 図 2.1.  全体の構造 本 GSN 図は、対象システムである「ドアロックシステム」の安全性を保証する議論が ISO  26262 Part 3 に従って実施されたかどうかを示すものである。 各部分構造について説明をする。 A はトップ構造を示しており、議論の方針を示している。 B は ASIL の決定に関する基準の妥当性に関する議論を示す部分構造である。
図 2.4. Uncontrollability について
図 2.5. Undetectability について
+5

参照

関連したドキュメント

うのも、それは現物を直接に示すことによってしか説明できないタイプの概念である上に、その現物というのが、

本節では本研究で実際にスレッドのトレースを行うた めに用いた Linux ftrace 及び ftrace を利用する Android Systrace について説明する.. 2.1

実際, クラス C の多様体については, ここでは 詳細には述べないが, 代数 reduction をはじめ類似のいくつかの方法を 組み合わせてその構造を組織的に研究することができる

Windows Hell は、指紋または顔認証を使って Windows 10 デバイスにアクセスできる、よ

しかし , 特性関数 を使った証明には複素解析や Fourier 解析の知識が多少必要となってくるため , ここではより初等的な道 具のみで証明を実行できる Stein の方法

生活のしづらさを抱えている方に対し、 それ らを解決するために活用する各種の 制度・施 設・機関・設備・資金・物質・

状態を指しているが、本来の意味を知り、それを重ね合わせる事に依って痛さの質が具体的に実感として理解できるのである。また、他動詞との使い方の区別を一応明確にした上で、その意味「悪事や欠点などを

2Tは、、王人公のイメージをより鮮明にするため、視点をそこ C木の棒を杖にして、とぼと