Hawkins, Richard David orcid.org/0000-0001-7347-3413, Habli, Ibrahim orcid.org/0000-0003-2736-8238 and Kelly, Tim orcid.org/0000-0002-7385-2031 (2015) The Need for a Weaving Model in Assurance Case Automation. Ada User Journal. pp. 187-191. ISSN 1381-6551
Abstract
In this paper we describe how the automated instantiation of assurance case arguments will require information to be extracted from multiple models of a system and its environment and engineering processes, e.g. safety and verification processes. For this to be done successfully the dependencies between the models must be explicitly, completely and correctly captured. We describe how a model-based approach, model weaving, provides an excellent mechanism for modelling the correspondences that exist between models and discuss how model weaving can be applied in the context of assurance cases.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Depositing User: | Pure (York) |
Date Deposited: | 20 Mar 2017 11:40 |
Last Modified: | 09 Mar 2025 00:05 |
Status: | Published |
Refereed: | Yes |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:113883 |
Download
Filename: hawkinsACVI_journalFormat.docx
Description: hawkinsACVI_journalFormat