The earlier the better : a theory of timed actor interfaces

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

Research output: Book/ReportReportAcademic

55 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 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.
Original languageEnglish
Place of PublicationBerkeley, CA, USA
PublisherEECS Department, University of California, Berkeley
Number of pages45
Publication statusPublished - 2010

Publication series

NameUCB/EECS
Volume2010-130

Fingerprint

Dive into the research topics of 'The earlier the better : a theory of timed actor interfaces'. Together they form a unique fingerprint.

Cite this