随机活动网络模板：支持可变性于性能可靠性模型
计算机科学中的逻辑
2023-05-25 v2 形式语言与自动机理论
摘要
基于模型的评估被广泛用于估计可信系统的性能与可靠性。传统上，这些系统规模小且自包含，基于模型的评估的主要挑战在于求解过程的效率。近来，由于现代系统具有众多组件和复杂交互，指定和维护复杂模型的问题日益受到关注。组件具有相似性，但也因不同配置或系统中的角色而表现出行为变化。从建模角度看，变化导致对一小部分基础模型进行多次复制和修改。可变性仅通过定义样本模型并解释其可能变化而被非正式地考虑。在本文中，我们解决在性能可靠性模型中包含可变性的问题，聚焦于随机活动网络（SANs）。我们引入了随机活动网络模板（SAN-T）的形式化定义，这是一种基于 SANs 并增加可变性方面的形式化方法。与其他方法不同，参数也可影响模型的结构，例如活动的实例数量。我们将 SAN-T 形式化应用于环境监测基础设施骨干网络的建模。特别地，我们展示了文献中现有的 SAN 模型如何使用新引入的形式化方法进行泛化。
引用
@article{arxiv.2006.09291,
title = {Stochastic Activity Networks Templates: Supporting Variability in Performability Models},
author = {Leonardo Montecchi and Paolo Lollini and Andrea Bondavalli},
journal= {arXiv preprint arXiv:2006.09291},
year = {2023}
}