Heterogeneous timed machines

Benoît Delahaye; José Luiz Fiadeiro; Axel Legay; Antόnia Lopes

doi:10.1007/978-3-319-10882-7

Heterogeneous timed machines

Benoît Delahaye
, José Luiz Fiadeiro
, Axel Legay
, Antόnia Lopes

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 Citations (Scopus)

Abstract

We present an algebra of discrete timed input/output automata that execute in the context of different clock granularities — timed machines — as models of systems that can be dynamically interconnected at run time in a heterogeneous context. We show how timed machines can be refined to a lower granularity of time and how timed machines with different clock granularities can be composed. We propose techniques for checking whether timed machines are consistent or feasible. Finally, we investigate how consistency and feasibility of composition can be proved at run-time without computing products of automata.

Original language	English
Title of host publication	Theoretical Aspects of Computing – ICTAC 2014
Subtitle of host publication	11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
Editors	Gabriel Ciobanu, Dominique Méry
Place of Publication	Switzerland
Publisher	Springer
Pages	115-132
Number of pages	18
ISBN (Electronic)	9783319108827
ISBN (Print)	9783319108810
DOIs	https://doi.org/10.1007/978-3-319-10882-7
Publication status	Published - 2014

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Volume	8687
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Keywords

Time Machine
Reachable State
Heterogeneous Composition
Joint Behaviour
Partial Execution

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-319-10882-7

Cite this

Delahaye, B., Fiadeiro, J. L., Legay, A., & Lopes, A. (2014). Heterogeneous timed machines. In G. Ciobanu, & D. Méry (Eds.), Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings (pp. 115-132). (Lecture Notes in Computer Science; Vol. 8687). Springer . https://doi.org/10.1007/978-3-319-10882-7

@inproceedings{efe624a33e31483ea2f4fd4832f8c1e0,

title = "Heterogeneous timed machines",

abstract = "We present an algebra of discrete timed input/output automata that execute in the context of different clock granularities {\textemdash} timed machines {\textemdash} as models of systems that can be dynamically interconnected at run time in a heterogeneous context. We show how timed machines can be refined to a lower granularity of time and how timed machines with different clock granularities can be composed. We propose techniques for checking whether timed machines are consistent or feasible. Finally, we investigate how consistency and feasibility of composition can be proved at run-time without computing products of automata.",

keywords = "Time Machine, Reachable State, Heterogeneous Composition, Joint Behaviour, Partial Execution",

author = "Beno{\^i}t Delahaye and Fiadeiro, \{Jos{\'e} Luiz\} and Axel Legay and Antόnia Lopes",

year = "2014",

doi = "10.1007/978-3-319-10882-7",

language = "English",

isbn = "9783319108810",

series = "Lecture Notes in Computer Science",

publisher = "Springer ",

pages = "115--132",

editor = "Gabriel Ciobanu and Dominique M{\'e}ry",

booktitle = "Theoretical Aspects of Computing {\textendash} ICTAC 2014",

}

Delahaye, B, Fiadeiro, JL, Legay, A & Lopes, A 2014, Heterogeneous timed machines. in G Ciobanu & D Méry (eds), Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Lecture Notes in Computer Science, vol. 8687, Springer , Switzerland, pp. 115-132. https://doi.org/10.1007/978-3-319-10882-7

Heterogeneous timed machines. / Delahaye, Benoît; Fiadeiro, José Luiz; Legay, Axel et al.
Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. ed. / Gabriel Ciobanu; Dominique Méry. Switzerland: Springer , 2014. p. 115-132 (Lecture Notes in Computer Science; Vol. 8687).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Heterogeneous timed machines

AU - Delahaye, Benoît

AU - Fiadeiro, José Luiz

AU - Legay, Axel

AU - Lopes, Antόnia

PY - 2014

Y1 - 2014

N2 - We present an algebra of discrete timed input/output automata that execute in the context of different clock granularities — timed machines — as models of systems that can be dynamically interconnected at run time in a heterogeneous context. We show how timed machines can be refined to a lower granularity of time and how timed machines with different clock granularities can be composed. We propose techniques for checking whether timed machines are consistent or feasible. Finally, we investigate how consistency and feasibility of composition can be proved at run-time without computing products of automata.

AB - We present an algebra of discrete timed input/output automata that execute in the context of different clock granularities — timed machines — as models of systems that can be dynamically interconnected at run time in a heterogeneous context. We show how timed machines can be refined to a lower granularity of time and how timed machines with different clock granularities can be composed. We propose techniques for checking whether timed machines are consistent or feasible. Finally, we investigate how consistency and feasibility of composition can be proved at run-time without computing products of automata.

KW - Time Machine

KW - Reachable State

KW - Heterogeneous Composition

KW - Joint Behaviour

KW - Partial Execution

UR - https://www.scopus.com/pages/publications/84921714851

U2 - 10.1007/978-3-319-10882-7

DO - 10.1007/978-3-319-10882-7

M3 - Conference contribution

AN - SCOPUS:84921714851

SN - 9783319108810

T3 - Lecture Notes in Computer Science

SP - 115

EP - 132

BT - Theoretical Aspects of Computing – ICTAC 2014

A2 - Ciobanu, Gabriel

A2 - Méry, Dominique

PB - Springer

CY - Switzerland

ER -

Heterogeneous timed machines

Abstract

Publication series

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this