This research deals with the temporal performance analysis of distributed networked automation systems. It describes a new formal approach that estimates the maximum limit of response time in Networked Control Systems (NCS) that use a producer/consumer protocol. Two different tools of discrete event systems have been used: Timed Event Graphs (TEGs) and (Max,+) algebra. First, the contribution is to model all components of NCS with TEGs, and to represent the behaviour of these graphs by (Max,+) linear equations, and then to determine the upper bounds of the response time by an analytical formula. The main novelty of these results is to introduce a modular method capable of providing crucial validation elements regarding temporal performances for an industrial scale NCS that includes inter CPU communication. Moreover, the modular aspect of the presented approach remains in considering the end-to-end delays introduced by the network as model parameters, calculated from other models.

本研究涉及分布式网络自动化系统的时间性能分析。它描述了一种新的正式方法，用于估计使用生产者/消费者协议的网络控制系统 (NCS) 中响应时间的最大限制。已经使用了两种不同的离散事件系统工具：定时事件图 (TEG) 和 (Max,+) 代数。首先，贡献是用 TEG 对 NCS 的所有组件进行建模，并通过 (Max,+) 线性方程来表示这些图的行为，然后通过解析公式确定响应时间的上限。这些结果的主要新颖之处在于引入了一种模块化方法，该方法能够为包括 CPU 间通信的工业规模 NCS 提供有关时间性能的关键验证元素。而且，