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. © 2014 Springer-Verlag.
CITATION STYLE
Fiadeiro, J. L., & Lopes, A. (2014). Heterogeneous and asynchronous networks of timed systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8411 LNCS, pp. 79–93). Springer Verlag. https://doi.org/10.1007/978-3-642-54804-8_6
Mendeley helps you to discover research relevant for your work.