Software-based critical systems

Laprie, Jean-Claude

doi:10.1007/978-1-4471-0937-2_14

Cited by 6 publications

(2 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It looks as if there were no software design faults. But the situation is just the opposite, and there is a lot of evidence that software faults and defects are becoming the dominating factor in decreasing the system dependability (see, for instance, [37][38][39]). It is getting clearer now that one needs structuring techniques which allow tolerating faults of all sorts and their combinations.…”

Section: Discussionmentioning

confidence: 99%

On Structuring Cooperative and Competitive Concurrent Systems

Romanovsky

1999

The Computer Journal

View full text Add to dashboard Cite

Developing advanced structuring techniques has always been of great importance for computer science and practice. Many structuring approaches are used to help capture certain characteristics of applications: group communications, replication features, file services, etc. Procedures were among the first general techniques intended for structuring application software. They reflect both the static and dynamic structures of sequential systems (a stack of procedure contexts of nested calls represents the state of program execution). The situation is much more complex in concurrent systems, in which the states of several concurrent components should be taken into consideration while describing the system behaviour. The purpose of this survey is to outline recent trends in developing structuring approaches for competitive and cooperative concurrent systems and to discuss different directions of research in this area and their interrelations.

show abstract

Section: Discussionmentioning

confidence: 99%

On Structuring Cooperative and Competitive Concurrent Systems

Romanovsky

1999

The Computer Journal

View full text Add to dashboard Cite

show abstract

“…Analysis of failures in the existing systems shows that the ratio of failures caused by software faults (bugs) is increasing [1]. All experience in using different software engineering techniques and paradigms demonstrates that it is not possible to develop a reasonably large program without bugs.…”

Section: Introductionmentioning

confidence: 99%

Abstract object state and version recovery in N-version programming

Romanovsky

Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275)

View full text Add to dashboard Cite

This 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. The paper finishes with a brief discussion of engineering steps which have to be done for developing recoverable version objects and of some approaches which can improve the reusability of the scheme proposed.

show abstract

Fault Tolerant Computing

Laprie¹,

Arlat²,

Beounes

et al. 1999

Wiley Encyclopedia of Electrical and Electronics Engineering

View full text Add to dashboard Cite

The sections in this article are Basic Concepts and Terminology Error Detection Error Recovery Distributed Systems Fault‐Tolerant System Development Case Study Summary and Future Directions General Conclusions

show abstract

Software-based critical systems

Cited by 6 publications

References 11 publications

On Structuring Cooperative and Competitive Concurrent Systems

On Structuring Cooperative and Competitive Concurrent Systems

Abstract object state and version recovery in N-version programming

Fault Tolerant Computing

Contact Info

Product

Resources

About