Abstract: Aiming at improving software dependability at runtime, this paper presented a monitoring framework for software properties based on AOP (Aspect-Oriented Programming). Independent of target software, this framework automatically generates monitoring aspects from software properties described by OCL(Object Constraint Language) and UML Profile for SPT (Schedulabihty,Performance,and Time)specification. I3y weaving aspects with target software,the approach makes target software having the ability to monitor software properties at runtime.

Key words: Monitoring framework, SPT specification, Software properties, OCI, AOP