Reactors: A Deterministic Model for Composable Reactive Systems

Marten Lohstroh; Íñigo Íncer Romeo; Andrés Goens; Patricia Derler; Jeronimo Castrillon; Edward A. Lee; Alberto Sangiovanni-Vincentelli

doi:10.1007/978-3-030-41131-2

Reactors: A Deterministic Model for Composable Reactive Systems

Marten Lohstroh, Íñigo Íncer Romeo, Andrés Goens, Patricia Derler, Jeronimo Castrillon, Edward A. Lee, Alberto Sangiovanni-Vincentelli

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

Abstract

This paper describes a component-based concurrent model of computation for reactive systems. The components in this model, featuring ports and hierarchy, are called reactors. The model leverages a semantic notion of time, an event scheduler, and a synchronous-reactive style of communication to achieve determinism. Reactors enable a programming model that ensures determinism, unless explicitly abandoned by the programmer. We show how the coordination of reactors can safely and transparently exploit parallelism, both in shared-memory and distributed systems.

Original language	English
Title of host publication	Cyber Physical Systems. Model-Based Design
Subtitle of host publication	9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers
Editors	Roger Chamberlain, Martin Edin Grimheden, Walid Taha
Place of Publication	Cham
Publisher	Springer
Pages	59-85
Number of pages	27
Edition	1
ISBN (Electronic)	978-3-030-41131-2
ISBN (Print)	978-3-030-41130-5
DOIs	https://doi.org/10.1007/978-3-030-41131-2
Publication status	Published - 18 Feb 2020
Event	Model-Based Design of Cyber Physical Systems (CyPhy'19) - New York City, United States Duration: 17 Oct 2019 → 18 Oct 2019 https://www.cyphy.org/

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer, Cham
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	Model-Based Design of Cyber Physical Systems (CyPhy'19)
Abbreviated title	CyPhy'19
Country/Territory	United States
City	New York City
Period	17/10/19 → 18/10/19
Internet address	https://www.cyphy.org/

Access to Document

10.1007/978-3-030-41131-2Licence: All Rights Reserved

https://link.springer.com/book/10.1007/978-3-030-41131-2Licence: All Rights Reserved

Cite this

Lohstroh, M., Romeo, Í. Í., Goens, A., Derler, P., Castrillon, J., Lee, E. A., & Sangiovanni-Vincentelli, A. (2020). Reactors: A Deterministic Model for Composable Reactive Systems. In R. Chamberlain, M. Edin Grimheden, & W. Taha (Eds.), Cyber Physical Systems. Model-Based Design: 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers (1 ed., pp. 59-85). (Lecture Notes in Computer Science). Springer. https://doi.org/10.1007/978-3-030-41131-2

Lohstroh, Marten ; Romeo, Íñigo Íncer ; Goens, Andrés et al. / Reactors: A Deterministic Model for Composable Reactive Systems. Cyber Physical Systems. Model-Based Design: 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers. editor / Roger Chamberlain ; Martin Edin Grimheden ; Walid Taha. 1. ed. Cham : Springer, 2020. pp. 59-85 (Lecture Notes in Computer Science).

@inproceedings{839b7e86056e4ade9619b314161c02f4,

title = "Reactors: A Deterministic Model for Composable Reactive Systems",

abstract = "This paper describes a component-based concurrent model of computation for reactive systems. The components in this model, featuring ports and hierarchy, are called reactors. The model leverages a semantic notion of time, an event scheduler, and a synchronous-reactive style of communication to achieve determinism. Reactors enable a programming model that ensures determinism, unless explicitly abandoned by the programmer. We show how the coordination of reactors can safely and transparently exploit parallelism, both in shared-memory and distributed systems.",

author = "Marten Lohstroh and Romeo, {{\'I}{\~n}igo {\'I}ncer} and Andr{\'e}s Goens and Patricia Derler and Jeronimo Castrillon and Lee, {Edward A.} and Alberto Sangiovanni-Vincentelli",

year = "2020",

month = feb,

day = "18",

doi = "10.1007/978-3-030-41131-2",

language = "English",

isbn = "978-3-030-41130-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "59--85",

editor = "Roger Chamberlain and {Edin Grimheden}, Martin and Walid Taha",

booktitle = "Cyber Physical Systems. Model-Based Design",

address = "United Kingdom",

edition = "1",

note = "Model-Based Design of Cyber Physical Systems (CyPhy'19), CyPhy'19 ; Conference date: 17-10-2019 Through 18-10-2019",

url = "https://www.cyphy.org/",

}

Lohstroh, M, Romeo, ÍÍ, Goens, A, Derler, P, Castrillon, J, Lee, EA & Sangiovanni-Vincentelli, A 2020, Reactors: A Deterministic Model for Composable Reactive Systems. in R Chamberlain, M Edin Grimheden & W Taha (eds), Cyber Physical Systems. Model-Based Design: 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers. 1 edn, Lecture Notes in Computer Science, Springer, Cham, pp. 59-85, Model-Based Design of Cyber Physical Systems (CyPhy'19), New York City, New York, United States, 17/10/19. https://doi.org/10.1007/978-3-030-41131-2

Reactors: A Deterministic Model for Composable Reactive Systems. / Lohstroh, Marten; Romeo, Íñigo Íncer; Goens, Andrés et al.
Cyber Physical Systems. Model-Based Design: 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers. ed. / Roger Chamberlain; Martin Edin Grimheden; Walid Taha. 1. ed. Cham: Springer, 2020. p. 59-85 (Lecture Notes in Computer Science).

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

TY - GEN

T1 - Reactors: A Deterministic Model for Composable Reactive Systems

AU - Lohstroh, Marten

AU - Romeo, Íñigo Íncer

AU - Goens, Andrés

AU - Derler, Patricia

AU - Castrillon, Jeronimo

AU - Lee, Edward A.

AU - Sangiovanni-Vincentelli, Alberto

PY - 2020/2/18

Y1 - 2020/2/18

N2 - This paper describes a component-based concurrent model of computation for reactive systems. The components in this model, featuring ports and hierarchy, are called reactors. The model leverages a semantic notion of time, an event scheduler, and a synchronous-reactive style of communication to achieve determinism. Reactors enable a programming model that ensures determinism, unless explicitly abandoned by the programmer. We show how the coordination of reactors can safely and transparently exploit parallelism, both in shared-memory and distributed systems.

AB - This paper describes a component-based concurrent model of computation for reactive systems. The components in this model, featuring ports and hierarchy, are called reactors. The model leverages a semantic notion of time, an event scheduler, and a synchronous-reactive style of communication to achieve determinism. Reactors enable a programming model that ensures determinism, unless explicitly abandoned by the programmer. We show how the coordination of reactors can safely and transparently exploit parallelism, both in shared-memory and distributed systems.

U2 - 10.1007/978-3-030-41131-2

DO - 10.1007/978-3-030-41131-2

M3 - Conference contribution

SN - 978-3-030-41130-5

T3 - Lecture Notes in Computer Science

SP - 59

EP - 85

BT - Cyber Physical Systems. Model-Based Design

A2 - Chamberlain, Roger

A2 - Edin Grimheden, Martin

A2 - Taha, Walid

PB - Springer

CY - Cham

T2 - Model-Based Design of Cyber Physical Systems (CyPhy'19)

Y2 - 17 October 2019 through 18 October 2019

ER -

Lohstroh M, Romeo ÍÍ, Goens A, Derler P, Castrillon J, Lee EA et al. Reactors: A Deterministic Model for Composable Reactive Systems. In Chamberlain R, Edin Grimheden M, Taha W, editors, Cyber Physical Systems. Model-Based Design: 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers. 1 ed. Cham: Springer. 2020. p. 59-85. (Lecture Notes in Computer Science). doi: 10.1007/978-3-030-41131-2

Reactors: A Deterministic Model for Composable Reactive Systems

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this