この規格 プレビューページの目次
※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。
序章
このドキュメントの目的は、保証ケース構造の用語を定義することです。これにより、保証ケースのインスタンス間の一貫性と比較可能性が向上し、利害関係者のコミュニケーション、エンジニアリングの決定、および保証ケースのその他の使用が促進されます。
このドキュメントは、コンテンツの品質に要件を課すものではありませんが、一貫性のない主観的な用語の使用を避けるために、必要なレベルの精度と詳細で保証ケースの構造と意味を説明しています。
保証ケースに関連するさまざまなアプリケーション領域とトピックに対処する既存の標準は、共通のテーマに対処する際に、異なる用語と概念を使用する可能性があります。このドキュメントは、これらの専門的な標準とガイドラインから引き出された経験に基づいています。
現在、いくつかの表記法とわずかに異なる用語が実際に使用されていますが、このドキュメントでは、グラフィカルな表現を含む特定の具体的な表現を使用する必要はありません。同様に、データの物理的な実装に関する要件もありません。特に、冗長性やコロケーションの要件は含まれていません。
一般に、保証ケースは、安全性、信頼性、保守性、人的要因、操作性、およびセキュリティなどの分野での主張をサポートするために作成されます。それらはシステムのあらゆる特性に適用可能であり、これらの保証ケースは、セーフティ ケースやディペンダビリティ ケースなど、より具体的な名前で呼ばれることがよくあります。 ISO/IEC/IEEE 15026-1 は、保証ケースに関連する概念、用語、背景、および標準のリストを提供します。
このドキュメントでは、ISO/IEC/IEEE 12207, [1] ISO/IEC/IEEE 15288 、 [5] 、および ISO/IEC/IEEE 15289 と一致する用語と概念を使用してい][ ISO/IEC/IEEE 12207 [1]または ISO/IEC/IEEE 15288 [5]と併せて適用されます。
Introduction
The purpose of this document is to define assurance case structure terminology, thereby improving consistency and comparability among instances of assurance cases and facilitating stakeholder communications, engineering decisions, and other uses of assurance cases.
This document does not place requirements on the quality of the contents but describes the structure and meaning of assurance cases with the necessary level of precision and detail so as to avoid inconsistent and subjective use of the terms.
Existing standards addressing different application areas and topics related to assurance cases possibly uses differing terminology and concepts when addressing common themes. This document is based on experience drawn from these specialized standards and guidelines.
While several notations and slightly varying terminologies are currently used in practice, this document does not require the use of any particular concrete representation including graphical representation. Likewise, it places no requirements on physical implementation of the data; in particular, it includes no requirements for redundancy or co-location.
Assurance cases are generally developed to support claims in areas such as safety, reliability, maintainability, human factors, operability, and security. They are applicable to any property of a system. These assurance cases are often called by more specific names, e.g. safety case or dependability case. ISO/IEC/IEEE 15026-1 provides concepts, terminology, background and a list of standards related to assurance cases.
This document uses the terminology and concepts consistent with ISO/IEC/IEEE 12207,[1] ISO/IEC/IEEE 15288,[5] and ISO/IEC/IEEE 15289.[6] This document does not presume or require that it is applied in conjunction with ISO/IEC/IEEE 12207 [1] or ISO/IEC/IEEE 15288 [5].