监控使能的可信软件构造与运行框架

摘要

针对开放环境中的分布网络软件可信保障问题，提出了将监控纳入软件构造和运行时的可信保障框架．该框架为程序员提供了表达监控需求的语言MRL，将监控需求编译为方面代码并植入系统，将受监控软件的运行时信息建模为状态改变事件，复合事件处理引擎运行时根据连续到达的状态改变事件，对复合事件查询表达式表达的监控规则进行检测，实现对系统行为的监控．框架中，状态探测和行为检查相互独立，从而保证对软件运行时的影响最小化，同时又具有较好的扩展性，可在线扩展监控能力．案例分析表明框架能够为基于监控的可信软件构造和运行提供较好的支持，可降低软件生产成本，增强代码的可维护性并提高系统的可用性．