Toggle Main Menu Toggle Search

Open Access padlockePrints

Abstract Object State and Version Recovery in N-Version Programming

Lookup NU author(s): Professor Alexander RomanovskyORCiD


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


The paper deals with the use of software diversity, specifically, N-version programming (NVP) in object oriented (OO) systems. We formulate the problem of faulty version recovery and show how our NVP scheme, developed recently, can be extended to solve it. Our approach relies on using the abstract version state, which represents a common general description of the states of all correct version objects. The recovery consists in mapping the state of a correct version onto the state of the faulty version via the abstract state. We introduce a formal description of our model and show that many ideas related to object state abstraction can be found in the existing research on OO programming. We discuss extensions of LAYOM and PSL as promising practical approaches for developing recovery features in OO programming. As an alternative solution, we propose a meta-object architecture and a related protocol which can facilitate the solution of the object version recovery problem.

Publication metadata

Author(s): Romanovsky A

Editor(s): Mitchell, R., Cameron, A.C., Bosch, J., Meyer, B.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 29th IEEE International Conference on Technology of Object-Oriented Languages and Systems (TOOLS / Europe-29)

Year of Conference: 1999

Pages: 86-95

Publisher: IEEE


DOI: 10.1109/TOOLS.1999.779002

Library holdings: Search Newcastle University Library for this item

ISBN: 076950275X