A Generic Model of Contracts for Embedded Systems

Albert Benveniste, Benoit Caillaud, Roberto Passerone

We present the mathematical foundations of the contract-based model developed in the framework of the SPEEDS project. SPEEDS aims at developing methods and tools to support "specul…