CONTRACT BASED DESIGN CHAIN INTEGRATION: AN AUTOMOTIVE DOMAIN CASE STUDY

摘要

The SPEEDS IST European project introduces the speculative design of embedded systems. This design paradigm, based on the use of contracts as formal requirements, allows distributed designers to develop different aspects of the overall system in a concurrent but controlled way. In this paper we show how to use the runtime verification approach based on monitors to validate the design steps in the SPEEDS contract-based design methodology and we present an integrated design environment that fully supports the SPEEDS contract based design flow.