Microsoft PowerPoint - DO-178C満たすべきObjectivesとツール資格A.pptx

Size: px

Start display at page:

Download "Microsoft PowerPoint - DO-178C満たすべきObjectivesとツール資格A.pptx"

ゆずさいくのや
5 years ago
Views:

1 RTCA/DO-178C の詳細 ~ 満たすべき Objectives とツール資格について ~ 平成 5 年 1 月 6 日 MHIエアロスペースシステムズ株式会社 -1-

2 1.1 概要 DO-178C とはそのタイトルが Software Considerations in Airborne Systems and Equipment Certification であり RTCA( 航空無線技術委員会 : 米国の航空関連団体 ) が 011 年 1 月 13 日に C 改訂された航空機搭載システム機器を対象としたソフトウェア開発のガイドラインである FAA( 連邦航空局 ) がデジタルコンピュータソフトウェアを認証するにあたり適用を奨励している 013 年 7 月にFAAによりAC0-115Cが発行され DO-178C 及びその補足規格であるDO の適用が定められた --

3 1. 上位文書との関連 Aircraft Function Aircraft System Development Process Safety Assessment Process ARP4761 Safety Requirement System Design System Development Process ARP4754 Functional System H/W and S/W Life-Cycle Process Derived Requirements Requirements H/W Development Life Cycle DO-54 S/W Development Life Cycle DO-178 Implementations -3-

4 1.4 ソフトウェアレベル故障状態のカテゴリ内容ソフトウェアレベル壊滅的 (Catastrophic) 危険 / 非常に重大 (Hazardous/Severe-Major) 重大 (Major) 軽微 (Minor) 影響なし (No Effect) 安全な飛行の続行と着陸が不可能となる故障状態航空機の能力または悪状況により乗務員の対応能力が任務遂行不可まで低下し生命にかかわる負傷者が出るような故障状態航空機の能力または悪状況により乗務員の対応能力が任務遂行の妨げになるほど低下し乗員乗客が不快症状となるような故障状態航空機の安全が著しく低下することはなく乗員は対応能力範囲内で任務を遂行できるような故障状態航空機の操縦能力や乗員負荷に影響しない故障状態 A B C D E -4-

5 1.5 ソフトウェアライフサイクルプロセス DO-178C ではソフトウェアのプロセスとして 3 プロセスを定義しているソフトウェア計画プロセス (Software Planning Process) ソフトウェア開発プロセス (Software Development Process) インテグラルプロセス (Integral Process) -5-

6 1.6 ソフトウェア開発プロセスソフトウェア開発プロセス (Software Development Process) ソフトウェア要求プロセス (Software Requirements Process) ソフトウェア設計プロセス (Software Development Process) ソフトウェアコーディングプロセス (Software Coding Process) 統合プロセス (Integration Process) -6-

7 1.7 インテグラルプロセスインテグラルプロセス (Integral Process) ソフトウェア検証プロセス (Software Verification Process) ソフトウェア形態管理プロセス (Software Configuration Management Process) ソフトウェア品質保証プロセス (Software Quality Assurance Process) 認証連絡調整プロセス (Certification Liaison Process) -7-

8 1.7 インテグラルプロセスインテグラルプロセス (Integral Process) 今回の焦点ソフトウェア検証プロセス (Software Verification Process) ソフトウェア形態管理プロセス (Software Configuration Management Process) ソフトウェア品質保証プロセス (Software Quality Assurance Process) 認証連絡調整プロセス (Certification Liaison Process) -8-

9 1.8 各プロセスの関係 ( その 1) ソフトウェア計画プロセス (Software Planning Process) 計画標準ソフトウェア開発プロセス (Software Development Process) 計画成果物検証結果インテグラルプロセス (Integral Process) ソフトウェア形態管理プロセス (Software Configuration Management Process) ソフトウェア検証プロセス (Software Verification Process) Reviews/Analyses Testing 認証連絡調整プロセス (Certification Liaison Process) ソフトウェア品質保証プロセス (Software Quality Assurance Process) -9-

10 1.8 各プロセスの関係 ( その ) ソフトウェア開発プロセスとソフトウェア検証プロセスの関係ソフトウェア開発プロセスソフトウェア検証プロセス -10-

