Heterogeneous and asynchronous networks of timed systems

Abstract

Abstract. We present a component algebra and an associated logic for heterogenous timed systems. The components of the algebra are asynchronous networks of processes that abstract the behaviour of machines that execute according to the clock granularity of the network node in which they are placed and communicate asynchronously with machines at other nodes. The main novelty of our theory is that not all network nodes need to have the same clock granularity: we investigate conditions under which we can guarantee, a priori, that any interconnections generated at run time through dynamic binding of machines with different clock granularities leads to a consistent orchestration of the whole system. Finally, we investigate which logics can support specifications for this component algebra.

Formalization of discrete processes of forming porous materials using information models

“…Each technological operation is submitted to the relevant information cast, -formalized the corresponding analytical dependence, for example [1]. Thus, the goal set in the work-achieved.…”

“…The information model of the system state in a given time [1] in the form Y=f(x i ) can be considered flat or one-factor models. Controlling the behavior of such models can be realized by varying the value of only one factor (X I ).…”

“…Each such state represents a specific information base about the structure of a material at a given point in time. Development of information model for each discrete state of the system will allow to monitor and control the process of formation of highquality porous structure of the materials [1][2][3][4][5].…”

Dynamic networks of heterogeneous timed machines

“…A different algebra for heterogeneous networks of timed systems is presented in Fiadeiro and Lopes (2017) that is more abstract in the sense that is based purely on traces, i.e., it is independent of the nature of the machines that execute in the networks. That algebra is based on an asynchronous communication model and multi-party interactions.…”

“…In the case of systems whose structure is dynamic, i.e., modifiable at run time, this is no longer possible (Broy and Stølen 2001). Based on this, we proposed, in Fiadeiro and Lopes (2017), a trace-based component algebra and an associated logic for such dynamic heterogeneous timed systems. To the best of our knowledge, no other component algebra has been put forward for timed heterogeneous systems that does not require a-priori knowledge of their structure.…”