Show simple item record

dc.contributor.authorCarrasco, Juan A.
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament d'Enginyeria Electrònica
dc.date.accessioned2014-07-18T07:36:49Z
dc.date.available2014-07-18T07:36:49Z
dc.date.created1987
dc.date.issued1987
dc.identifier.citationCarrasco, J. Analysis of sparse numerical methods for dependability evaluation. A: IASTED International Symposium Identification, Modeling and Simulation. "Identification, modelling and simulation: Paris, France, June 22-24, 1987". ACTA Press, 1987, p. 437-441.
dc.identifier.isbn0889861307
dc.identifier.urihttp://hdl.handle.net/2117/23545
dc.description.abstractHomogeneous, continuous-time Markov chains are an usual mathematical tool for dependability evaluation of computer systems. Complex systems rise the large state space problem, thus making mandatory the use of efficient numerical methods. This paper analyzes state of the art sparse methods in the context of the development of an enhanced version of an existing tool. We first consider point SOR for the evaluation of the stationary probability and mean time before absorption vectors. By dynamic adjustment of the relaxation parameter a very high convergence rate is attained in many cases. The convergence rate is however rather poor when the Markov chain contains highly recurrent subsets. In order to improve the method we propose the integration of a novel, exact, one-step aggregation technique with block SOR. For the evaluation of the transient regime, two methods are compared: randomization and implicit integration. Scenarios in which one of them is clearly preferable are described.
dc.format.extent5 p.
dc.language.isoeng
dc.publisherACTA Press
dc.subjectÀrees temàtiques de la UPC::Informàtica::Sistemes d'informació
dc.subject.lcshFault-tolerant computing
dc.titleAnalysis of sparse numerical methods for dependability evaluation
dc.typeConference report
dc.subject.lemacTolerància als errors (Informàtica)
dc.contributor.groupUniversitat Politècnica de Catalunya. QINE - Disseny de Baix Consum, Test, Verificació i Circuits Integrats de Seguretat
dc.rights.accessOpen Access
drac.iddocument2558782
dc.description.versionPostprint (published version)
upcommons.citation.authorCarrasco, J.
upcommons.citation.contributorIASTED International Symposium Identification, Modeling and Simulation
upcommons.citation.publishedtrue
upcommons.citation.publicationNameIdentification, modelling and simulation: Paris, France, June 22-24, 1987
upcommons.citation.startingPage437
upcommons.citation.endingPage441


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder