The Earlier the Beter, a Theory of Timed Actor Interfaces

Component interface models are commonly applied in contract-based, or assume-guarantee design strategies — if the environment meets the component’s assumptions then the component meets its guarantees. Typically such models also support an abstraction-refinement relation. A more refined component is correct in any context in which an abstraction is correct. Analysis done on an abstraction ensures correctness of the refinement.

In many such frameworks, abstractions tend to have more behaviors, are more non-deterministic, than their refinements, leading analysis challenges. In dataflow models, non-deterministic refinements can have deterministic abstractions.

This work formalizes a timed interface theory [1] that creates the foundation below the application of dataflow and/or max-plus based abstractions for the analysis of the performance of systems.



[1] M. Geilen, S. Tripakis, and M. Wiggers, “The earlier the better: a theory of timed actor interfaces,” in Proceedings of the 14th international conference on hybrid systems: computation and control, New York, NY, USA, 2011, p. 23–32.
author = {Geilen, Marc and Tripakis, Stavros and Wiggers, Maarten},
title = {The Earlier the Better: A Theory of Timed Actor Interfaces},
booktitle = {Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control},
year = {2011},
series = {HSCC '11},
pages = {23--32},
address = {New York, NY, USA},
publisher = {ACM},
acmid = {1967707},
isbn = {978-1-4503-0629-4},
location = {Chicago, IL, USA},
numpages = {10},
owner = {mgeilen},
timestamp = {2015.01.05},