一种可部署于安全关键与信息物理环境系统及工具中可合格化的（元）建模框架构想
软件工程
2021-11-16 v1
摘要
信息物理系统的开发可显著受益于领域特定建模，并需要充分的（元）建模框架。若此类系统为安全关键领域设计，则系统必须经历由认证机构定义并监督的合格化过程。为在无需进一步合格化活动的情况下使用建模工具的产物，该建模工具必须额外合格化。工具合格化须由工具用户执行，并可由工具开发者通过提供合格化产物予以协助。然而，当前最先进的领域特定建模框架几乎不支持用户在合格化过程中的工作，导致大量人工投入。为减少此投入并避免难以以可合格化方式实现的建模构造，我们提出开发一个开源（元）建模框架，其内在考量合格化问题。基于现有框架的功能，我们识别出必须重新思考或更改的组件。这引出了我们框架的以下六大基石：（1）本质元语言，（2）最小运行时，（3）确定性变换，（4）合格化产物生成，（5）精细可视化，以及（6）框架组件的解耦交互。所有这些基石均以各自方式考量安全关键（元）建模框架的方面。此组合形成可用于安全关键系统开发领域的整体框架。
引用
@article{arxiv.2108.04121,
title = {A Concept for a Qualifiable (Meta)-Modeling Framework Deployable in Systems and Tools of Safety-critical and Cyber-physical Environments},
author = {Vanessa Tietz and Julian Schoepf and Andreas Waldvogel and Bjoern Annighoefer},
journal= {arXiv preprint arXiv:2108.04121},
year = {2021}
}
备注
7 pages, 2 figures