*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.

You are not logged in 
©2002-2014 Chess