Dealing with emergent properties in embedded systems

The development of many systems suffer from unexpected problems during development leading to time and cost penalties. A common situation that leads to problems is when components are integrated and un-anticipated features are formed. These features are often termed emergent properties. In this paper, a compositional approach is adopted where components are parameterized with extra information that can then be used to understand the implications of integration and mapping.