A Generic Model of Contracts for Embedded Systems - Computer Science > Software EngineeringReportar como inadecuado




A Generic Model of Contracts for Embedded Systems - Computer Science > Software Engineering - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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.



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

Fuente: https://arxiv.org/







Documentos relacionados