Compositional strategy mapping

Abstract

With the increasing complexity of embedded systems, coupled with the need for faster time-to-market and high confidence in the reliability of the product, design methods that ensure correctness by construction are, when available, the solution of choice. When dealing with open systems, the system behavior has to be considered in terms of strategies. In this paper, we are interested in a design flow supporting the refinement of strategies, rather than in computing a strategy by performing discrete controller synthesis on some given level of abstraction. We consider a platform-based design process consisting of successive mapping steps. The goal of each step is to map a strategy constructed so far onto a lower-level platform. The mapping is performed component-wise, using an abstraction of the environment of each component. We provide compositionality results ensuring that the refinement carries over to the global strategy, and illustrate the approach with examples. © 2010 Springer.