运行时验证是一种轻量级的形式化验证方法，它通过检测目标系统的当前执行是否满足给定的高层规约来实现对目标系统的验证。对于复杂的验证系统，运行时开销有时是非常巨大的。减少运行时开销，是运行时验证中一个至关重要的研究内容。因此，优化监控过程中的运行时开销不仅能够有效地缓解了监控器生成过程中的组合爆炸问题，而且能验证实时性和并发性的要求。　　为了解决运行时验证中的优化开销问题，本文提出了一种基于混合式监控机制的优化监控开销方法。该方法在混合式监控机制的基础上，结合事件触发监控方式和时间触发监控方式的优势，通过数学规划方法实现了开销优化方案的求解，从而实现了运行时开销对系统影响最小化的目标。具体工作如下:　　第一，对带有关键指令的控制流图进行优化，实现了监控器以一个优化的采样频率来对程序进行采样，即将运行时验证中的优化开销问题转化为带有关键指令的控制流图(CFG)优化问题，将CFG图转换成整数线性规划模型，再对模型进行求解得到最优值，从而实现最优化的CFG图。　　第二，将优化后的CFG图与基本开销配置相结合，利用开销计算公式计算总开销，实现优化的监控总开销。　　第三，结合实际程序例子，采用实证研究的方式，分别从事件触发监控方式、时间触发监控方式、混合式监控方式三种情况来设计实验，构造数据并进行对比分析，相关实验表明了本文所提出的优化监控开销方法具有有效性和可行性。