4SECURail 案例研究的形式化建模与初步分析
软件工程
2022-03-22 v1
摘要
我们介绍了在 4SECURail 项目背景下开发的案例研究及其形式化建模与分析方法。从系统需求的简单 SysML/UML 行为模型出发，使用三种不同框架（即 UMC、ProB 和 CADP/LNT）开发了三个形式化模型。本文展示了从三种不同视角表示和分析系统的不同方式如何使我们利用由此产生的多样性。
引用
@article{arxiv.2203.10903,
title = {Formal Modeling and Initial Analysis of the 4SECURail Case Study},
author = {Franco Mazzanti and Dimitri Belli},
journal= {arXiv preprint arXiv:2203.10903},
year = {2022}
}
备注
In Proceedings MARS 2022, arXiv:2203.09299