11 1.9 ソフトウェアライフサイクルデータ No 名称参照項番 1 ソフトウェア認証計画 (Plan for Software Aspects of Certification).3-1 ソフトウェア開発計画 (Software Development Plan).3-3 ソフトウェア検証計画 (Software Verification Plan) ソフトウェア形態管理計画 (Software Configuration Management Plan) ソフトウェア品質保証計画 (Software Quality Assurance Plan) ソフトウェア要求標準 (Software Requirements Standards) ソフトウェア設計標準 (Software Design Standards) ソフトウェアコード標準 (Software Code Standards) ソフトウェア要求データ (Software Requirements Data) 設計記述 (Design Description) ソースコード (Source Code) 実行可能オブジェクトコード (Executable Object Code) ソフトウェア検証ケース手順 (Software Verification Cases and Procedures) ソフトウェア検証結果 (Software Verification Results) ソフトウェアライフサイクル環境形態索引 (Software Life Cycle Environment Configuration Index) ソフトウェア形態索引 (Software Configuration Index) 不適合報告 (Problem Reports) ソフトウェア形態管理記録 (Software Configuration Management Records) ソフトウェア品質保証記録 (Software Quality Assurance Records) ソフトウェア完了報告 (Software Accomplishment Summary) トレースデータ (Trace Data) 5.-3 パラメータデータ項目ファイル (Parameter Data Item File)

12 1.10 達成すべき Objectives DO-178C は Objective Oriented な規格と言われているソフトウェアレベルに応じて達成すべき Objectives が定義されている Table Process Software Level A B C D A-1 Software Planning Process A- Software Development Process A-3 Verification of Outputs of Software Requirements Process 7(3) 7(3) 6 3 A-4 Verification of Outputs of Software Design Process 13(6) 13(3) 9 1 A-5 Verification of Outputs of Software Coding & Integration Process 9(5) 9(3) 8 1 A-6 Testing of Outputs of Integration Process 5() 5(1) 5 3 A-7 Verification of Verification Process Results 9(9) 7(3) 6 1 A-8 Software Configuration Management Process A-9 Software Quality Assurance Process 5(5) 5(5) 5(5) () A-10 Certification Liaison Process Total 71(30) 69(18) 6(5) 6() カッコ内の数は独立した組織での実施が要求されている項目数である -1-

13 1.10 達成すべき Objectives DO-178C は Objective Oriented な規格と言われているソフトウェアレベルに応じて達成すべき Objectives が定義されている Table Process Software Level A B C D A-1 Software Planning Process A- Software Development Process A-3 Verification of Outputs of Software Requirements Process 7(3) 7(3) 6 3 A-4 Verification of Outputs of Software Design Process 13(6) 13(3) 9 1 A-5 Verification of Outputs of Software Coding & Integration Process 9(5) 9(3) 8 1 A-6 Testing of Outputs of Integration Process 5() 5(1) 5 3 A-7 Verification of Verification Process Results 9(9) 7(3) 6 1 A-8 Software Configuration Management Process 43(5) 6 41(13) A-9 Software Quality Assurance Process 5(5) 5(5) 5(5) () A-10 Certification Liaison Process Total 71(30) 69(18) 6(5) 6() カッコ内の数は独立した組織での実施が要求されている項目数である -13-

14 ソフトウェア開発プロセスと検証プロセス (Software Development Process & Verification Process) -14-

15 3.1 プロセスフローソフトウェア開発プロセスソフトウェア検証プロセス ( レビュー / 分析 ) -15-

16 3. ソフトウェア要求プロセス -16-

17 3.. レビュー / 分析 ( 上位要求 ) 目的活動適用成果物形態管理カテゴリ内容参照参照 A B C D 名称参照 A B C D 1 ソフトウェア上位要求はシステム要求を遵守しているソフトウェア上位要求は正確であり一貫している Compliance 3 ソフトウェア上位要求はターゲットコンピュータと整合している 4 ソフトウェア上位要求は検証可能である 5 ソフトウェア上位要求は標準に準拠している 6 ソフトウェア上位要求はシステム要求にトレース可能である 6.3.1a ソフトウェア検証結果 6.3.1b ソフトウェア検証結果 Accuracy & Consistency HW Compatibility Verifiability Conformance Traceability 6.3.1c ソフトウェア検証結果 6.3.1d ソフトウェア検証結果 6.3.1e ソフトウェア検証結果 6.3.1f ソフトウェア検証結果 7 アルゴリズムが正確である 6.3.1g ソフトウェア検証結果 Algorithm Accuracy : 実施 : 独立した組織が実施 1: カテゴリ 1 : カテゴリ -17-

18 3.3 ソフトウェア設計プロセス -18-

