Citation
Stavros Tripakis, Marc Geilen, Maarten Wiggers. "The Earlier the Better: A Theory of Timed Actor Interfaces". Talk or presentation, 16, February, 2011; Poster presented at the Ninth Biennial Ptolemy Miniconference, Berkeley, CA.

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

• p15TripakisPoster.pdf · application/pdf · 288 kbytes

• HTML

  Stavros Tripakis, Marc Geilen, Maarten Wiggers. <a
  href="http://chess.eecs.berkeley.edu/pubs/830.html"><i>The
  Earlier the Better: A Theory of Timed Actor
  Interfaces</i></a>, Talk or presentation,  16,
  February, 2011; Poster presented at the <a
  href="http://ptolemy.eecs.berkeley.edu/conferences/11"
  >Ninth Biennial Ptolemy Miniconference</a>,
  Berkeley, CA.

• Plain text

  Stavros Tripakis, Marc Geilen, Maarten Wiggers. "The
  Earlier the Better: A Theory of Timed Actor
  Interfaces". Talk or presentation,  16, February, 2011;
  Poster presented at the <a
  href="http://ptolemy.eecs.berkeley.edu/conferences/11"
  >Ninth Biennial Ptolemy Miniconference</a>,
  Berkeley, CA.

• BibTeX

  @presentation{TripakisGeilenWiggers11_EarlierBetterTheoryOfTimedActorInterfaces,
      author = {Stavros Tripakis and Marc Geilen and Maarten
                Wiggers},
      title = {The Earlier the Better: A Theory of Timed Actor
                Interfaces},
      day = {16},
      month = {February},
      year = {2011},
      note = {Poster presented at the <a
                href="http://ptolemy.eecs.berkeley.edu/conferences/11"
                >Ninth Biennial Ptolemy Miniconference</a>,
                Berkeley, CA.},
      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/830.html}
  }
  

Posted by Christopher Brooks on 18 Feb 2011.
Groups: ptolemy
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.