この規格 プレビューページの目次
※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。
3 用語、定義および略語
3.1 用語と定義
このドキュメントの目的のために、ISO/IEC/IEEE 15026-1 および以下に記載されている用語と定義が適用されます。
ISO, IEC, および IEEE は、次のアドレスで標準化に使用する用語データベースを維持しています。
- IEEE 標準辞書オンライン: https://dictionary.ieee.org で入手可能
注記システムおよびソフトウェア工学の分野における追加の用語および定義については、SEVOCAB (システムおよびソフトウェア工学語彙) データベースの「スナップショット」として定期的に公開され、公的にアクセス可能な ISO/IEC/IEEE 24765 [7]を参照してください。 computer.org/sevocab で。
3.1.1
保険事案
所与の文脈の下での具体的な証拠に基づいて、主張に対して説得力のある健全な議論を提供する、監査可能なアーティファクト。
注記1すべての前提が真である場合に結論が真であることが必要な場合に限り，その議論は有効である。議論は、それが有効であり、真の前提のみを含んでいる場合にのみ有効です。
3.1.2
保証事例報告
保証ケース (3.1.1) の主張と、引数の完全なインデックス、および保証ケースの証拠を提供する監査可能なアーティファクトで、対象となる保証ケースをインデックスから組み立てることができます。
注記 1:保証事例報告は、報告フィールド [5.2 c)] にマッピングされる。保証事例レポートは、保証事例の紹介です。その内容は、場合によって異なります。単純および/または小規模な保証ケースの場合、レポートは不要な場合があります。より大規模またはより複雑な保証ケースの場合、レポートには、システムの説明、いくつかの議論、およびその裏付けとなる証拠 (たとえば、より高いレベルの主張とその裏付けとなる証拠) を含めることができます。
注記 2:保証事例レポートは、ライフサイクル段階の終わりなどの事前に合意された時点で、保証事例の定期的な更新として発行されることがよくあります。彼らは、これまでに行われた保証活動の結果、全体的な進捗状況の評価、および保証活動のパフォーマンスのレビューについて報告します。保証事例レポートは、サプライヤーによる段階の出入りの意思決定ゲート、および取得者によるプロジェクトの監視に使用できます。
3.1.3
基本的な仮定
特定の分野の 保証事例 (3.1.1) によって共有される主張の集合における仮定。
注記 1このようなコレクションは、論理における形式システムの一連の公理に対応します。
3.1.4
推論
指定されたコンテキストの下でクレーム (前提) のリストからクレームを導き出す推論ステップ
注記1推論によって導き出された主張は結論であり、推論が結論を導き出す根拠となる主張は前提である。
注記 2:自明な推論と呼ばれる特別な推論があります。 5.3.4 例 2 を参照してください。
3.1.5
財産
物の属性
3.1.6
タイプ
値、要素、または項目のセット
3.1.7
未発達の議論
具体的な引数に置き換えられるプレースホルダ引数
3.2 略語
| CAE | 主張 主張 証拠 |
| GSN | ゴール構造表記法 |
| SACM | 構造化保証ケース メタモデル |
参考文献
| [1] | ISO/IEC/IEEE 12207, システムおよびソフトウェア工学 — ソフトウェア ライフ サイクル プロセス |
| [2] | IEC 62741, ディペンダビリティ要件のデモンストレーション — ディペンダビリティ ケース |
| [3] | ISO/IEC 15026-3:2015, システムおよびソフトウェア工学 — システムおよびソフトウェア保証 — 3: システムの完全性レベル |
| [4] | ISO/IEC/IEEE 15026-4, システムおよびソフトウェア工学 — システムおよびソフトウェア保証 — 4：ライフサイクルにおける保証 |
| [5] | ISO/IEC/IEEE 15288, システムおよびソフトウェア工学 — システム ライフ サイクル プロセス |
| [6] | ISO/IEC/IEEE 15289, システムおよびソフトウェア工学 — ライフサイクル情報項目の内容 (文書) |
| [7] | ISO/IEC/IEEE 24765, システムおよびソフトウェア工学 - 語彙 |
| [8] | Bloomfield RE, Bishop PG, Safety and Assurance Cases: Past, Present, Possible Future"、Safety Critical Systems Symposium, ブリストル、英国、2010 年 2 月 9 ～ 11 日 |
| [9] | セイフティクリティカルシステムズクラブ、アシュアランスケースワーキンググループ。アシュアランス ケース ガイダンス (バージョン 1.1)、SCSC-159, 2021 年 。https: //scsc.uk/r159:1 で入手可能 |
| [10] | Kinoshita Y, Takeyama M, Assurance Case as a Proof in a Theory: To Formulation of Rebuttals, in Assuring the Safety of Systems, Proceedings of the Twenty-first Safety-Critical Systems Symposium, Bristol, UK. Eds: Chris Dale and Tom Anderson 、ISBN 978-1-4810-18647, Amazon の SCSC, 2013 年。 [オンライン] [SCSC-119] として入手可能: https://scsc.uk/Proceeding |
| [11] | Safety-CriticalSystems C lub 、Assurance Case Working Group, Goal Structuring Notation Community Standard バージョン 3, 202https: //scsc.uk/r141C: 1 で入手可能 |
| [12] | オブジェクト管理グループ、構造化保証ケース メタモデル バージョン 2. https://www.omg.org/spec/SACM/2.2/PDF で入手可能 |
| [13] | Adelard LLP, クレーム - 引数 - 証拠。 [オンライン入手先: https://www.adelard.com/asce/choosing-asce/cae.html |
| [14] | Bloomfield R., Netkachova K., bb." In 2014 IEEE International Symposium on Software Reliability Engineering Workshops, pp. 186-191. IEEE, 2014. |
| [15] | Bloomfield R, Fletcher G, Hinde L, Ryan P, Khlaaf H, 自律システムのセーフティ ケース テンプレート 2021 年 2 月、D/1294/87004/1 v4. 2021 年 11 月 12 日にアクセスした https://arxiv.org/pdf/2102.02625.pdf で入手可能。 |
3 Terms, definitions and abbreviated terms
3.1 Terms and definitions
For the purposes of this document, the terms and definitions given in ISO/IEC/IEEE 15026-1 and the following apply.
ISO, IEC and IEEE maintain terminology databases for use in standardization at the following addresses:
- IEEE Standards Dictionary Online: available at https://dictionary.ieee.org
NOTE For additional terms and definitions in the field of systems and software engineering, see ISO/IEC/IEEE 24765,[7] which is published periodically as a"snapshot" of the SEVOCAB (Systems and software Engineering Vocabulary) database and is publicly accessible at computer.org/sevocab .
3.1.1
assurance case
auditable artefact that provides a convincing and sound argument for a claim on the basis of tangible evidence under a given context
Note 1 to entry: An argument is valid if and only if it is necessary that if all of the premises are true, then the conclusion is true. An argument is sound if and only it is valid and contains only true premises.
3.1.2
assurance case report
auditable artefact that provides the claim of an assurance case (3.1.1) and a complete index of the argument and evidence of the assurance case such that the assurance case of interest can be assembled from the index
Note 1 to entry: An assurance case report is mapped to the report field [5.2 c)]. An assurance case report is an introduction to the assurance case. Its content varies from one case to another. For simple and/or small assurance cases a report can be superfluous. For larger or more complex assurance cases the report can include a system description, some of the argument and its supporting evidence e.g. the higher-level arguments and their supporting evidence.
Note 2 to entry: Assurance case reports are often issued as periodic updates to the assurance case at pre-agreed points such as at the end of a life cycle stage. They report on results of assurance activities done so far, an assessment of overall progress and a review of assurance activities’ performance. Assurance case reports can be used at decision gates for stage exit/entry by suppliers and for project monitoring by acquirers.
3.1.3
basic assumption
assumption in a collection of claims shared by assurance cases (3.1.1) in a specific field
Note 1 to entry: Such a collection corresponds to a set of axioms in formal system in logic.
3.1.4
inference
reasoning step that derives a claim from a list of claims (premises) under a specified context
Note 1 to entry: The claim derived by inference is the conclusion, and the supported claims from which the inference derives the conclusion are the premises.
Note 2 to entry: There are special inferences called obvious inferences. See 5.3.4 EXAMPLE 2.
3.1.5
property
attribute of things
3.1.6
type
set of values, elements or items
3.1.7
undeveloped argument
placeholder argument to be replaced by a concrete argument
3.2 Abbreviated terms
| CAE | claims arguments evidence |
| GSN | goal structuring notation |
| SACM | structured assurance case metamodel |
Bibliography
| [1] | ISO/IEC/IEEE 12207, Systems and software engineering — Software life cycle processes |
| [2] | IEC 62741, Demonstration of dependability requirements — The dependability case |
| [3] | ISO/IEC 15026-3:2015, Systems and software engineering — Systems and software assurance — 3: System integrity levels |
| [4] | ISO/IEC/IEEE 15026-4, Systems and software engineering — Systems and software assurance — 4: Assurance in the life cycle |
| [5] | ISO/IEC/IEEE 15288, Systems and software engineering — System life cycle processes |
| [6] | ISO/IEC/IEEE 15289, Systems and software engineering — Content of life-cycle information items (documentation) |
| [7] | ISO/IEC/IEEE 24765, Systems and software engineering — Vocabulary |
| [8] | Bloomfield R.E., Bishop P.G., Safety and Assurance Cases: Past, Present and Possible Future", Safety Critical Systems Symposium, Bristol, UK, 9-11 Feb 2010 |
| [9] | Safety-Critical Systems Club, Assurance Case Working Group. Assurance Case Guidance (Version 1.1), SCSC-159, 2021. Available at https://scsc.uk/r159:1 |
| [10] | Kinoshita Y., Takeyama M., Assurance Case as a Proof in a Theory: towards Formulation of Rebuttals, in Assuring the Safety of Systems, Proceedings of the Twenty-first Safety-Critical Systems Symposium, Bristol, UK., Eds: Chris Dale and Tom Anderson, ISBN 978-1-4810-18647, SCSC on Amazon, 2013. [Online] Available as [SCSC-119] at: https://scsc.uk/Proceeding |
| [11] | Safety-Critical Systems Club,Assurance Case Working Group, Goal Structuring Notation Community Standard Version 3, 2021. Available at https://scsc.uk/r141C:1 |
| [12] | Object Management Group, Structured Assurance Case Metamodel Version 2.2. Available at https://www.omg.org/spec/SACM/2.2/PDF |
| [13] | Adelard L.L.P., Claims-Argument-Evidence. [Online]. Available at: https://www.adelard.com/asce/choosing-asce/cae.html |
| [14] | Bloomfield R., Netkachova K., bb." In 2014 IEEE International Symposium on Software Reliability Engineering Workshops, pp. 186-191. IEEE, 2014. |
| [15] | Bloomfield R., Fletcher G., Hinde L., Ryan P., Khlaaf H., SAFETY CASE TEMPLATES FOR AUTONOMOUS SYSTEMS, Feb. 2021, D/1294/87004/1 v4.0. Available at https://arxiv.org/pdf/2102.02625.pdf , visited on 12 Nov. 2021. |