Contracts for System Design
Contracts for System Design
复制标题
DOI：
10.1561/1000000053
复制
发表时间：
2018-01-01
影响因子：
--
通讯作者：
Larsen, Kim G.
中科院分区：
文献类型：
--
作者：
Benveniste, Albert;Caillaud, Benoit;Larsen, Kim G.
最近，基于契约的设计被提出作为一种“正交”方法，它补充了迄今为止提出的系统设计方法，以应对系统设计的复杂性。基于契约的设计为验证、分析、抽象/细化甚至综合提供了严格的支架。在这个领域已经取得了许多成果，但缺乏对这个主题的统一处理，以帮助正确看待基于契约的设计。本专着旨在提供这样一种处理方式，其中合同被精确定义和表征，以便它们可以毫无歧义地用于设计方法。特别是，本专着通过数学“元理论”确定了使用合同进行复杂系统设计的本质，其中该方法的所有属性都源自非常抽象和通用的合同概念。我们表明，元理论提供了与现有契约和界面理论的深刻且富有启发性的联系，以及设计新理论的指导方针。我们的研究涵盖软件和系统的合同，重点是后者。我们通过两个例子来说明合同的使用：停车场管理的需求工程，以及在汽车行业使用的 AUTOSAR 方法背景下开发计时和调度合同。
Recently, contract-based design has been proposed as an "orthogonal" approach that complements system design methodologies proposed so far to cope with the complexity of system design. Contract-based design provides a rigorous scaffolding for verification, analysis, abstraction/refinement, and even synthesis. A number of results have been obtained in this domain but a unified treatment of the topic that can help put contract-based design in perspective was missing. This monograph intends to provide such a treatment where contracts are precisely defined and characterized so that they can be used in design methodologies with no ambiguity. In particular, this monograph identifies the essence of complex system design using contracts through a mathematical "meta-theory", where all the properties of the methodology are derived from a very abstract and generic notion of contract. We show that the meta-theory provides deep and illuminating links with existing contract and interface theories, as well as guidelines for designing new theories. Our study encompasses contracts for both software and systems, with emphasis on the latter. We illustrate the use of contracts with two examples: requirement engineering for a parking garage management, and the development of contracts for timing and scheduling in the context of the AUTOSAR methodology in use in the automotive sector.