19 3.3. レビュー / 分析 ( 下位要求 ) 目的活動適用成果物形態管理カテゴリ内容参照参照 A B C D 名称参照 A B C D 1 ソフトウェア下位要求はソフトウェア上位要求を遵守している Compliance ソフトウェア下位要求は正確であり一貫性がある 3 ソフトウェア下位要求はターゲットコンピュータと整合している 4 ソフトウェア下位要求は検証可能である 5 ソフトウェア下位要求は標準に準拠している 6 ソフトウェア下位要求はソフトウェア上位要求にトレース可能である 6.3.a 6.3. ソフトウェア検証結果 6.3.b 6.3. ソフトウェア検証結果 Accuracy & Consistency 6.3.c 6.3. HW Compatibility Verifiability Conformance Traceability 6.3.d 6.3. ソフトウェア検証結果ソフトウェア検証結果 6.3.e 6.3. ソフトウェア検証結果 6.3.f 6.3. ソフトウェア検証結果 7 アルゴリズムは正確である 6.3.g 6.3. ソフトウェア検証結果 Algorithm Accuracy : 実施 : 独立した組織が実施 1: カテゴリ 1 : カテゴリ -19-

20 3.3. レビュー / 分析 ( ソフトウェア構造 ) 目的活動適用成果物形態管理カテゴリ内容参照参照 A B C D 名称参照 A B C D 8 ソフトウェア構造はソフトウェア上位要求と整合している 6.3.3a ソフトウェア構造は一貫性がある 6.3.3b ソフトウェア構造はターゲットコンピュータと整合している 11 ソフトウェア構造は検証可能である 1 ソフトウェア構造は標準に準拠している Compatibility Consistency 6.3.3c HW Compatibility 6.3.3d Verifiability 6.3.3e Conformance ソフトウェア検証結果ソフトウェア検証結果ソフトウェア検証結果ソフトウェア検証結果ソフトウェア検証結果ソフトウェアパーティショニングの完全性が確認されている 6.3.3f ソフトウェア検証結果 Partition Integrity : 実施 : 独立した組織が実施 1: カテゴリ1 : カテゴリ -0-

21 3.4 ソフトウェアコーディングプロセス -1-

22 3.4. レビュー / 分析 ( ソースコード ) 目的活動適用成果物形態管理カテゴリ内容参照参照 A B C D 名称参照 A B C D 1 ソースコードはソフトウェア下位要求を遵守しているソースコードはソフトウェア構造を遵守している 6.3.4a b ソースコードは検証可能である 6.3.4c ソースコードは標準に準拠している 5 ソースコードはソフトウェア下位要求にトレース可能である 6 ソースコードは正確であり一貫性がある Compliance Compliance Verifiability 6.3.4d Conformance Traceability 6.3.4e f Accuracy & Consistency ソフトウェア検証結果ソフトウェア検証結果ソフトウェア検証結果ソフトウェア検証結果ソフトウェア検証結果ソフトウェア検証結果 : 実施 : 独立した組織が実施 1: カテゴリ 1 : カテゴリ --

23 3.5 統合プロセス -3-

24 3.5. レビュー / 分析目的活動適用成果物形態管理カテゴリ内容参照参照 A B C D 名称参照 A B C D 7 ソフトウェア統合プロセスのアウトプットは完全であり正確である a Complete & Correct ソフトウェア検証結果パラメータデータ項目ファイルは正確であり完全である 6.6.a 6.6 Correct & Complete ソフトウェア検証ケース手順ソフトウェア検証結果パラメータデータ項目ファイルの検証が達成されている 6.6.b 6.6 Verification ソフトウェア検証結果 : 実施 : 独立した組織が実施 1: カテゴリ 1 : カテゴリ -4-

25 3.6 開発プロセスにおける検証ソフトウェア開発プロセスにおける検証プロセス ( レビュー / 分析 ) をまとめると System Requirements High-Level Requirements Software Architecture Low-Level Requirements Source Code Executable Object Code Parameter Data Item File -5-

26 3.6 開発プロセスにおける検証ソフトウェア開発プロセスにおける検証プロセス ( レビュー / 分析 ) をまとめると A-3. Accuracy & Consistency A-3.3 HW Compatibility A-3.4 Verifiability A-3.5 Conformance A-3.7 Algorithm Accuracy A-4.8 Compatibility A-4.9 Consistency A-4.10 HW Compatibility A-4.11 Verifiability Software A-4.1 Conformance Architecture A-4.13 Partition Integrity A-5. Compliance A-5.3 Verifiability A-5.4 Conformance A-5.6 Accuracy & Consistency Source Code System Requirements High-Level Requirements Low-Level Requirements A-4.1 Compliance A-4.6 Traceability A-5.1 Compliance A-5.6 Traceability A-3.1 Compliance A-3.6 Traceability A-4. Accuracy & Consistency A-4.3 HW Compatibility A-4.4 Verifiability A-4.5 Conformance A-4.7 Algorithm Accuracy A-5.8 Correct & Complete A-5.9 Verification A-5.7 Complete & Correct Executable Object Code Parameter Data Item File -6-

