Model Based System Assurance Using the Structured Assurance Case Metamodel
- Submitting institution
-
University of York
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 62777458
- Type
- D - Journal article
- DOI
-
10.1016/j.jss.2019.05.013
- Title of journal
- Journal of Systems and Software
- Article number
- -
- First page
- 211
- Volume
- 154
- Issue
- -
- ISSN
- 0164-1212
- Open access status
- Compliant
- Month of publication
- May
- Year of publication
- 2019
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
4
- Research group(s)
-
-
- Citation count
- 5
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper is based upon work undertaken in collaboration with organisations including Carnegie Mellon University and Lockheeed Martin on the specification for the Structured Assurance Case Metamodel (SACM). This is now issued as a standard by the Object Management Group (OMG), so likely to have significant impact on practice in the assurance of safety related software systems. This paper is the first to publish an explanation of the usage of SACM and to provide mappings to SACM from existing argumentation notations.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -