19、灵活可靠的面向服务嵌入式系统技术解析

灵活可靠的面向服务嵌入式系统技术解析

1. TimeAdapt 重构模型

TimeAdapt 重构模型在处理截止时间和事件到达率方面表现出色。与不考虑传入事件的重构方法相比，它能使满足截止时间的比例提高 31% 至 90%。即便存在不断到达的事件，该模型也能确保重构完成，避免了因事件持续到达而导致重构可能无限延迟的饥饿问题。

其基于 UML 2.0 架构元模型的组件模型构建。具体组件类型如下：
- 原始组件 ：可视为黑盒，通过接口提供和请求服务，并包含可执行代码。
- 连接器 ：是明确的实体，用于建模两个原始组件之间的连接，且在运行时可动态更改。
- 复合组件 ：包含其他组件（原始组件或复合组件），形成组件层次结构。若复合组件实现了重构接口，就可执行动态重构操作。此接口定义了添加、移除和替换（子组件）以及更改绑定的方法，复合组件会确保重构操作正确且无干扰地执行。例如，在进行替换重构操作时，组件会被替换，其所有连接也会相应更新。

2. 用 TimePredict 预测运行组件的及时性

2.1 统计预测模型

采用基于统计的预测模型来支持动态可重构软件的运行时定时分析。TimePredict 会根据适应周期内分配的时间，调整评估范围和估计的置信度。软件的执行时间行为，特别是在功能适应后不久，能为衡量适应对软件行为的影响提供定性指标。

2.2 软件执行时间影响因素

软件执行时间通常受多种外部因素影响，包括用户输入、处理器缓存和预取、内部系统中断、通信延迟以