CONTRACT BASED DESIGN CHAIN INTEGRATION: AN AUTOMOTIVE DOMAIN CASE STUDY

摘要

The SPEEDS IST European project introduces the speculativerndesign of embedded systems. This design paradigm,rnbased on the use of contracts as formal requirements, allowsrndistributed designers to develop different aspects ofrnthe overall system in a concurrent but controlled way. Inrnthis paper we show how to use the runtime verification approachrnbased on monitors to validate the design steps inrnthe SPEEDS contract-based design methodology and wernpresent an integrated design environment that fully supportsrnthe SPEEDS contract based design flow.