Guidance for the use of the Ada programming language in high integrity systems
ACM SIGAda Ada Letters
Class diversity support in object-oriented languages
Journal of Systems and Software
State restoration in Ada 95: a portable approach to supporting software fault tolerance
Journal of Systems and Software
Fault Tolerance: Principles and Practice
Fault Tolerance: Principles and Practice
Abstract Object State and Version Recovery in N-Version Programming
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
| Hi-index | 0.00 |
This paper proposes a new N-version programming (NVP) scheme which allows several caller tasks to jointly use components which are designed diversely. Diversity is applied here at the level of classes in such a way that several version classes (objects) are developed separately and independently, and are encapsulated into a diversely designed object. Such objects are to be implemented in a special stylised way to incorporate a controlling mechanism which would deal with task and version synchronisation, adjudication of version output parameters and states, faulty version recovery, etc. The general approach is demonstrated using Ada. We outline the characteristics of applications which benefit from using such NVP scheme, discuss the engineering of diversely designed objects and of the software which uses them and describe several possible extensions of the scheme.