The earlier the better: a theory of timed actor interfaces


Geilen, Marc and Tripakis, Stavros and Wiggers, Maarten (2010) The earlier the better: a theory of timed actor interfaces. [Report]

open access
[img] PDF
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 constraints. 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. For this purpose, we introduce in this paper a general theory of timed actor interfaces. Our theory supports a notion of refinement that 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 or enlarging sets of behaviors. An important feature of our refinement is that it allows time-deterministic abstractions to be made of time-non-deterministic systems, improving efficiency and reducing complexity of formal analysis. We also show how our theory relates to, and can be used to reconcile a number of existing time and performance models and how their established theories can be exploited to represent and analyze interface specifications and refinement steps.
Item Type:Report
Additional information:UCB/EECS-2010-130
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:
Publisher URL:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 275744