基于模型的系统保证：使用结构化保证案例元模型
软件工程
2024-06-11 v1
摘要
保证案例用于证明对系统关注属性（例如安全性和/或安全性）的信心。安全关键领域中的工业界采用了多种系统保证方法。然而，构建保证案例的任务仍然是一个手动、琐碎且非形式化的过程。结构化保证案例元模型（SACM）是由对象管理组（OMG）指定的标准。SACM 提供了比现有系统保证语言/方法更丰富的特性集。SACM 为基于模型的系统保证提供了基础，这在开放自适应系统等不断增长的技术领域具有巨大潜力。然而，SACM 的预期用途尚未得到充分说明。此外，现有保证案例（模型）与 SACM 模型之间尚无互操作支持。在本文中，我们基于参与 OMG 的 SACM 规范过程，说明了 SACM 的预期用途。此外，为促进基于模型的方法，我们为现有系统保证方法（目标结构化符号和声明-论证-证据）提供符合 SACM 的元模型，以及从这些模型到 SACM 的转换。我们还简要讨论了基于模型的系统保证的工具支持，以帮助从业者从现有系统保证方法过渡到使用 SACM 的基于模型的系统保证。
引用
@article{arxiv.1905.02427,
title = {Model Based System Assurance Using the Structured Assurance Case Metamodel},
author = {Ran Wei and Tim P. Kelly and Xiaotian Dai and Shuai Zhao and Richard Hawkins},
journal= {arXiv preprint arXiv:1905.02427},
year = {2024}
}
备注
45 pages, 41 figures, Accepted by Journal of Systems and Software