Weaving an Assurance Case from Design: A Model-Based Approach

Hawkins, Richard orcid.org/0000-0001-7347-3413, Habli, Ibrahim orcid.org/0000-0003-2736-8238, Kolovos, Dimitrios S. orcid.org/0000-0002-1724-6563 et al. (2 more authors) (2015) Weaving an Assurance Case from Design: A Model-Based Approach. In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015. IEEE , pp. 110-117.



Copyright, Publisher and Additional Information: © 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. Published version: 10.1109/HASE.2015.25
Keywords: formal verification, safety-critical software, assurance design, assurance process models, automation, meta-models, model-based assurance approach, model-based assurance case, model-driven engineering, safety cases, structured model, transformation, validatin, weaving model, Analytical models, Automation, Control systems, Cryptography, Weaving, arguments, assurnace cases, weaving
  • Published: January 2015
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 09 Jun 2016 15:43
Last Modified: 06 Dec 2023 09:55
Published Version: https://doi.org/10.1109/HASE.2015.25
Status: Published
Publisher: IEEE
Refereed: No
Identification Number: https://doi.org/10.1109/HASE.2015.25
Related URLs:


Filename: HASE15_Hawkins_Submitted.pdf

Description: HASE15_Hawkins_Submitted