The earlier the better: a theory of timed actor interfaces


Share/Save/Bookmark

Geilen, M.C.W. and Tripakis, S. and Wiggers, M.H. (2011) The earlier the better: a theory of timed actor interfaces. In: Proceedings of the 14th international conference on Hybrid systems: computation and control, April 12-14, 2011, Chicago, IL, USA.

[img]
Preview
PDF
776Kb
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.
Item Type:Conference or Workshop Item
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:http://purl.utwente.nl/publications/76709
Official URL:http://dx.doi.org/10.1145/1967701.1967707
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page