14、嵌入式软件通信监控机制解析

嵌入式软件通信监控机制解析

1. 可靠系统中的软件维护问题

在可靠系统里，软件维护是个关键问题。软件层的任何修改都可能引发环境验证的改变，软件变量的名称和地址会变，围绕硬盘存储系统（HdSs）的库、框架和操作系统也会改变，这些修改可能导致绑定属性变化。

采用与软件层实现、源代码及其二进制文件独立的关系，将所提出的技术应用于市场上的设备，能够防止设备进行有缺陷和不可靠的软件更新。而且，这种非侵入式验证环境在设备的同一平台上运行，能为系统提供反馈，在设备出现故障时为系统增添基本的恢复能力。

2. 提出的监控方法

2.1 MDDC模块的工作原理

此方法旨在监控和检查嵌入式软件及其与平台外设之间通信的正确性。它定义了一种合成特定断言监视器（MDDC）的策略，在平台执行期间，MDDC会监听处理元件与外设之间的通信互连，并验证系统断言的真实性，以确保平台正确可靠地执行。

下面通过一个简单的流程图展示MDDC模块的工作流程：

graph LR
    A[平台启动] --> B[CPU访问设备]
    B --> C{是否为验证设备?}
    C -- 是 --> D[MDDC接受访问]
    C -- 否 --> E[MDDC忽略访问]
    D --> F{是否触发断言?}
    F -- 是 --> G[MDDC报告事件并中断CPU]
    F -- 否 --> H[继续监控]
    E --> H
    G --> H

2.2