Comparison of hybrid modular redundant multiprocessor systems with respect to performabilities

Chen, C.; Asada, Hiroyuki; Kakuda, Yoshiaki; Kikuno, Tohru

doi:10.1109/ftcs.1993.627309

Cited by 2 publications

(1 citation statement)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…These are mainly focused on the specification or design of fault tolerance procedures [4][5][6][7] , while papers on dependability evaluation are few (see e. g., [8,9] where a qualitative evaluation of an ATC system is performed). Likewise, a number of papers dealing with performance and dependability modeling of real-life systems using Markov chains, GSPNs or their offspring's have been published [10][11][12][13][14][15][16][17] . Most of them only consider the hardware part of a system and, when the software is considered, the interactions between hardware and software are not explicitly modeled.…”

Section: Introductionmentioning

confidence: 99%

Availability of CAUTRA, a subset of the French air traffic control system

Kanoun

Borrel

Morteveille³

et al. 1999

IEEE Trans. Comput.

View full text Add to dashboard Cite

The aim of our work is to provide a quantified means helping in the definition of a new architecture for CAUTRA, a subset of the French Air Traffic Control system. In this paper we define a set of alternative architectures, give some elements for constructing their dependability models and compare their availability. Modeling is carried out following a modular and systematic approach, based on the derivation of block models at a high level of abstraction. In a second step, the blocks are replaced by their equivalent Generalized Stochastic Petri Nets to build up the detailed model of the architecture. The evaluations performed permit identification of a subset of architectures whose availability meets the dependability requirements and also identification of the best architecture among this subset.

show abstract