*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". Proceedings of the 14th international conference on Hybrid systems: computation and control (HSCC 11), ACM, 23-32, April, 2011.

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.

Electronic downloads

Citation formats  
  • HTML 
    Marc Geilen, Stavros Tripakis, Maarten Wiggers. <a
href="http://chess.eecs.berkeley.edu/pubs/801.html"
>The Earlier the Better: A Theory of Timed Actor
Interfaces</a>, Proceedings of the 14th international
conference on Hybrid systems: computation and control (HSCC
11), ACM, 23-32, April, 2011.
  • Plain text 
    Marc Geilen, Stavros Tripakis, Maarten Wiggers. "The
Earlier the Better: A Theory of Timed Actor
Interfaces". Proceedings of the 14th international
conference on Hybrid systems: computation and control (HSCC
11), ACM, 23-32, April, 2011.
  • BibTeX 
    @inproceedings{GeilenTripakisWiggers11_EarlierBetterTheoryOfTimedActorInterfaces,
    author = {Marc Geilen and Stavros Tripakis and Maarten
              Wiggers},
    title = {The Earlier the Better: A Theory of Timed Actor
              Interfaces},
    booktitle = {Proceedings of the 14th international conference
              on Hybrid systems: computation and control (HSCC
              11)},
    organization = {ACM},
    pages = {23-32},
    month = {April},
    year = {2011},
    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.},
    URL = {http://chess.eecs.berkeley.edu/pubs/801.html}
}

Posted by Stavros Tripakis on 26 Jan 2011.
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