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

Fang Yan; Simon David Foster; Ibrahim Habli; Ran Wei

doi:10.5220/0010847300003119

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

Fang Yan, Simon David Foster, Ibrahim Habli, Ran Wei

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	10th International Conference on Model-Driven Engineering and Software Development
Publisher	SciTePress
Pages	252-263
Number of pages	12
ISBN (Electronic)	9789897585500
DOIs	https://doi.org/10.5220/0010847300003119
Publication status	Published - 6 Feb 2022

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

10.5220/0010847300003119

MODELSWARD_2022__Model_based_AC_Generation__Camera_Ready_
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
Accepted author manuscript, 1.32 MB

Cite this

@inproceedings{ce7daec5a9fb4cb4afd873eeedebbcc9,

title = "Model-Based Generation of Hazard-Driven Arguments and Formal Verification Evidence for Assurance Cases",

author = "Fang Yan and Foster, {Simon David} and Ibrahim Habli and Ran Wei",

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 = "2022",

month = feb,

day = "6",

doi = "10.5220/0010847300003119",

language = "English",

pages = "252--263",

booktitle = "10th International Conference on Model-Driven Engineering and Software Development",

publisher = "SciTePress",

}

TY - GEN

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

AU - Yan, Fang

AU - Foster, Simon David

AU - Habli, Ibrahim

AU - Wei, Ran

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 - 2022/2/6

Y1 - 2022/2/6

UR - https://github.com/uoy-fangyan/modelsward-acgeneration.git

U2 - 10.5220/0010847300003119

DO - 10.5220/0010847300003119

M3 - Conference contribution

SP - 252

EP - 263

BT - 10th International Conference on Model-Driven Engineering and Software Development

PB - SciTePress

ER -

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

Bibliographical note

Access to Document

Other files and links

Safer Autonomous Systems

Cite this

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

Bibliographical note

Access to Document

Other files and links

Projects

Safer Autonomous Systems

Cite this