27 3.6 開発プロセスにおける検証ソフトウェアレベル A と B の場合 A-3. Accuracy & Consistency A-3.3 HW Compatibility A-3.4 Verifiability A-3.5 Conformance A-3.7 Algorithm Accuracy A-4.8 Compatibility A-4.9 Consistency A-4.10 HW Compatibility A-4.11 Verifiability Software A-4.1 Conformance Architecture A-4.13 Partition Integrity A-5. Compliance A-5.3 Verifiability A-5.4 Conformance A-5.6 Accuracy & Consistency Source Code System Requirements High-Level Requirements Low-Level Requirements A-4.1 Compliance A-4.6 Traceability A-5.1 Compliance A-5.6 Traceability A-3.1 Compliance A-3.6 Traceability A-4. Accuracy & Consistency A-4.3 HW Compatibility A-4.4 Verifiability A-4.5 Conformance A-4.7 Algorithm Accuracy A-5.9 Verification A,B 共に第三者が実施 Aは第三者が実施 A-5.8 Correct & Complete A-5.7 Complete & Correct Executable Object Code Parameter Data Item File -7-

28 3.6 開発プロセスにおける検証ソフトウェアレベル C の場合 A-3. Accuracy & Consistency A-3.4 Verifiability A-3.5 Conformance A-3.7 Algorithm Accuracy A-4.8 Compatibility System Requirements High-Level Requirements A-4.1 Compliance A-4.6 Traceability A-3.1 Compliance A-3.6 Traceability A-4.9 Consistency A-4.1 Conformance A-4.13 Partition Integrity Software Architecture Low-Level Requirements A-4. Accuracy & Consistency A-4.5 Conformance A-4.7 Algorithm Accuracy A-5. Compliance A-5.3 Verifiability A-5.4 Conformance A-5.6 Accuracy & Consistency Source Code A-5.1 Compliance A-5.6 Traceability A-5.8 Correct & Complete A-5.9 Verification A-5.7 Complete & Correct Executable Object Code Parameter Data Item File -8-

29 3.6 開発プロセスにおける検証ソフトウェアレベル D の場合 A-3. Accuracy & Consistency System Requirements A-3.1 Compliance A-3.6 Traceability A-4.13 Partition Integrity High-Level Requirements Software Architecture Low-Level Requirements Source Code A-5.8 Correct & Complete Executable Object Code Parameter Data Item File -9-

30 3.7 トレーサビリティソフトウェア開発プロセスにおけるトレーサビリティ以下の双方向のトレーサビリティを示すトレースデータが作らなければならない (1) ソフトウェアに割り当てられたシステム要求ソフトウェア上位要求 () ソフトウェア上位要求ソフトウェア下位要求 (3) ソフトウェア下位要求ソースコード -30-

31 4. ソフトウェアテストプロセスソフトウェアテストプロセス (Software Test Process) -31-

32 4.1 テストプロセス -3-

33 4. テストの種類 (1) ハードウェア / ソフトウェア統合テスト (Hardware/software Integration Testing) ターゲットコンピュータ上でソフトウェアがソフトウェア上位要求 (High-Level Requirements) を満足していることを保証する () ソフトウェア統合テスト (Software Integration Testing) ソフトウェアコンポーネント間が正しく相互作用しておりソフトウェア要求とソフトウェア構造を満足していることを保証する (3) ソフトウェア下位要求テスト (Low-level Testing) ソフトウェアコンポーネントがソフトウェア下位要求 (Low-Level Requirements) を満足していることを保証する -33-

34 4.3 テストの流れ -34-

35 4.4 要求ベーステストテストは要求ベーステストに重点を置くことすなわちテストケースはソフトウェア要求から作り出すこと (1) ノーマルレンジテスト (Normal Range Test Cases) ノーマルレンジテストの目的は正常な入力状態に対応するソフトウェアの動作を確認することである () ロバストテスト (Robustness Test Cases) ロバストテストの目的は異常な入力状態に対応するソフトウェアの動作を確認することである -35-

36 4.6 テストプロセス目的活動適用成果物形態管理カテゴリ内容参照参照 A B C D 名称参照 A B C D 実行可能オブジェクトコードはソフトウェア上位要求に準拠している実行可能オブジェクトコードはソフトウェア上位要求のロバスト性がある実行可能オブジェクトコードはソフトウェア下位要求に準拠している実行可能オブジェクトコードはソフトウェア下位要求のロバスト性がある実行可能オブジェクトコードはターゲットコンピュータに整合している 6.4.a 6.4.b 6.4.c 6.4.d 6.4.e a a SW 検証ケース手順 SW 検証結果トレースデータ SW 検証ケース手順 SW 検証結果トレースデータ SW 検証ケース手順 SW 検証結果トレースデータ SW 検証ケース手順 SW 検証結果トレースデータ SW 検証ケース手順 SW 検証結果 : 実施 : 独立した組織が実施 1: カテゴリ 1 : カテゴリ

