*banner
 

The Earlier the Better: A Theory of Timed Actor Interfaces
Marc Geilen, Stavros Tripakis, Maarten Wiggers

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

Citation formats  
  • 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.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

©2002-2018 Chess