The Earlier the Better: A Theory of Timed Actor Interfaces

Marc Geilen, Stavros Tripakis, M.H. Wiggers

Research output: Book/ReportReportProfessional

25 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 constraints. 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. For this purpose, we introduce in this paper a general theory of timed actor interfaces. Our theory supports a notion of refinement that 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 or enlarging sets of behaviors. An important feature of our refinement is that it allows time-deterministic abstractions to be made of time-non-deterministic systems, improving efficiency and reducing complexity of formal analysis. We also show how our theory relates to, and can be used to reconcile a number of existing time and performance models and how their established theories can be exploited to represent and analyze interface specifications and refinement steps.
Original languageUndefined
Place of PublicationBerkeley
PublisherUniversity of California
Number of pages43
Publication statusPublished - Oct 2010

Publication series

Name
PublisherUniversity of California, EECS Department

Keywords

  • EWI-18985
  • IR-75060
  • METIS-275744

Cite this

Geilen, M., Tripakis, S., & Wiggers, M. H. (2010). The Earlier the Better: A Theory of Timed Actor Interfaces. Berkeley: University of California.
Geilen, Marc ; Tripakis, Stavros ; Wiggers, M.H. / The Earlier the Better: A Theory of Timed Actor Interfaces. Berkeley : University of California, 2010. 43 p.
@book{07148ccb01f34d688d497c71c27b0196,
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 constraints. 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. For this purpose, we introduce in this paper a general theory of timed actor interfaces. Our theory supports a notion of refinement that 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 or enlarging sets of behaviors. An important feature of our refinement is that it allows time-deterministic abstractions to be made of time-non-deterministic systems, improving efficiency and reducing complexity of formal analysis. We also show how our theory relates to, and can be used to reconcile a number of existing time and performance models and how their established theories can be exploited to represent and analyze interface specifications and refinement steps.",
keywords = "EWI-18985, IR-75060, METIS-275744",
author = "Marc Geilen and Stavros Tripakis and M.H. Wiggers",
note = "UCB/EECS-2010-130",
year = "2010",
month = "10",
language = "Undefined",
publisher = "University of California",
address = "United States",

}

Geilen, M, Tripakis, S & Wiggers, MH 2010, The Earlier the Better: A Theory of Timed Actor Interfaces. University of California, Berkeley.

The Earlier the Better: A Theory of Timed Actor Interfaces. / Geilen, Marc; Tripakis, Stavros; Wiggers, M.H.

Berkeley : University of California, 2010. 43 p.

Research output: Book/ReportReportProfessional

TY - BOOK

T1 - The Earlier the Better: A Theory of Timed Actor Interfaces

AU - Geilen, Marc

AU - Tripakis, Stavros

AU - Wiggers, M.H.

N1 - UCB/EECS-2010-130

PY - 2010/10

Y1 - 2010/10

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 constraints. 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. For this purpose, we introduce in this paper a general theory of timed actor interfaces. Our theory supports a notion of refinement that 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 or enlarging sets of behaviors. An important feature of our refinement is that it allows time-deterministic abstractions to be made of time-non-deterministic systems, improving efficiency and reducing complexity of formal analysis. We also show how our theory relates to, and can be used to reconcile a number of existing time and performance models and how their established theories can be exploited to represent and analyze interface specifications and refinement steps.

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 constraints. 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. For this purpose, we introduce in this paper a general theory of timed actor interfaces. Our theory supports a notion of refinement that 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 or enlarging sets of behaviors. An important feature of our refinement is that it allows time-deterministic abstractions to be made of time-non-deterministic systems, improving efficiency and reducing complexity of formal analysis. We also show how our theory relates to, and can be used to reconcile a number of existing time and performance models and how their established theories can be exploited to represent and analyze interface specifications and refinement steps.

KW - EWI-18985

KW - IR-75060

KW - METIS-275744

M3 - Report

BT - The Earlier the Better: A Theory of Timed Actor Interfaces

PB - University of California

CY - Berkeley

ER -

Geilen M, Tripakis S, Wiggers MH. The Earlier the Better: A Theory of Timed Actor Interfaces. Berkeley: University of California, 2010. 43 p.