Temporal specification and deductive verification of a distributed component model and its environment

Basso, Alessandro and Bolotov, Alexander and Getov, Vladimir (2009) Temporal specification and deductive verification of a distributed component model and its environment. In: Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009 (SSIRI 2009). IEEE, pp. 379-386. ISBN 9780769537580

[img]
Preview
PDF
Basso_Bolotov_Getov_2009_as_published.pdf

Download (450kB)
Official URL: http://dx.doi.org/10.1109/SSIRI.2009.61

Abstract

In this paper we investigate the formalisation of distributed and long-running stateful systems using our normative temporal specification framework. We analyse aspects of a component-oriented Grid system, and the benefits of having a logic-based tool to perform automated and safe dynamic reconfiguration of its components. We describe which parts of this Grid system are involved in the reconfiguration process and detail the translation procedure into a state-based formal specification. Subsequently, we apply deductive verification to test whether dynamic reconfiguration can be performed. Finally, we analyse the procedure required to update our model for reconfiguration and justify the validity and the advantages of our methodology.

Item Type: Book Section
Subjects: University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)
Depositing User: Miss Nina Watts
Date Deposited: 25 Jan 2010 14:43
Last Modified: 11 Aug 2010 14:36
URI: http://westminsterresearch.wmin.ac.uk/id/eprint/7333

Actions (login required)

Edit Item (Repository staff only) Edit Item (Repository staff only)