Comparing Simulative and Formal Methods for the Analysis of Response Times in Networked Automation Systems
Comparing Simulative and Formal Methods for the Analysis of Response Times in Networked Automation Systems
复制标题
比较网络自动化系统中响应时间分析的模拟方法和形式化方法
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Georg Frey
中科院分区：
文献类型：
--
作者：
J. Greifeneder;Liu Liu;Georg Frey
摘要 网络自动化系统（NAS）源自使用新网络结构的自动化系统的日益分散化。这些结构比传统结构更便宜、更灵活。然而，它们引入了随机和耦合的时间行为。因此，有必要针对NAS的特点进行详细的分析。本文提出了两种分析 NAS 响应时间的方法。使用 Dymola/Modelica 进行仿真可提供用户友好的系统模型实现，而使用 PRISM 进行概率模型检查可在更短的时间内提供更准确且可重复的结果。基于典型的 NAS 场景讨论了两种方法的优缺点。然后通过大量测量样本验证结果。事实证明，这两种方法都可以获得相当准确的结果。
Abstract Networked Automation Systems (NAS) result from the increasing decentralization of automation systems using new network structures. Those structures are less expensive and more flexible than traditional ones. However, they introduce stochastic and coupled temporal behavior. Therefore, a detailed analysis is necessary accounting for the special characteristics of NAS. In this article, two approaches for the analysis of response times in NAS are presented. While simulation using Dymola/Modelica offers a user-friendly implementation of the system models, probabilistic model checking using PRISM gives more accurate and reproducible results in less time. The strengths and weaknesses of the two approaches are discussed based on a typical NAS scenario. The results are then validated by a large number of measured samples. It is demonstrated that quite accurate results are obtainable by both approaches.