The earlier the better: a theory of timed actor interfaces

M.C.W. Geilen; S. Tripakis; M.H. Wiggers

doi:10.1145/1967701.1967707

The earlier the better: a theory of timed actor interfaces

M.C.W. Geilen, S. Tripakis, M.H. Wiggers

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

42 Citations (Scopus)

105 Downloads (Pure)

Abstract

Programming embedded and cyber-physical systems requires attention not only to functional behavior and correctness, but also to non-functional aspects and specifically timing and performance. A structured, compositional, model-based approach based on stepwise refinement and abstraction techniques can support the development process, increase its quality and reduce development time through automation of synthesis, analysis or verification. Toward this, we introduce a theory of timed actors whose notion of refinement is based on the principle of worst-case design that permeates the world of performance-critical systems. This is in contrast with the classical behavioral and functional refinements based on restricting sets of behaviors. Our refinement allows time-deterministic abstractions to be made of time-non-deterministic systems, improving efficiency and reducing complexity of formal analysis. We show how our theory relates to, and can be used to reconcile existing time and performance models and their established theories.

Original language	Undefined
Title of host publication	Proceedings of the 14th international conference on Hybrid systems: computation and control
Place of Publication	New York
Publisher	Association for Computing Machinery
Pages	23-32
Number of pages	10
ISBN (Print)	978-1-4503-0629-4
DOIs	https://doi.org/10.1145/1967701.1967707
Publication status	Published - 12 Apr 2011
Event	14th International Conference on Hybrid Systems: Computation and Control, HSCC 2011 - Chicago, United States Duration: 12 Apr 2011 → 14 Apr 2011 Conference number: 14

Publication series

Name
Publisher	ACM

Conference

Conference	14th International Conference on Hybrid Systems: Computation and Control, HSCC 2011
Abbreviated title	HSCC 2011
Country/Territory	United States
City	Chicago
Period	12/04/11 → 14/04/11

Keywords

METIS-277610
Actors
IR-76709
Throughput
EWI-20083
Refinement
Interfaces
Data flow
Compositionality
Latency

Access to Document

10.1145/1967701.1967707

Cite this

@inproceedings{ab4dcfff49f54771a7e7f70a5f466c0b,

title = "The earlier the better: a theory of timed actor interfaces",

abstract = "Programming embedded and cyber-physical systems requires attention not only to functional behavior and correctness, but also to non-functional aspects and specifically timing and performance. A structured, compositional, model-based approach based on stepwise refinement and abstraction techniques can support the development process, increase its quality and reduce development time through automation of synthesis, analysis or verification. Toward this, we introduce a theory of timed actors whose notion of refinement is based on the principle of worst-case design that permeates the world of performance-critical systems. This is in contrast with the classical behavioral and functional refinements based on restricting sets of behaviors. Our refinement allows time-deterministic abstractions to be made of time-non-deterministic systems, improving efficiency and reducing complexity of formal analysis. We show how our theory relates to, and can be used to reconcile existing time and performance models and their established theories.",

keywords = "METIS-277610, Actors, IR-76709, Throughput, EWI-20083, Refinement, Interfaces, Data flow, Compositionality, Latency",

author = "M.C.W. Geilen and S. Tripakis and M.H. Wiggers",

note = "10.1145/1967701.1967707 ; 14th International Conference on Hybrid Systems: Computation and Control, HSCC 2011 ; Conference date: 12-04-2011 Through 14-04-2011",

year = "2011",

month = apr,

day = "12",

doi = "10.1145/1967701.1967707",

language = "Undefined",

isbn = "978-1-4503-0629-4",

publisher = "Association for Computing Machinery",

pages = "23--32",

booktitle = "Proceedings of the 14th international conference on Hybrid systems: computation and control",

address = "United States",

}

Geilen, MCW, Tripakis, S & Wiggers, MH 2011, The earlier the better: a theory of timed actor interfaces. in Proceedings of the 14th international conference on Hybrid systems: computation and control. Association for Computing Machinery, New York, pp. 23-32, 14th International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, Illinois, United States, 12/04/11. https://doi.org/10.1145/1967701.1967707

The earlier the better: a theory of timed actor interfaces. / Geilen, M.C.W.; Tripakis, S.; Wiggers, M.H.
Proceedings of the 14th international conference on Hybrid systems: computation and control. New York: Association for Computing Machinery, 2011. p. 23-32.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - The earlier the better: a theory of timed actor interfaces

AU - Geilen, M.C.W.

AU - Tripakis, S.

AU - Wiggers, M.H.

N1 - Conference code: 14

PY - 2011/4/12

Y1 - 2011/4/12

N2 - Programming embedded and cyber-physical systems requires attention not only to functional behavior and correctness, but also to non-functional aspects and specifically timing and performance. A structured, compositional, model-based approach based on stepwise refinement and abstraction techniques can support the development process, increase its quality and reduce development time through automation of synthesis, analysis or verification. Toward this, we introduce a theory of timed actors whose notion of refinement is based on the principle of worst-case design that permeates the world of performance-critical systems. This is in contrast with the classical behavioral and functional refinements based on restricting sets of behaviors. Our refinement allows time-deterministic abstractions to be made of time-non-deterministic systems, improving efficiency and reducing complexity of formal analysis. We show how our theory relates to, and can be used to reconcile existing time and performance models and their established theories.

AB - Programming embedded and cyber-physical systems requires attention not only to functional behavior and correctness, but also to non-functional aspects and specifically timing and performance. A structured, compositional, model-based approach based on stepwise refinement and abstraction techniques can support the development process, increase its quality and reduce development time through automation of synthesis, analysis or verification. Toward this, we introduce a theory of timed actors whose notion of refinement is based on the principle of worst-case design that permeates the world of performance-critical systems. This is in contrast with the classical behavioral and functional refinements based on restricting sets of behaviors. Our refinement allows time-deterministic abstractions to be made of time-non-deterministic systems, improving efficiency and reducing complexity of formal analysis. We show how our theory relates to, and can be used to reconcile existing time and performance models and their established theories.

KW - METIS-277610

KW - Actors

KW - IR-76709

KW - Throughput

KW - EWI-20083

KW - Refinement

KW - Interfaces

KW - Data flow

KW - Compositionality

KW - Latency

U2 - 10.1145/1967701.1967707

DO - 10.1145/1967701.1967707

M3 - Conference contribution

SN - 978-1-4503-0629-4

SP - 23

EP - 32

BT - Proceedings of the 14th international conference on Hybrid systems: computation and control

PB - Association for Computing Machinery

CY - New York

T2 - 14th International Conference on Hybrid Systems: Computation and Control, HSCC 2011

Y2 - 12 April 2011 through 14 April 2011

ER -