loading...
Safety Analysis for Dynamic Update of Object Oriented Programs
Bangalore, India December 06-December 08
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APSEC.2006.4913th Asia Pacific Software Engineerin ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Yogesh Murarka, Indian Institute of Technology Bombay, Mumbai - 400076, India
Umesh Bellur, Indian Institute of Technology Bombay, Mumbai - 400076, India
Rushikesh K. Joshi, Indian Institute of Technology Bombay, Mumbai - 400076, India
Maintenance downtime and overheads for applying patches are major concerns for systems requiring round the clock availability. Hence, methods for carrying out dynamic updates are needed. However, correctness of the system during and after every dynamic update needs to be ensured. This paper defines two safety criteria, type consistency and isolation of process execution for dynamic software update. Updates involving one or more insertions of new classes, removals of old classes and replacements of old classes are considered. The condition for producing a type safe update schedule is defined. The parts of the program whose execu- tions have to be isolated from process update are annotated by the user. Conditions are also provided for ensuring isola- tion of the update process from execution of annotated parts of the program.
Citation:
Yogesh Murarka, Umesh Bellur, Rushikesh K. Joshi, "Safety Analysis for Dynamic Update of Object Oriented Programs," apsec, pp.225-232, 13th Asia Pacific Software Engineering Conference (APSEC'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.