Title :
Bytecode-based software monitoring and trusted evolution programming framework
Author :
Zhen-Dong, Li ; Chang-guo, Guo ; Bo, Ding ; Dian-Xi, Shi ; Dong-Bo, Liu
Author_Institution :
Dept. of Comput. Sci. & Technol., Nat. Univ. of Defense Technol., Changsha, China
Abstract :
Point to reliability of distributed software in open complex environment, this paper proposes a bytecode-based software monitoring and trusted evolution programming framework, which injects monitoring ability and evolution ability into the software in construction and running phase. The framework is comprised of three module, business-logic and monitor-requirement description module (BMDM), monitoring capability infusing module (MCIM), and online evolution module (OEM), BMDM provides monitoring requirement expression language MRL+, MCIM compiles monitoring requirements monitoring requirement into aspect code, insert aspect code into source system by bytecode-based AOP technology, generate the target system with monitoring ability, and send monitoring information to OEM by event. OEM compares the state event with predefined evolution rules, when the predefined rules are triggered, perform the evolution actions, achieve real-time system´s monitoring and correction. Finally, actual cases are analyzed to show that the framework can construct reliability software with monitoring ability and evolution ability efficiently.
Keywords :
aspect-oriented programming; formal specification; program verification; software maintenance; software reliability; system monitoring; trusted computing; MCIM; MRL+; aspect code insertion; business-logic description module; bytecode-based AOP technology; bytecode-based software monitoring; distributed software reliability; evolution ability; evolution action; evolution rules; monitor-requirement description module monitoring capability infusing module; monitoring ability; monitoring information; monitoring requirement expression language; online evolution module; open complex environment; real-time system monitoring; software construction; source system; system correction; trusted evolution programming; Robots; on-line evolution; programming framework; reflection mechanism; software monitor; trusted computing;
Conference_Titel :
Robotics and Applications (ISRA), 2012 IEEE Symposium on
Conference_Location :
Kuala Lumpur
Print_ISBN :
978-1-4673-2205-8
DOI :
10.1109/ISRA.2012.6219232