10、基于契约的模型设计方法与家庭设备互操作性技术

基于契约的模型设计方法与家庭设备互操作性技术

基于契约的嵌入式系统设计方法

在进行嵌入式系统设计时，通常需要考虑以下几个方面：
1. 系统的期望功能 ：明确系统需要实现的具体功能。
2. 系统的工作环境 ：了解系统将在何种环境下运行。
3. 相关的法规要求 ：遵循相关行业的法规和标准。

从这些信息中，可以推导出系统的初始需求。以飞机轮制动系统为例，其所需功能的子集可以通过特征分解和初始逻辑架构来表示。

在通过特征进行初始需求规范后，会进行第一次高级逻辑组件分解。例如，设计的飞机包含轮制动控制系统和执行器控制器等组件。为了追踪这些组件的来源，可以标注特征实现连接，以表示哪个组件实现了哪个特征。所需特征也可能依赖于其他特征，这可以通过特征链接来表示。

在这个例子中，有一个要求是飞机在着陆后 1000 米内停止。在逻辑系统中，这个要求被细化为多个其他要求，其中一个以正式指定的契约 c185 形式出现。这个契约要求系统在飞行员踩下制动踏板后的特定时间内，向执行器控制发送信号。

接下来，系统会朝着更低的抽象级别进行分解。通常将正在开发的系统的高级视图称为系统模型。不同抽象级别之间的组件使用一对一的实现关系，高级别使用的契约 C185 通过蕴含关系与低级别派生的契约 C185.13 相连。低级别抽象层引入了技术视角。