植入式安全性质监控技术  

Embedded Monitoring Technology for Safety Property

作　　者：彭中[1] 毛晓光[1] 谢彬[2] 

机构地区：[1]国防科技大学计算机学院,长沙410073 [2]华东计算技术研究所,上海200233

出　　处：《计算机工程》2008年第B09期60-62,共3页Computer Engineering

基　　金：国家自然科学基金资助项目(60503032);国家“863”计划课题基金资助项目(2006AA01Z178,2007AA010301)

摘　　要：针对安全性质,提出一种植入式监控方法。使用OCL(Object Constraint Language)实现安全性质在模型上的描述,并将OCL约束转化为Java监控代码,从而实现监控信息由模型到代码的映射。该方法采用AOP(Aspect-Oriented Programming)技术将监控代码植入目标系统,使软件在运行时具备安全性质的监控能力。An embedded monitoring approach for safety property is presented. Safety property is described on the model by OCL（Object Constraint Language）. The OCL constraints are transformed to Java code. A mapping from model to code of monitoring information is buuilt. By adopting AOP（Aspect-Oriented Programming） technology to insert monitor code into target system, this approach makes software system have the ability of monitoring safety property at runtime.

关 键 词：安全性质 监控 对象约束语言 面向方面编程 

分 类 号：TP309.2[自动化与计算机技术—计算机系统结构]