Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
复制标题
综合形式方法 - 第 14 届国际会议，IFM 2018，爱尔兰梅努斯，2018 年 9 月 5-7 日，会议记录
DOI：
10.1007/978-3-319-98938-9_11
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Galpin V
中科院分区：
文献类型：
--
作者：
Galpin V
本文研究了Carma，最近开发的定量过程代数建模语言，软件定义网络（SDN）的随机建模的应用。在SDN中，单个控制器（或控制器层次结构）决定了通过网络转发流量的交换机的行为，并且它用于各种设置，包括云和数据中心。这项研究是开发SDN性能和安全方面的敏捷形式化建模方法的初始阶段，并专注于胖树网络拓扑。结果表明，Carmalanguage及其软件工具，其中包括MultiVeStA统计模型检查器提供了一个很好的基础上建模SDN。
This paper investigates the application ofCarma, a recently developed quantitative process-algebra-based modelling language, to the stochastic modelling of software defined networking (SDN). In SDN, a single controller (or hierarchy of controllers) determines the behaviour of the switches that forward traffic through the network, and it is used in a variety of settings including cloud and data centres. This research is the initial phase of developing a methodology for agile formal modelling of performance and security aspects of SDN, and focusses on the fat-tree network topology. The results demonstrate that theCarmalanguage and its software tools which include the MultiVeStA statistical model checker provide a good basis for modelling SDN.