Reactivity analysis of different Networked Automation System architectures
Reactivity analysis of different Networked Automation System architectures
复制标题
不同网络自动化系统架构的反应性分析
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Georg Frey
中科院分区：
文献类型：
--
作者：
J. Greifeneder;Georg Frey
网络自动化系统（NAS）的反应性直接影响安全和质量。它可以通过响应时间分析来确定，响应时间分析本身可以使用概率模型检查（PMC）来计算。NAS的分析必须考虑多个耦合组件，每个组件都表现出自己的行为。因此，在本文中，将分析（1）包括其网络接口卡（基于循环与中断）在内的Aperpsilas执行行为和（2）通信模型（生产者-消费者与客户端-服务器）对响应时间行为的影响。为了这个目的，系统表示的抽象模型，使用概率时间自动机。概率模型检验用于比较基本行为的不同可能组合的反应性。
The reactivity of Networked Automation Systems (NAS) has direct influence on safety and quality aspects. It can be determined by a response time analysis, which itself can be calculated using probabilistic model checking (PMC). The analysis of a NAS has to account for several coupled components, each of them exhibiting its own behavior. Consequently, in this article the influences of (1) the controllerpsilas execution behavior including its network interface card (cyclic vs. interrupt based) and (2) the communication model (Producer-Consumer vs. Client-Server) on the response time behavior will be analyzed. For this purpose the systems are represented by abstract models using probabilistic timed automata. Probabilistic model checking is used to compare the reactivity of different possible combinations of the basic behaviors.