Behavioural Properties and Dynamic Software Update for Concurrent Programs, Thesis Progress Report
Behavioural Properties and Dynamic Software Update for Concurrent Programs, Thesis Progress Report
Correctly developing multi-threaded programs is notoriously difficult, and getting total coverage using traditional testing paradigms, to guarantee the program is correct, is often infeasible. We expand on previous work to provide various tools, namely a generalisation of session typing and an extension of policy automata to multi-threaded code, with which to verify multi-threaded code. Additionally, most programs are not written once and then left; maintaining and updating software is an essential part of the software development cycle. Dynamic software update (DSU) “is a technique by which a running program can be updated with new code and data without interrupting its execution” [45] and uses code analyses to ensure given safety properties are maintained across update boundaries. We present techniques for verifying if a modification can be applied to a running program whilst maintaining the desired behavioural properties, which may be those the program had before or some new properties.
dynamic software update, concurrency, behavioural properties, model checking, type and effect systems
Anderson, Gabrielle
ca46dd5b-2682-44ab-b2b5-9560396dabba
8 February 2011
Anderson, Gabrielle
ca46dd5b-2682-44ab-b2b5-9560396dabba
Anderson, Gabrielle
(2011)
Behavioural Properties and Dynamic Software Update for Concurrent Programs, Thesis Progress Report
Record type:
Monograph
(Project Report)
Abstract
Correctly developing multi-threaded programs is notoriously difficult, and getting total coverage using traditional testing paradigms, to guarantee the program is correct, is often infeasible. We expand on previous work to provide various tools, namely a generalisation of session typing and an extension of policy automata to multi-threaded code, with which to verify multi-threaded code. Additionally, most programs are not written once and then left; maintaining and updating software is an essential part of the software development cycle. Dynamic software update (DSU) “is a technique by which a running program can be updated with new code and data without interrupting its execution” [45] and uses code analyses to ensure given safety properties are maintained across update boundaries. We present techniques for verifying if a modification can be applied to a running program whilst maintaining the desired behavioural properties, which may be those the program had before or some new properties.
Text
minithesis.pdf
- Other
Available under License Other.
More information
Published date: 8 February 2011
Keywords:
dynamic software update, concurrency, behavioural properties, model checking, type and effect systems
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 271995
URI: http://eprints.soton.ac.uk/id/eprint/271995
PURE UUID: 79aa0404-ed29-4cb0-872f-56ca1b1ab1ec
Catalogue record
Date deposited: 09 Feb 2011 10:59
Last modified: 14 Mar 2024 09:44
Export record
Contributors
Author:
Gabrielle Anderson
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics