@inproceedings{6dd8a202a26d406ea9cabfa6d4f61fc2,
title = "Heterogeneous and asynchronous networks of timed systems",
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.",
keywords = "Temporal Logic, Time Sequence, Network Node, Safety Property, Single Port",
author = "Fiadeiro, {Jos{\'e} Luis} and Ant{\'o}nia Lopes",
year = "2014",
doi = "10.1007/978-3-642-54804-8_6",
language = "English",
isbn = "9783642548031",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
pages = "79--93",
editor = "Stefania Gnesi and Arend Rensink",
booktitle = "Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Proceedings",
address = "Germany",
note = "17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 ; Conference date: 05-04-2014 Through 13-04-2014",
}