03380nam a22005055i 4500001001800000003000900018005001700027007001500044008004100059020001800100020001900118024003500137082001500172100003200187245012900219264003800348300003600386336002600422337002600448338003600474347002400510490005900534505029500593520123300888650001702121650003502138650003302173650002202206650001902228650002302247650001702270650005102287650003302338650008902371650004202460650003902502650002702541700002902568700002702597710003402624773002002658776003602678830005902714856010102773978-0-85729-318-3DE-He21320260521092039.0cr nn 008mamaa110719s2011 xxk| s |||| 0|eng d a9780857293183 a997808572931837 a10.1007/978-0-85729-318-32doi04a658.562231 aVerma, Ajit Kumar.eauthor.10aDependability of Networked Computer-based Systemsh[electronic resource] /cby Ajit Kumar Verma, Srividya Ajit, Manoj Kumar. 1aLondon :bSpringer London,c2011. aXVIII, 202 p.bonline resource. atextbtxt2rdacontent acomputerbc2rdamedia aonline resourcebcr2rdacarrier atext filebPDF2rda1 aSpringer Series in Reliability Engineering,x1614-78390 a1. Introduction -- 2. Probability Theory -- 3. Stochastic Processes and Models -- 4. Dependability Models of Computer-based Systems -- 5 Network Technologies for Real-time systems -- 6. Response-time Models and Timeliness Hazard Rate -- 7. Dependability of Networked Computer-based Systems. aThe measurement of dependability attributes on real systems is a very time-consuming and costly affair, making analytical or simulation modeling the only viable solutions. Dependability of Networked Computer-based Systems explores reliability, availability and safety modeling of networked computer-based systems used in life-critical applications such as avionics, nuclear power plants, automobiles and chemical process industries. Dependability of Networked Computer-based Systems gives an overview of basic dependability modeling concepts and addresses new challenges in dependability modeling of networked computer-based systems, as well as new trends, their capabilities and limitations. It covers a variety of dependability modeling methods: stochastic processes, Markov and semi-Markov models, response-time distribution, stochastic Petri-net-based modeling formalisms, and Monte Carlo simulation models. Dependability of Networked Computer-based Systems provides students and researchers with a detailed overview of dependability models and analysis techniques. Practicing engineers will also find this text a useful guide to decision-making based on system dependability at the design, operation and maintenance stages. 0aENGINEERING. 0aOPERATING SYSTEMS (COMPUTERS). 0aCOMPUTER SYSTEM PERFORMANCE. 0aCOMPUTER SCIENCE. 0aSYSTEM SAFETY. 0aTELECOMMUNICATION.14aENGINEERING.24aQUALITY CONTROL, RELIABILITY, SAFETY AND RISK.24aPERFORMANCE AND RELIABILITY.24aSTATISTICS FOR ENGINEERING, PHYSICS, COMPUTER SCIENCE, CHEMISTRY AND EARTH SCIENCES.24aCOMMUNICATIONS ENGINEERING, NETWORKS.24aSYSTEM PERFORMANCE AND EVALUATION.24aMODELS AND PRINCIPLES.1 aAjit, Srividya.eauthor.1 aKumar, Manoj.eauthor.2 aSpringerLink (Online service)0 tSpringer eBooks08iPrinted edition:z9780857293176 0aSpringer Series in Reliability Engineering,x1614-783940uhttp://dx.doi.org/10.1007/978-0-85729-318-3zVer el texto completo en las instalaciones del CICY