Welcome to the InfoSci Platform
Reference Hub2
A Composite Safety Assurance Method for Developing System Architecture Using Model Checking

A Composite Safety Assurance Method for Developing System Architecture Using Model Checking

Qiang Zhi, Zhengshu Zhou, Shuji Morisaki
Copyright: © 2021 |Volume: 12 |Issue: 1 |Pages: 16
ISSN: 2640-4265|EISSN: 2640-4273|EISBN13: 9781799863809|DOI: 10.4018/IJSSSP.2021010105
Cite Article Cite Article

MLA

Zhi, Qiang, et al. "A Composite Safety Assurance Method for Developing System Architecture Using Model Checking." IJSSSP vol.12, no.1 2021: pp.78-93. http://doi.org/10.4018/IJSSSP.2021010105

APA

Zhi, Q., Zhou, Z., & Morisaki, S. (2021). A Composite Safety Assurance Method for Developing System Architecture Using Model Checking. International Journal of Systems and Software Security and Protection (IJSSSP), 12(1), 78-93. http://doi.org/10.4018/IJSSSP.2021010105

Chicago

Zhi, Qiang, Zhengshu Zhou, and Shuji Morisaki. "A Composite Safety Assurance Method for Developing System Architecture Using Model Checking," International Journal of Systems and Software Security and Protection (IJSSSP) 12, no.1: 78-93. http://doi.org/10.4018/IJSSSP.2021010105

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

Assurance case helps analyze the system dependability, but the relationships between system elements and assurance case are generally not clearly defined. In order to make system assurance more intuitive and reliable, this paper proposes an approach that clearly defines the relationships between safety issues and system elements and integrates them using ArchiMate. Also, the proposed method applies model checking to system safety assurance, and the checking results are regarded as evidence of assurance cases. This method consists of four steps: interaction visualization, processes model checking, assurance case creation, and composite safety assurance. The significance of this work is that it provides a formalized procedure for safety-critical system assurance, which could increase the confidence in system safety. It would be expected to make the safety of a system easier to explain to third parties and make the system assurance more intuitive and effective. Also, a case study on an automatic driving system is carried out to confirm the effectiveness of this approach.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.