Behavioural Properties and Dynamic Software Update for Concurrent Programs, Thesis Progress Report
Anderson, Gabrielle (2011) Behavioural Properties and Dynamic Software Update for Concurrent Programs, Thesis Progress Report.
- Draft Version
Available under License Creative Commons Attribution No Derivatives.
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”  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.
|Item Type:||Monograph (Technical Report)|
|Keywords:||dynamic software update; concurrency; behavioural properties; model checking; type and effect systems|
|Divisions:||Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems
|Date Deposited:||09 Feb 2011 10:59|
|Last Modified:||01 Mar 2012 13:41|
|Contributors:||Anderson, Gabrielle (Author)
|Date:||8 February 2011|
|Contact Email Address:||firstname.lastname@example.org|
|Further Information:||Google Scholar|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Actions (login required)