DSpace
 

DSpace at IIT Bombay >
IITB Publications >
Proceedings papers >

Please use this identifier to cite or link to this item: http://dspace.library.iitb.ac.in/jspui/handle/10054/1500

Title: Safety analysis for dynamic update of object oriented programs
Authors: MURARKA, YOGESH
BELLUR, UMESH
JOSHI, RUSHIKESH K
Keywords: object oriented programming
computer programming languages
software engineering
theorem proving
Issue Date: 2006
Publisher: IEEE
Citation: Proceedings of the XIII Asia Pacific Software Engineering Conference, Bangalore, India, 6-8 December 2006, 225-232
Abstract: 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 executions have to be isolated from process update are annotated by the user. Conditions are also provided for ensuring isolation of the update process from execution of annotated parts of the program.
URI: 10.1109/APSEC.2006.49
http://hdl.handle.net/10054/1500
http://dspace.library.iitb.ac.in/xmlui/handle/10054/1500
ISBN: 0-7695-2685-3
Appears in Collections:Proceedings papers

Files in This Item:

File Description SizeFormat
4137387-1.pdf467.12 kBAdobe PDFView/Open
View Statistics

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback