The Need for a Weaving Model in Assurance Case Automation

Research output: Contribution to journalArticlepeer-review


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 languageEnglish
Pages (from-to)187-191
Number of pages5
JournalAda User Journal
Issue number3
Publication statusPublished - Sep 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

Cite this