Toggle Main Menu Toggle Search

Open Access padlockePrints

On version state recovery and adjudication in class diversity

Lookup NU author(s): Professor Alexander Romanovsky

Downloads

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


Abstract

The paper proposes a general approach to recovering faulty versions and adjudicating complete states of versions in object-oriented N-version programming which is based on the concepts of the abstract version state and mapping functions. Our recent progress in developing recovery features is reported (the previous results are presented in [1, 2]). We propose employing adjudication of version states as a means for advanced error detection. The properties which the abstract version state and mapping functions should have, in order to be used in both version recovery and state adjudication, are formulated. We introduce state and result adjudication which are useful for object-oriented programming, demonstrate how they can serve the purpose of error detection and discuss situations when the former can be effective (assuming that the latter is always used to guarantee the correctness of results). The paper describes the engineering of abstract version states: we consider three types of programmers involved in N-version programming and show how they share responsibilities and cooperate while applying the approach proposed. The paper discusses important practical issues related to implementation and application of the concepts proposed and demonstrates, with numerous examples, the usability of the approach. A thorough comparison of the existing schemes with our proposal concludes the paper.


Publication metadata

Author(s): Romanovsky A

Publication type: Article

Publication status: Published

Journal: Computer Systems Science and Engineering

Year: 2002

Volume: 17

Issue: 3

Pages: 159-168

Print publication date: 01/05/2002

ISSN (print): 0267-6192

ISSN (electronic):

Publisher: CRL Publishing Ltd.


Actions

Find at Newcastle University icon    Link to this publication


Share