37 4.6 テストプロセステストプロセスをまとめると System Requirements A,B 共に第三者が実施 Aは第三者が実施 D は不要 A-6.1 Compliance A-6. Robustness High-Level Requirements Software Architecture Low-Level Requirements A-6.3 Compliance A-6.4 Robustness Source Code A-6.5 Compliance with Target Executable Object Code Parameter Data Item File -37-

38 4.5 テストカバレッジ分析 (1) 要求ベーステストカバレッジ分析 (Requirements-Based Test Coverage Analysis) ソフトウェア要求の実装がどのくらい検証されているかを明らかにするものである (a) 各ソフトウェア要求に対応するテストケースが存在する (b) テストケースがノーマルレンジテストロバストテストの評価基準を満足していること () 構造カバレッジ分析 (Structural Coverage Analysis) 要求ベーステストにてどのコードが実行されていないかを明らかにするものである (a) ソフトウェアレベルに対応したカバレッジの度合いを確立する (b) ソフトウェアレベル A でかつコンパイラが生成するオブジェクトコードがソースコードに直接トレースしない場合を除いてこの分析はソースコード上で行えばよい (c) この分析はコンポーネント間のデータの結合度制御の結合度についても実行されなければならない -38-

39 4.7 レビュー / 分析 ( テスト ) (1/) 目的活動適用成果物形態管理カテゴリ内容参照参照 A B C D 名称参照 A B C D 1 テスト手順は正しい b SW 検証結果テスト結果は正しく不一致は説明されている c SW 検証結果ソフトウェア上位要求のテストカバレッジが達成されている a SW 検証結果ソフトウェア下位要求のテストカバレッジが達成されている b SW 検証結果 : 実施 : 独立した組織が実施 1: カテゴリ 1 : カテゴリ -39-

40 4.7 レビュー / 分析 ( テスト ) (/) 目的活動適用成果物形態管理カテゴリ内容参照参照 A B C D 名称参照 A B C D 5 ソフトウェア構造のテストカバレッジ (MCDC) が達成されている c a b d SW 検証結果ソフトウェア構造のテストカバレッジ (decision coverage) が達成されている c a b d SW 検証結果ソフトウェア構造のテストカバレッジ (statement coverage) が達成されている c a b d SW 検証結果ソフトウェア構造のテストカバレッジ (data coupling and control coupling) が達成されている d c d SW 検証結果ソースコードとトレースが取れていない追加のコードの検証が達成されている c b SW 検証結果 : 実施 : 独立した組織が実施 1: カテゴリ 1 : カテゴリ -40-

41 4.8 トレーサビリティソフトウェア検証プロセスにおけるトレーサビリティ以下の双方向のトレーサビリティを示すトレースデータが作らなければならない (1) ソフトウェア要求テストケース () テストケーステスト手順 (3) テスト手順テスト結果 -41-

42 ツール資格 (Tool Qualification) 1. ツール開発ライフサイクルの V 字構造. ツール運用要求定義プロセス 3. ツール統合プロセス -4-

43 9. ツール資格 (1/4) 9. ツール資格 (Tool Qualification) 9..1 概要 (1) ツールにより DO-178C のプロセスが省略削除自動化される場合ツールの資格化が必要であるただしツールのアウトプットがソフトウェア検証プロセスにより検証されるのであればその限りでない () 複数の機能を持つツールの場合機能間の保護が立証できれば使用する機能のみを資格化すればよい (3) ツール資格はシステム単位に実施しなければならずあるシステムで既に資格化されているツールを他のシステムで使用する場合も再資格化が必要である -43-

44 9. ツール資格 (/4) 9.. ツールの種類 Criteria 1 : そのツールのアウトプットが航空ソフトウェアの一部となりそれゆえエラーを入り込ませる可能性があるツール Criteria : 検証プロセスを自動化する検証ツールでありそれゆえエラーの検出を誤る可能性があるツールまたそのアウトプットが以下のプロセスの削除省略を正当化するために使用されるツールツールによって自動化されたプロセス以外の検証プロセス航空機ソフトウェアにインパクトを与える開発プロセス Criteria 3 : そのツールの意図した使用の範囲内でエラーの検出を誤る可能性があるツール -44-

45 9. ツール資格 (/4) 9.. ツールの種類 DO-178B における開発ツール Criteria 1 : そのツールのアウトプットが航空ソフトウェアの一部となりそれゆえエラーを入り込ませる可能性があるツール Criteria : 検証プロセスを自動化する検証ツールでありそれゆえエラーの検出を誤る可能性があるツールまたそのアウトプットが以下のプロセスの削除省略を正当化するために使用されるツールツールによって自動化されたプロセス以外の検証プロセス航空機ソフトウェアにインパクトを与える開発プロセス Criteria 3 : そのツールの意図した使用の範囲内でエラーの検出を誤る可能性があるツール DO-178B における検証ツール -45-

