Independence transformations and tools for components

Although component independence is a common underlying assumption in most reliability composition models, relatively little work focuses on this area. Preliminary work, however, shows that continuation passing style (CPS) compliance is an essential property of independent components. We provide a set of transformations which can be used to convert components to functionally equivalent CPS compliant components. We also present a tool to perform these transformations automatically. We include experimental evidence that our tool successfully produces CPS compliant components without altering the functionality of the original components. Use of our tool or manual transformations will aid in the creation of components whose reliabilities can be composed without violating the underlying assumptions of the composition models.