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

    37 Citations (Scopus)
    32 Downloads (Pure)

    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.
    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 (ACM)
    Pages23-32
    Number of pages10
    ISBN (Print)978-1-4503-0629-4
    DOIs
    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

    Name
    PublisherACM

    Conference

    Conference14th International Conference on Hybrid Systems: Computation and Control, HSCC 2011
    Abbreviated titleHSCC 2011
    CountryUnited States
    CityChicago
    Period12/04/1114/04/11

    Keywords

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

    Cite this