46 9. ツール資格 (3/4) 9..3 ツール資格レベル (Tool Qualification Level) Criteria と適用する航空ソフトウェアのソフトウェアレベルの組み合わせでツール資格レベルを設定している Software Level Criteria 1 3 A TQL-1 TQL-4 TQL-5 B TQL- TQL-4 TQL-5 C TQL-3 TQL-5 TQL-5 D TQL-4 TQL-5 TQL-5 開発ツール検証ツール -46-

47 9. ツール資格 (4/4) 9..4 ツール資格の Objectives 参考のために DO-330 Software Tool Qualification Considerations で規定されている各 TQL に対する Objectives の数を下表に示す Table Process TQL T-0 Tool Operational Process 7(3) 7(3) T-1 Tool Planning Process T- Tool Development Process T-3 Verification of Outputs of Tool Requirements Process 9(6) 9(6) T-4 Verification of Outputs of Tool Design Process 11(7) 11(3) T-5 Verification of Outputs of Tool Coding & Integration Process 7(3) T-6 Testing of Outputs of Integration Process 4() 4(1) 4 0 T-7 Verification of Outputs of Tool Testing 9(9) 7(3) 6 0 T-8 Tool Configuration Management Process T-9 Tool Quality Assurance Process 5(5) 5(5) 5(5) () () T-10 Tool Qualification Liaison Process Total 76(35) 74(1) 70(5) 38() 14() カッコ内の数は独立した組織での実施が要求されている項目数である -47-

48 9. ツール資格 (4/4) 9..4 ツール資格の Objectives Table 参考のためにDO-330 Software Tool ツールベンダーのプロセス Qualification Considerationsで規定されている各 TQLに対するObjectivesの数を下表に示す Process TQL T-0 Tool Operational Process 7(3) 7(3) T-1 Tool Planning Process T- Tool Development Process T-3 Verification of Outputs of Tool Requirements Process 9(6) 9(6) T-4 Verification of Outputs of Tool Design Process 11(7) 11(3) T-5 Verification of Outputs of Tool Coding & Integration Process 7(3) T-6 Testing of Outputs of Integration Process 4() 4(1) 4 0 T-7 Verification of Outputs of Tool Testing 9(9) 7(3) 6 0 T-8 Tool Configuration Management Process T-9 Tool Quality Assurance Process 5(5) 5(5) 5(5) () () T-10 Tool Qualification Liaison Process Total 76(35) 74(1) 70(5) 38() 14() ツール利用者のプロセスカッコ内の数は独立した組織での実施が要求されている項目数である -48-

49 3.0 ツール開発ライフサイクルツール開発ライフサイクル (Tool Development Life Cycle) 1. ツール開発ライフサイクルの V 字構造. ツール運用要求定義プロセス 3. ツール統合プロセス -49-

50 3.1 ツール開発ライフサイクルの V 字構造ツール運用検証 / 妥当性確認プロセス (Tool Operational Verification and Validation Process) ツール運用検証 / 妥当性確認プロセス (Tool Operational Verification and Validation Process) ツール運用要求定義プロセス (Tool Operational Requirements Definition Process) ツール運用検証 / 妥当性確認プロセス (Tool Operational Verification and Validation Process) レビュー / 分析 ( ツール運用要求 ) テストツール運用統合プロセス (Tool Operational Integration Process) レビュー / 分析 ( テスト結果 ) ツール開発プロセス (Tool Development Process) ツール要求プロセスツール検証プロセス (Tool Verification Process) レビュー / 分析 ( ツール要求 ) ツール検証プロセス (Tool Verification Process) ツール検証プロセス (Tool Verification Process) ツール設計プロセスレビュー / 分析 ( 下位ツール要求 / ツール構造 ) ツールコーディングプロセスレビュー / 分析 ( ツールソースコード ) テストレビュー / 分析 ( テストケース手順結果 ) ツール統合プロセスレビュー / 分析 ( 統合プロセスの結果 ) -50-

51 3.1 ツール開発ライフサイクルの V 字構造ツール利用者のプロセスツール運用検証 / 妥当性確認プロセス (Tool Operational Verification and Validation Process) ツール運用検証 / 妥当性確認プロセス (Tool Operational Verification and Validation Process) ツール運用要求定義プロセス (Tool Operational Requirements Definition Process) ツール運用検証 / 妥当性確認プロセス (Tool Operational Verification and Validation Process) レビュー / 分析 ( ツール運用要求 ) テストツール運用統合プロセス (Tool Operational Integration Process) レビュー / 分析 ( テスト結果 ) ツール開発プロセス (Tool Development Process) ツール要求プロセスツール検証プロセス (Tool Verification Process) レビュー / 分析 ( ツール要求 ) ツール検証プロセス (Tool Verification Process) ツール検証プロセス (Tool Verification Process) ツール設計プロセスレビュー / 分析 ( 下位ツール要求 / ツール構造 ) ツールコーディングプロセスレビュー / 分析 ( ツールソースコード ) テストレビュー / 分析 ( テストケース手順結果 ) ツール統合プロセスレビュー / 分析 ( 統合プロセスの結果 ) ツールベンダーのプロセス -51-

