面向嵌入式系统的契约通用模型
软件工程
2007-06-13 v2
摘要
我们给出了在 SPEEDS 项目框架下所开发的基于契约的模型的数学基础。SPEEDS 旨在开发支持“推测性设计”的方法与工具,后者是一种设计方法学,在该方法学下,分布式设计人员以并发但受控的方式开发整体系统的不同方面。我们关于契约的通用数学模型支持这种开发风格。这一目标的实现依赖于:聚焦于行为;支持“富组件”概念,使得系统多样化的(功能与非功能)方面得以考虑与组合;通过相关契约集合来表示富组件;以及对组件组合的整个过程进行形式化。
引用
@article{arxiv.0706.1456,
title = {A Generic Model of Contracts for Embedded Systems},
author = {Albert Benveniste and Benoit Caillaud and Roberto Passerone},
journal= {arXiv preprint arXiv:0706.1456},
year = {2007}
}