Heterogeneous and asynchronous networks of timed systems

José Luis Fiadeiro, Antónia Lopes

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

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.

Original languageEnglish
Title of host publicationFundamental 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
EditorsStefania Gnesi, Arend Rensink
Place of PublicationBerlin
PublisherSpringer Verlag
Pages79-93
Number of pages15
ISBN (Electronic)9783642548048
ISBN (Print)9783642548031
DOIs
Publication statusPublished - 2014
Event17th 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 - Grenoble, France
Duration: 5 Apr 201413 Apr 2014

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Volume8411
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference17th 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
CountryFrance
CityGrenoble
Period5/04/1413/04/14

Keywords

  • Temporal Logic
  • Time Sequence
  • Network Node
  • Safety Property
  • Single Port

Fingerprint Dive into the research topics of 'Heterogeneous and asynchronous networks of timed systems'. Together they form a unique fingerprint.

  • Cite this

    Fiadeiro, J. L., & Lopes, A. (2014). Heterogeneous and asynchronous networks of timed systems. In S. Gnesi, & A. Rensink (Eds.), 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 (pp. 79-93). (Lecture Notes in Computer Science; Vol. 8411). Springer Verlag. https://doi.org/10.1007/978-3-642-54804-8_6