A Generic Model of Contracts for Embedded Systems - Computer Science > Software EngineeringReport as inadecuate




A Generic Model of Contracts for Embedded Systems - Computer Science > Software Engineering - Download this document for free, or read online. Document in PDF available to download.

Abstract: We present the mathematical foundations of the contract-based model developedin the framework of the SPEEDS project. SPEEDS aims at developing methods andtools to support -speculative design-, a design methodology in whichdistributed designers develop different aspects of the overall system, in aconcurrent but controlled way. Our generic mathematical model of contractsupports this style of development. This is achieved by focusing on behaviors,by supporting the notion of -rich component- where diverse functional andnon-functional aspects of the system can be considered and combined, byrepresenting rich components via their set of associated contracts, and byformalizing the whole process of component composition.



Author: Albert Benveniste IRISA, Benoit Caillaud IRISA, Roberto Passerone

Source: https://arxiv.org/



DOWNLOAD PDF




Related documents