52 3. ツール運用要求定義プロセスツール運用検証 / 妥当性確認プロセス (Tool Operational Verification and Validation Process) ツール運用検証 / 妥当性確認プロセス (Tool Operational Verification and Validation Process) ツール運用要求定義プロセス (Tool Operational Requirements Definition Process) ツール運用検証 / 妥当性確認プロセス (Tool Operational Verification and Validation Process) レビュー / 分析 ( ツール運用要求 ) テストツール運用統合プロセス (Tool Operational Integration Process) レビュー / 分析 ( テスト結果 ) ツール開発プロセス (Tool Development Process) ツール要求プロセスツール検証プロセス (Tool Verification Process) レビュー / 分析 ( ツール要求 ) ツール検証プロセス (Tool Verification Process) ツール検証プロセス (Tool Verification Process) ツール設計プロセスレビュー / 分析 ( 下位ツール要求 / ツール構造 ) ツールコーディングプロセスレビュー / 分析 ( ツールソースコード ) テストレビュー / 分析 ( テストケース手順結果 ) ツール統合プロセスレビュー / 分析 ( 統合プロセスの結果 ) -5-

53 3..1 ツール運用要求定義プロセスへのインプット MHIエアロスペースシステムズ株式会社 Software Lifecycle Process Tool Lifecycle Process ソフトウェア計画プロセス (Software Planning Process) ツール計画プロセス (Software Planning Process) ソフトウェア計画 (Software Plans) ソフトウェア認証計画ソフトウェア開発計画ソフトウェア検証計画ソフトウェアレ形態管理計画ソフトウェア品質保証計画ツール計画 (Software Plans) ツール資格計画ツール開発計画ツール検証計画ツール形態管理計画ツール品質保証計画ツール運用要求定義プロセス (Tool Operational Requirements Definition Process) ツール運用要求 (Tool Operational Requirements) -53-

54 3.. ツール運用要求定義プロセスへのフロー MHIエアロスペースシステムズ株式会社ツール運用要求定義プロセス Tool Operational Requirements Definition Process ツール運用要求 Tool Operational Requirements レビュー / 分析 ( ツール運用要求 ) Reviews and Analyses of the Tool Operational Requirements ツール運用検証 / 妥当性確認結果 Tool Operational Verification and Validation Results ツール運用要求定義プロセスツール運用要求定義プロセスの成果物ツール運用検証 / 妥当性確認プロセスツール運用検証 / 妥当性確認プロセスの成果物 -54-

55 3..3 レビュー / 分析 ( ツール運用要求 ) 目的 (Objectives) 活動適用 (TQL) 成果物形態管理カテゴリ 4 内容参照参照名称参照ツール運用要求は完全であり正確であり検証可能であり一貫している 6..1.a 6...a ツール運用検証 / 妥当性確認結果ツール運用要求は十分であり正しい 6..1.aa 6...b ツール運用検証 / 妥当性確認結果 : 実施 : 独立した組織が実施 1: カテゴリ 1 : カテゴリ -55-

56 3.3 ツール運用統合プロセスツール運用検証 / 妥当性確認プロセス (Tool Operational Verification and Validation Process) ツール運用検証 / 妥当性確認プロセス (Tool Operational Verification and Validation Process) ツール運用要求定義プロセス (Tool Operational Requirements Definition Process) ツール運用検証 / 妥当性確認プロセス (Tool Operational Verification and Validation Process) レビュー / 分析 ( ツール運用要求 ) テストツール運用統合プロセス (Tool Operational Integration Process) レビュー / 分析 ( テスト結果 ) ツール開発プロセス (Tool Development Process) ツール要求プロセスツール検証プロセス (Tool Verification Process) レビュー / 分析 ( ツール要求 ) ツール検証プロセス (Tool Verification Process) ツール検証プロセス (Tool Verification Process) ツール設計プロセスレビュー / 分析 ( 下位ツール要求 / ツール構造 ) ツールコーディングプロセスレビュー / 分析 ( ツールソースコード ) テストレビュー / 分析 ( テストケース手順結果 ) ツール統合プロセスレビュー / 分析 ( 統合プロセスの結果 ) -56-

