The earlier the better: a theory of timed actor interfaces

M.C.W. Geilen, S. Tripakis, M.H. Wiggers

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    40 Citations (Scopus)
    78 Downloads (Pure)


    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.
    Original languageUndefined
    Title of host publicationProceedings of the 14th international conference on Hybrid systems: computation and control
    Place of PublicationNew York
    PublisherAssociation for Computing Machinery
    Number of pages10
    ISBN (Print)978-1-4503-0629-4
    Publication statusPublished - 12 Apr 2011
    Event14th International Conference on Hybrid Systems: Computation and Control, HSCC 2011 - Chicago, United States
    Duration: 12 Apr 201114 Apr 2011
    Conference number: 14

    Publication series



    Conference14th International Conference on Hybrid Systems: Computation and Control, HSCC 2011
    Abbreviated titleHSCC 2011
    Country/TerritoryUnited States


    • METIS-277610
    • Actors
    • IR-76709
    • Throughput
    • EWI-20083
    • Refinement
    • Interfaces
    • Data flow
    • Compositionality
    • Latency

    Cite this