[论文解读] Contego: An Adaptive Framework for Integrating Security Tasks in Real-Time Systems

Monowar Hasan, Sibin Mohan+2 more|arXiv (Cornell University)|Apr 29, 2017

Real-Time Systems Scheduling参考文献 21被引用 12

一句话总结

Contego 是一种自适应框架，通过采用机会执行和分层调度，将安全任务集成到遗留实时系统中，而不会破坏时序约束。它动态调整监控频率和响应能力，在保持可调度性的同时减少检测时间，实现对安全关键系统的有效安全机制改造。

ABSTRACT

Embedded real-time systems (RTS) are pervasive. Many modern RTS are exposed to unknown security flaws, and threats to RTS are growing in both number and sophistication. However, until recently, cyber-security considerations were an afterthought in the design of such systems. Any security mechanisms integrated into RTS must (a) co-exist with the real- time tasks in the system and (b) operate without impacting the timing and safety constraints of the control logic. We introduce Contego, an approach to integrating security tasks into RTS without affecting temporal requirements. Contego is specifically designed for legacy systems, viz., the real-time control systems in which major alterations of the system parameters for constituent tasks is not always feasible. Contego combines the concept of opportunistic execution with hierarchical scheduling to maintain compatibility with legacy systems while still providing flexibility by allowing security tasks to operate in different modes. We also define a metric to measure the effectiveness of such integration. We evaluate Contego using synthetic workloads as well as with an implementation on a realistic embedded platform (an open- source ARM CPU running real-time Linux).

研究动机与目标

• 应对嵌入式实时系统（RTS）日益增长的网络攻击威胁，特别是在航空、电网和自动驾驶车辆等安全关键领域。
• 解决安全需求（如频繁监控）与实时约束之间存在的矛盾，后者要求任务执行具有可预测性和及时性。
• 在无法修改现有任务参数（如周期、优先级）的情况下，实现对遗留 RTS 的安全机制改造。
• 提供一种灵活、自适应的框架，根据系统状态和威胁水平支持安全任务的多种运行模式。
• 开发一种度量标准，用于评估安全集成在检测响应速度和时序安全性方面的有效性。

提出的方法

• 将安全任务作为突发性、低优先级任务集成到系统的实时调度器中，以避免对高优先级控制任务造成干扰。
• 使用分层调度，使安全任务可根据系统状态在不同模式下运行——例如周期性监控或按需深度检测。
• 采用机会执行机制：仅在无更高优先级实时任务运行时执行安全任务，最大限度减少对时序保证的影响。
• 引入模式间的自适应切换，以在疑似入侵期间提升检测速度，在不违反实时约束的前提下缩短检测时间。
• 基于期望监控周期与可实现监控周期之间的偏差定义度量标准，以量化集成的有效性。
• 通过合成工作负载和在基于 ARM 的实时 Linux 平台上的实际实现对框架进行评估。

实验结果

研究问题

• RQ1 如何在不修改现有任务参数或违反实时约束的前提下，将安全任务集成到遗留实时系统中？
• RQ2 何种调度策略能够在最小化对高优先级控制任务干扰的同时，实现有效的安全监控？
• RQ3 在疑似攻击期间，如何提升安全任务的响应速度，同时不损害系统的可调度性？
• RQ4 何种度量标准能够有效捕捉安全有效性与时序性能之间的权衡？
• RQ5 安全任务的自适应多模式运行在多大程度上可减少检测时间，同时保持时序可预测性？

主要发现

• Contego 在无需架构变更或修改现有任务参数的情况下，成功将安全任务集成到遗留实时系统中。
• 通过机会执行与分层调度相结合，框架保持了可调度性和实时保证，确保高优先级控制任务从不被延迟。
• 自适应模式切换在可疑事件期间实现更快检测，与固定优先级、低频监控相比，显著缩短了检测时间。
• 所提出的度量标准有效量化了期望监控频率与可实现监控频率之间的权衡，为评估安全集成质量提供了依据。
• 在基于 ARM 的真实实时 Linux 平台上的评估结果表明，Contego 在保持系统时序约束的同时实现了高安全响应速度。
• 该框架在真实嵌入式环境中展示了可行性与有效性，支持在安全关键系统中对安全机制进行改造。