WestminsterResearch

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
439Kb

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
Research Community:University of Westminster > Electronics and Computer Science, School of
ID Code:7333
Deposited On:25 Jan 2010 14:43
Last Modified:11 Aug 2010 15:36

Repository Staff Only: item control page