基于字节码的软件监控及可信演化编程框架
为解决复杂开放环境中的分布式软件的可信问题,针对无源代码遗留系统提出了一种基于字节码的软件监控及可信演化编程框架,将软件监控以及演化能力纳入软件构造和运行过程中。该框架包括业务逻辑及监控需求描述模块(BMDM)、监控能力注入模块(MCIM)和在线演化处理模块(OEM)3部分,BMDM为用户提供了MRL 语言来进行监控需求的描述;MCIM将监控需求编译为方面代码,通过基于字节码的AOP技术植入源系统,生成具备监控能力的目标系统,并将监控信息以事件形式发送到OEM;OEM将获得的状态事件与预定义的演化规则进行实时匹配,当预定义的演化规则被触发时,执行演化动作,实现对系统行为的实时监测及修正。最后,通过实际案例分析表明该框架能够有效地构造具有监控及演化能力的可信软件。
可信计算 软件监控 在线演化 反射机制 编程框架 字节码
李振东 郭长国 丁博 史殿习 刘东波
国防科技大学计算机学院,湖南长沙 410073 国防科技大学并行与分布处理国家重点实验室,湖南长沙 410073 国防科技大学计算机学院,湖南长沙 410073 中国电子设备系统工程公司,北京 100039 中国电子设备系统工程公司,北京 100039
国内会议
无锡
中文
50-55
2011-11-14(万方平台首次上网日期,不代表论文的发表时间)