Citation
Marc Geilen, Stavros Tripakis, Maarten Wiggers. "The Earlier the Better: A Theory of Timed Actor Interfaces". Technical report, UC Berkeley, UCB/EECS-2010-130, October, 2010.

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.

Electronic downloads

• http://www.eecs.berkeley.edu/Pubs/TechRpts/2010/EECS-2010-130.html

• HTML

  Marc Geilen, Stavros Tripakis, Maarten Wiggers. <a
  href="http://chess.eecs.berkeley.edu/pubs/705.html"
  ><i>The Earlier the Better: A Theory of Timed Actor
  Interfaces</i></a>, Technical report,  UC
  Berkeley, UCB/EECS-2010-130, October, 2010.

• Plain text

  Marc Geilen, Stavros Tripakis, Maarten Wiggers. "The
  Earlier the Better: A Theory of Timed Actor
  Interfaces". Technical report,  UC Berkeley,
  UCB/EECS-2010-130, October, 2010.

• BibTeX

  @techreport{GeilenTripakisWiggers10_EarlierBetterTheoryOfTimedActorInterfaces,
      author = {Marc Geilen and Stavros Tripakis and Maarten
                Wiggers},
      title = {The Earlier the Better: A Theory of Timed Actor
                Interfaces},
      institution = {UC Berkeley},
      number = {UCB/EECS-2010-130},
      month = {October},
      year = {2010},
      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.},
      URL = {http://chess.eecs.berkeley.edu/pubs/705.html}
  }
  

Posted by Stavros Tripakis on 7 Oct 2010.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.