Safety Case Generation by Model-based Engineering: State of the Art and a Proposal

Fang Yan; Simon  Foster; Ibrahim Habli

Safety Case Generation by Model-based Engineering: State of the Art and a Proposal

Computer Science

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

Abstract

The paper is a review to evaluate the current
techniques for safety case generation using Model-based Engineering.
Safety cases provide an explicit and structured means
for assessing and assuring the safety of complex systems. For
systems developed with Model-based Engineering, safety cases
can be constructed with system models as input and should
evolve hand-in-hand with system models when the system updates.
Model-based Engineering can provide automatic means
for the generation to improve efficiency. But there is not a full
automation solution to cover the entire generation process. This
paper investigates state-of-the-art of Model-based Engineering
applications to safety case generation, explores the challenges
and gaps, and proposes a solution framework to address the gaps
through the model transformation within the Eclipse Modeling
Framework.

Original language	English
Title of host publication	The Eleventh International Conference on Performance, Safety and Robustness in Complex Systems and Applications, proceedings
Publisher	International Academy, Research, and Industry Association
Pages	4-7
Number of pages	4
ISBN (Print)	978-1-61208-840-2
Publication status	Published - 18 Apr 2021
Event	The Eleventh International Conference on Performance, Safety and Robustness in Complex Systems and Applications - , Portugal Duration: 18 Apr 2021 → 22 Apr 2021

Conference

Conference	The Eleventh International Conference on Performance, Safety and Robustness in Complex Systems and Applications
Country/Territory	Portugal
Period	18/04/21 → 22/04/21

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

Safety Case Generation by Model-based Engineering: State of the Art and a Proposal
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, 118 KB

Cite this

@inproceedings{11decc605fa347648cbcd7232f3833fb,

title = "Safety Case Generation by Model-based Engineering: State of the Art and a Proposal",

abstract = "The paper is a review to evaluate the currenttechniques for safety case generation using Model-based Engineering.Safety cases provide an explicit and structured meansfor assessing and assuring the safety of complex systems. Forsystems developed with Model-based Engineering, safety casescan be constructed with system models as input and shouldevolve hand-in-hand with system models when the system updates.Model-based Engineering can provide automatic meansfor the generation to improve efficiency. But there is not a fullautomation solution to cover the entire generation process. Thispaper investigates state-of-the-art of Model-based Engineeringapplications to safety case generation, explores the challengesand gaps, and proposes a solution framework to address the gapsthrough the model transformation within the Eclipse ModelingFramework.",

author = "Fang Yan and Simon Foster and Ibrahim Habli",

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 ; The Eleventh International Conference on Performance, Safety and Robustness in Complex Systems and Applications ; Conference date: 18-04-2021 Through 22-04-2021",

year = "2021",

month = apr,

day = "18",

language = "English",

isbn = "978-1-61208-840-2",

pages = "4--7",

booktitle = "The Eleventh International Conference on Performance, Safety and Robustness in Complex Systems and Applications, proceedings",

publisher = "International Academy, Research, and Industry Association ",

}

Yan, F , Foster, S & Habli, I 2021, Safety Case Generation by Model-based Engineering: State of the Art and a Proposal. in The Eleventh International Conference on Performance, Safety and Robustness in Complex Systems and Applications, proceedings. International Academy, Research, and Industry Association , pp. 4-7, The Eleventh International Conference on Performance, Safety and Robustness in Complex Systems and Applications, Portugal, 18/04/21.

Safety Case Generation by Model-based Engineering: State of the Art and a Proposal. / Yan, Fang ; Foster, Simon ; Habli, Ibrahim.
The Eleventh International Conference on Performance, Safety and Robustness in Complex Systems and Applications, proceedings. International Academy, Research, and Industry Association , 2021. p. 4-7.

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

TY - GEN

T1 - Safety Case Generation by Model-based Engineering

T2 - The Eleventh International Conference on Performance, Safety and Robustness in Complex Systems and Applications

AU - Yan, Fang

AU - Foster, Simon

AU - Habli, Ibrahim

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 - 2021/4/18

Y1 - 2021/4/18

N2 - The paper is a review to evaluate the currenttechniques for safety case generation using Model-based Engineering.Safety cases provide an explicit and structured meansfor assessing and assuring the safety of complex systems. Forsystems developed with Model-based Engineering, safety casescan be constructed with system models as input and shouldevolve hand-in-hand with system models when the system updates.Model-based Engineering can provide automatic meansfor the generation to improve efficiency. But there is not a fullautomation solution to cover the entire generation process. Thispaper investigates state-of-the-art of Model-based Engineeringapplications to safety case generation, explores the challengesand gaps, and proposes a solution framework to address the gapsthrough the model transformation within the Eclipse ModelingFramework.

AB - The paper is a review to evaluate the currenttechniques for safety case generation using Model-based Engineering.Safety cases provide an explicit and structured meansfor assessing and assuring the safety of complex systems. Forsystems developed with Model-based Engineering, safety casescan be constructed with system models as input and shouldevolve hand-in-hand with system models when the system updates.Model-based Engineering can provide automatic meansfor the generation to improve efficiency. But there is not a fullautomation solution to cover the entire generation process. Thispaper investigates state-of-the-art of Model-based Engineeringapplications to safety case generation, explores the challengesand gaps, and proposes a solution framework to address the gapsthrough the model transformation within the Eclipse ModelingFramework.

UR - https://www.thinkmind.org/index.php?view=article&articleid=pesaro_2021_1_20_60005

M3 - Conference contribution

SN - 978-1-61208-840-2

SP - 4

EP - 7

BT - The Eleventh International Conference on Performance, Safety and Robustness in Complex Systems and Applications, proceedings

PB - International Academy, Research, and Industry Association

Y2 - 18 April 2021 through 22 April 2021

ER -

Safety Case Generation by Model-based Engineering: State of the Art and a Proposal

Abstract

Conference

Bibliographical note

Access to Document

Other files and links

Safer Autonomous Systems

Cite this

Safety Case Generation by Model-based Engineering: State of the Art and a Proposal

Abstract

Conference

Bibliographical note

Access to Document

Other files and links

Projects

Safer Autonomous Systems

Cite this