第 8 章实时内核运行时验证

运行时验证是一种轻量级且严格的方法，用于检查系统事件及其正式规格之间的行为等效性。运行时验证有集成在附加到 tracepoints 的内核中的监控。如果系统状态与定义的规格不同，则运行时验证程序会激活响应器来通知或启用反应，如在日志文件或系统关闭时捕获事件以防止极端情况下的传播。

8.1. 运行时监控和响应器

运行时验证(RV)监控器封装在 RV 监控抽象中，并在定义的规格和内核追踪之间协调，以在 trace 文件中捕获运行时事件。RV 监控器包括：

除了在运行时验证和监控系统外，您还可以启用对意外系统事件的响应。反应形式的反应可能与在 trace 文件中捕获事件不同，以启动非常反应，如关闭，以避免在安全关键系统上出现系统故障。

Reactors 是 RV 监视器可用的反应方法，根据需要定义对系统事件的反应。默认情况下，监控器提供操作的追踪输出。

返回顶部