The University of Southampton
University of Southampton Institutional Repository

Behavioural Properties and Dynamic Software Update for Concurrent Programs, Thesis Progress Report

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
s.n.
Anderson, Gabrielle
ca46dd5b-2682-44ab-b2b5-9560396dabba
Anderson, Gabrielle
ca46dd5b-2682-44ab-b2b5-9560396dabba

Anderson, Gabrielle (2011) Behavioural Properties and Dynamic Software Update for Concurrent Programs, Thesis Progress Report s.n.

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.

PDF
minithesis.pdf - Other
Available under License Other.
Download (751kB)

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: https://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: 18 Jul 2017 06:36

Export record

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of https://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×