Embedded Monitoring Technology for Safety Property
Zhong Peng · Jisuanji gongcheng · 2008
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 built.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.