Embedding fault-tolerant properties in the design of complex software systems

1994 ◽  
Vol 25 (1) ◽  
pp. 23-37 ◽  
Author(s):  
Angelo Perkusich ◽  
J.C.A de Figueiredo ◽  
S.K Chang
Keyword(s):  
Fault Tolerant ◽  
Software Systems

Portable and fault-tolerant software systems

IEEE Micro ◽  
1998 ◽  
Vol 18 (5) ◽  
pp. 22-32 ◽  
Author(s):  
V. Strumpen
Keyword(s):  
Fault Tolerant ◽  
Software Systems

Collaborative Industrial Automation

2008 ◽  
pp. 650-665
Author(s):  
Armando Walter Colombo ◽  
Ronald Schoop
Keyword(s):  
21St Century ◽  
Industrial Application ◽  
Fault Tolerant ◽  
Academic Research ◽  
Shop Floor ◽  
Software Systems ◽  
Industrial Automation ◽  
Virtual Factory ◽  
New Vision ◽  
Automation Technology

This chapter summarizes our latest results concerning the development and the industrial application of the emerging “collaborative industrial automation” technology and its powerful meaning for facilitating the integration of a dynamic reconfigurable shop floor into a virtual factory. It argues, in this respect, that having a conglomerate of distributed, autonomous, intelligent, fault-tolerant, and reconfigurable production units, which operate as a set of cooperating entities, is one promising platform to achieve both local and global manufacturing objectives. Furthermore, the authors hope that understanding the underlying scientific and technological background through the development and industrial application of the collaborative automation paradigm will not only inform the academic, research, and industrial world of an emerging control and automation paradigm, but also assist in the understanding of a new vision of the manufacturing system of the 21st century [a mix of collaborative units, i.e., people, software systems, processes, and equipment (hardware), integrated into a virtual factory].

Distributed Systems

2020 ◽  
pp. 143-198
Author(s):  
Andreas Bolfing
Keyword(s):  
Distributed Systems ◽  
Fault Tolerant ◽  
Deterministic Algorithm ◽  
Impossibility Result ◽  
Software Systems ◽  
Trade Off ◽  
Byzantine Failures ◽  
The Individual ◽  
Special Case

Chapter 5 considers distributed systems by their properties. The first section studies the classification of software systems, which is usually distinguished in centralized, decentralized and distributed systems. It studies the differences between these three major approaches, showing there is a rather multidimensional classification instead of a linear one. The most important case are distributed systems that enable spreading of computational tasks across several autonomous, independently acting computational entities. A very important result of this case is the CAP theorem that considers the trade-off between consistency, availability and partition tolerance. The last section deals with the possibility to reach consensus in distributed systems, discussing how fault tolerant consensus mechanisms enable mutual agreement among the individual entities in presence of failures. One very special case are so-called Byzantine failures that are discussed in great detail. The main result is the so-called FLP Impossibility Result which states that there is no deterministic algorithm that guarantees solution to the consensus problem in the asynchronous case. The chapter concludes by considering practical solutions that circumvent the impossibility result in order to reach consensus.

scholarly journals Reliability of voting in fault-tolerant software systems for small output-spaces

1990 ◽  
Vol 39 (5) ◽  
pp. 524-534 ◽  
Author(s):  
D.F. McAllister ◽  
C.-E. Sun ◽  
M.A. Vouk
Keyword(s):  
Fault Tolerant ◽  
Software Systems

A fault-tolerant software architecture for COTS-based software systems

2003 ◽  
Vol 28 (5) ◽  
pp. 375-378 ◽  
Author(s):  
Paulo Asterio de C. Guerra ◽  
Cecília Mary F. Rubira ◽  
Alexander Romanovsky ◽  
Rogério de Lemos
Keyword(s):  
Software Architecture ◽  
Fault Tolerant ◽  
Software Systems

Cost modeling of N-version fault-tolerant software systems for large N

1996 ◽  
Vol 45 (2) ◽  
pp. 297-302 ◽  
Author(s):  
R.K. Scott ◽  
D.F. McAllister
Keyword(s):  
Fault Tolerant ◽  
Cost Modeling ◽  
Software Systems ◽  
Large N

Simulation model of dependability of redundant computer systems with recurrent information recovery

Dependability ◽  
2018 ◽  
Vol 18 (3) ◽  
pp. 10-17 ◽  
Author(s):  
I. V. Egorov
Keyword(s):  
Simulation Model ◽  
Fault Tolerant ◽  
Soft Errors ◽  
Management Systems ◽  
Design Stage ◽  
Software Systems ◽  
Dependability Evaluation ◽  
Dependability Analysis ◽  
Information Management Systems

Today’s digital nanotechnology-based information management systems are especially sensitive to highly-energized particles during operation in irradiated areas. This sensitivity is most often manifested in the form of intermittent soft errors, i.e. distortion of information bits in the system’s memory elements with no hardware failure. The cause is in the afterpulses at the output of the logical elements that occur as the result of ionization of the gate area of the transistor’s semiconductor after it is exposed to a highly-energized particle. In order to counter soft errors the system is equipped with self-repair mechanisms that ensure regular replacement of distorted data with correct data. If this approach to design is employed, the significance of dependability analysis of the system under development increases significantly. Since regular occurrence of soft errors is essentially normal operating mode of a system in conditions of increased radiation, dependability analysis must be repeatedly conducted at the design stage, as that is the only way to duly evaluate the quality of the taken design decisions. The distinctive feature of fault-tolerant hardware and software systems that consists in the presence of nonprobabilistic recovery process limits the applicability of the known methods of dependability analysis. It is difficult to formalize the behaviour of such systems in the form of a dependability model in the context of the classic dependability theory that is geared towards the evaluation of hardware structure. As it has been found out, the application of conventional methods of dependability analysis (such as the Markovian model or probabilistic logic) requires making a number of assumptions that result in unacceptable errors in the evaluation results or its inapplicability.Aim. Development of the model and methods of dependability analysis that would allow evaluating the dependability of hardware and software systems with periodic recovery.Results. A simulation model was developed that is intended for dependability evaluation of complex recoverable information management systems. The model is a network of oriented state graphs that allows describing the behaviour of a recoverable system subject to the presence of computation processes and recovery processes that operate according to non-stochastic algorithms. Based on the simulation model, a software tool for dependability analysis was developed that enables probabilistic estimation of dependability characteristics of individual system units and its overall structure by means of computer simulation of failures and recoveries. This tool can be used for comprehensive dependability evaluation of hardware and software systems that involves the analysis of recoverable units with complex behaviour using the developed simulation model, and their operation along with simple hardware components, such as power supplies and fuses, using conventional analytical methods of dependability analysis. Such approach to dependability evaluation is implemented in the Digitek Reliability Analyzer dependability analysis software environment.Practical significance.The application of the developed simulation model and dependability analysis tool at the design stage enables due evaluation of the quality of the produced fault tolerant recoverable system in terms of dependability and choose the best architectural solution, which has a high practical significance.

Sign in / Sign up

Export Citation Format

Share Document