SACM™
Structured Assurance Case Metamodel
This specification defines a metamodel for representing structured assurance cases and a graphical notation for depicting an Assurance Case. An Assurance Case is a set of auditable claims, arguments, and evidence created to support the claim that a defined system/service will satisfy the particular requirements. An Assurance Case is a document that facilitates information exchange between various system stakeholder such as suppliers and acquirers, and between the operator and regulator, where the knowledge related to the safety and security of the system is communicated in a clear and defendable way.
Machine Readable Files
| OMG File ID | URL | Format | Description | Appears in |
|---|---|---|---|---|
| ptc/14-12-08 | ptc/14-12-08.xml | XML | SACM 1.1 SACM_Annex_B_Examples.xml | 1.1 |
| ptc/14-12-05 | ptc/14-12-05.xml | XML | SACM 1.1 RTF SACM-ecore | 1.1 |
| ptc/21-02-07 | SACM/20210218/emof.xml | XML | SACM 2.2 emof file | 2.2 |
| ptc/19-02-35 | SACM/20190235/emof.xml | XML | SACM 2.1 RTF emof model | 2.1 |
| ptc/18-03-01 | SACM/20170843/emof.xml | XML | SACM 2.0 emof model | 2.0 |
| ptc/14-12-11 | SACM/20141101/emof.xmi | XML | UPDATED SACM 1.1 RTF emof.xmi file | 1.1 |
| ptc/12-06-08 | SACM/20120501/SACM.xsd | XML Schema | SACM XSD file | 1.0 |
| ptc/12-05-10 | SACM/20120501/SACM.emof | Eclipse emof | SACM FTF report - EMOF file | 1.0 |
| ptc/12-05-11 | SACM/20120501/SACM.ecore | Eclipse ecore | SACM FTF report - ECORE file | 1.0 |
| ptc/12-06-10 | SACM/20120501/Evidence.xsd | XML Schema | SACM FTF - Evidence XSD | 1.0 |
| ptc/12-06-09 | SACM/20120501/Argumentation.xsd | XML Schema | Argumentation XSD | 1.0 |
Links
- Members Only
- https://www.omg.org/members/spec/SACM/machine-readable
- Contact:
- Send a question ⓘ