Strong and weak contract formalism for third-party component reuse | IEEE Conference Publication | IEEE Xplore

Strong and weak contract formalism for third-party component reuse


Abstract:

Our aim is to contribute to bridging the gap between the justified need from industry to reuse third-party components and skepticism of the safety community in integratin...Show More

Abstract:

Our aim is to contribute to bridging the gap between the justified need from industry to reuse third-party components and skepticism of the safety community in integrating and reusing components developed without real knowledge of the system context. We have developed a notion of safety contract that will help to capture safety-related information for supporting the reuse of software components in and across safety-critical systems. In this paper we present our extension of the contract formalism for specifying strong and weak assumption/guarantee contracts for out-of-context reusable components. We elaborate on notion of satisfaction, including refinement, dominance and composition check. To show the usage and the expressiveness of our extended formalism, we specify strong and weak safety contracts related to a wheel braking system.
Date of Conference: 04-07 November 2013
Date Added to IEEE Xplore: 19 December 2013
Electronic ISBN:978-1-4799-2552-0
Conference Location: Pasadena, CA, USA

Contact IEEE to Subscribe

References

References is not available for this document.