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.

Abstract

Metadata

Authors/Creators:
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
Dates:
  • 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: 21 Nov 2021 11:18
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:

Download

Filename: HASE15_Hawkins_Submitted.pdf

Description: HASE15_Hawkins_Submitted

Share / Export

Statistics