The Need for a Weaving Model in Assurance Case Automation

Richard David Hawkins; Ibrahim Habli; Tim Kelly

The Need for a Weaving Model in Assurance Case Automation

Richard David Hawkins, Ibrahim Habli, Tim Kelly

Computer Science

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Pages (from-to)	187-191
Number of pages	5
Journal	Ada User Journal
Volume	36
Issue number	3
Publication status	Published - Sept 2015

Bibliographical note

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

Access to Document

hawkinsACVI_journalFormat
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
Submitted manuscript, 3.39 MB

Cite this

@article{a61615d0a47940af9d9c7d5d26c722b9,

title = "The Need for a Weaving Model in Assurance Case Automation",

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.",

author = "Hawkins, {Richard David} and Ibrahim Habli and Tim Kelly",

note = "This is an author-produced version of the published paper. Uploaded in accordance with the publisher{\textquoteright}s self-archiving policy. Further copying may not be permitted; contact the publisher for details",

year = "2015",

month = sep,

language = "English",

volume = "36",

pages = "187--191",

journal = "Ada User Journal",

issn = "1381-6551",

publisher = "Ada-Europe",

number = "3",

}

TY - JOUR

T1 - The Need for a Weaving Model in Assurance Case Automation

AU - Hawkins, Richard David

AU - Habli, Ibrahim

AU - Kelly, Tim

N1 - 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

PY - 2015/9

Y1 - 2015/9

N2 - 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.

AB - 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.

M3 - Article

SN - 1381-6551

VL - 36

SP - 187

EP - 191

JO - Ada User Journal

JF - Ada User Journal

IS - 3

ER -