Model-Based Generation of Hazard-Driven Arguments and Formal Verification Evidence for Assurance Cases

Yan, Fang, Foster, Simon David orcid.org/0000-0002-9889-9514, Habli, Ibrahim orcid.org/0000-0003-2736-8238 et al. (1 more author) (2022) Model-Based Generation of Hazard-Driven Arguments and Formal Verification Evidence for Assurance Cases. In: 10th International Conference on Model-Driven Engineering and Software Development. SciTePress, pp. 252-263.

Metadata

Item Type: Proceedings Paper
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:
  • Accepted: 15 November 2021
  • Published: 6 February 2022
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Funding Information:
Funder
Grant number
EUROPEAN COMMISSION
812788
Depositing User: Pure (York)
Date Deposited: 04 Jan 2022 17:10
Last Modified: 17 Sep 2025 04:43
Published Version: https://doi.org/10.5220/0010847300003119
Status: Published
Publisher: SciTePress
Identification Number: 10.5220/0010847300003119
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Accepted Version

Filename: MODELSWARD_2022_Model_based_AC_Generation_Camera_Ready_.pdf

Description: MODELSWARD_2022__Model_based_AC_Generation__Camera_Ready_

CLICK TO DOWNLOAD [thumbnail of MODELSWARD_2022__Model_based_AC_Generation__Camera_Ready_]

Export

Statistics


CORE (COnnecting REpositories)