57 3.3.1 ツール運用統合プロセスのフローレビュー / 分析 ( テスト結果 ) Review and Analyses of Test Results ツール運用検証 / 妥当性確認結果 Tool Operational Verification and Validation Results テスト ( 運用環境にインストールされたツール実行可能オブジェクトコード ) Review and Analyses of Test Results ツール運用検証 / 妥当性確認ケース手順 Tool Operational Verification and Validation Cases and Procedures ツール運用統合プロセス Tool Operational Integration Process ツール実行可能オブジェクトコード Tool Executable Object Code ツールインストール報告 Tool Operational Requirements ツール運用統合プロセスツール運用統合プロセスの成果物ツール運用検証 / 妥当性確認プロセスツール運用検証 / 妥当性確認プロセスの成果物 -57-

58 3.3.3 ツール運用統合プロセス ( テスト ) 目的 (Objectives) 活動適用 (TQL) 成果物形態管理カテゴリ内容参照参照名称参照ツール運用はツール運用要求に準拠している 6..1.b 6...c ツール運用検証 / 妥当性確認ケース手順ツール運用検証 / 妥当性確認結果ツールによってソフトウェアライフサイクルプロセス 6..1.bb 6...c の要求が満たされているツール運用検証 / 妥当性確認ケース手順ツール運用検証 / 妥当性確認結果

59 1.10 各 TQL で要求されるツール資格データ (1/3) 1. ツール資格連絡プロセスと他のインテグラルプロセスにおけるデータ No 名称 TQL PSAC 内のツール固有情報 (Tool-Specific Information in PSAC) ツール資格計画 (Tool Qualification Plan) 3 ツール開発計画 (Tool Development Plan) 4 ツール検証計画 (Tool Verification Plan) 5 ツール形態管理計画 (Tool Configuration Management Plan) 6 ツール品質保証計画 (Tool Quality Assurance Plan) 7 ツール要求標準 (Tool Requirements Standards) 8 ツール設計標準 (Tool Design Standards) 9 ツールコード標準 (Tool Code Standards) 10 ツールライフサイクル環境形態索引 (Tool Life Cycle Environment Configuration Index) 11 ツール形態索引 (Tool Configuration Index) 1 ツール不適合報告 (Tool Problem Reports) 13 ツール形態管理記録 (Tool Configuration Management Records) 14 ツール品質保証記録 (Tool Quality Assurance Records) 15 ツール完了報告 (Tool Accomplishment Summary) 16 ソフトウェア完了報告内のツール特有情報 (Tool-Specific Information in Software Accomplishment Summary) 17 ソフトウェアライフサイクル環境形態索引内のツール特有情報 (Tool-Specific Information in Software Life Cycle Environment Configuration Index) : ソフトウェアライフサイクルプロセスの成果物にまとめられても良いもの -59-

60 1.10 各 TQL で要求されるツール資格データ (/3). ツール開発プロセスと対応する検証活動の間に作られたツール資格データ No 名称 TQL ツール要求 (Tool Requirements) ツール設計記述 (Tool Design Description) 3 ツールソースコード (Tool Source Code) 4 ツール実行可能オブジェクトコード (Tool Executable Object Code) 5 ツール検証ケース手順 (Tool Verification Cases and Procedures) 6 ツール検証結果 (Tool Verification Results) 7 トレースデータ (Trace Data) -60-

61 1.10 各 TQL で要求されるツール資格データ (3/3) 3. ツール運用要求プロセスとツール運用統合プロセスおよび対応する検証 / 妥当性確認活動の間に作られたツール資格データ No 名称 TQL ツール運用要求 (Tool Operational Requirements) ツールインストール報告 (Tool Installation Report) 3 ツール運用要求検証 / 妥当性確認ケース手順 (Tool Operational Verification and Validation Cases and Procedures) 4 ツール運用要求検証 / 妥当性確認結果 (Tool Operational Verification and Validation Results) -61-

62 まとめ 1. 検証プロセスレビュー / 分析テストから構成されるレビュー / 分析はソフトウェアの設計テストの正当性をその都度点検するプロセス. ツール資格ソフトウェア開発者 ( ツール利用者 ) 自身が資格化する必要があるツールの使い方により Criteria が決定し資格化の難易度が変わる -6-

63 参考文献 RTCA/DO-178C Software Considerations in Airborne Systems and Equipment Certification RTCA/DO-330 Software Tool Qualification Considerations ARP4754A Guidelines for Development of Civil Aircraft and Systems -63-

15288解説_D.pptx

15288解説_D.pptx ISO/IEC 15288:2015 テクニカルプロセス解説 2015/8/26 システムビューロシステムライフサイクル 2 テクニカルプロセス a) Business or mission analysis process b) Stakeholder needs and requirements definieon process c) System requirements definieon