论文标题
4securail案例研究的正式建模和初始分析
Formal Modeling and Initial Analysis of the 4SECURail Case Study
论文作者
论文摘要
我们介绍了在4securail项目的背景下开发的案例研究及其正式建模和分析的方法。从系统要求的简单SYSML/UML行为模型开始，使用三个不同的框架开发了三个正式模型，即UMC，Prob和CADP/LNT。本文展示了如何从三种不同的角度来表示和分析系统的不同方式，使我们能够利用由此产生的多样性。
We present the case study developed in the context of the 4SECURail project and the approach used for its formal modeling and analysis. Starting from a simple SysML/UML behavioral model of the system requirements, three formal models have been developed using three different frameworks, namely UMC, ProB, and CADP/LNT. The paper shows how the different ways to represent and analyze the system from the three different points of view allow us to take advantage of the resulting diversity.
