Dependability of Networked Computer-based Systems

作者: Ajit Kumar Verma , Manoj Kumar , Srividya Ajit

DOI:

关键词:

摘要: The 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 Networked Computer-based Systems explores reliability, availability safety networked computer-based used in life-critical applications such as avionics, nuclear power plants, automobiles chemical process industries. gives an overview basic concepts addresses new challenges systems, well trends, their capabilities limitations. It covers variety methods: stochastic processes,Markov semi-Markov models,response-time distribution,stochastic Petri-net-based formalisms, andMonte Carlo models.Dependability provides students researchers with detailed models analysis techniques. Practicing engineers will also find this text useful guide to decision-making based system at design, operation maintenance stages.

参考文章(14)
Barry W. Johnson, Design & analysis of fault tolerant digital systems Addison-Wesley Longman Publishing Co., Inc.. ,(1988)
G. Ciardo, K.S. Trivedi, J.K. Muppala, Stochastic Reward Nets for Reliability Prediction Communications in Reliability, Maintainability and Serviceability: An International Journal published by SAE International. ,(1996)
J.B. Dugan, K.S. Trivedi, Coverage modeling for dependability analysis of fault-tolerant systems IEEE Transactions on Computers. ,vol. 38, pp. 775- 787 ,(1989) , 10.1109/12.24286
J.K. Muppala, S.P. Woolet, K.S. Trivedi, Real-time systems performance in the presence of failures Computer. ,vol. 24, pp. 37- 47 ,(1991) , 10.1109/2.76285
Marco Ajmone Marsan, Gianni Conte, Gianfranco Balbo, A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems ACM Transactions on Computer Systems. ,vol. 2, pp. 93- 122 ,(1984) , 10.1145/190.191
David J. Aldous, Meeting times for independent Markov chains Stochastic Processes and their Applications. ,vol. 38, pp. 185- 193 ,(1991) , 10.1016/0304-4149(91)90090-Y
Idit Keidar Alexander Shraer, I Keidar, None, How to Choose a Timing Model dependable systems and networks. pp. 389- 398 ,(2007) , 10.1109/DSN.2007.55
Alberto Elia, Luca Ferrarini, Carlo Veber, Analysis of Ethernet-based safe automation networks according to IEC 61508 emerging technologies and factory automation. pp. 333- 340 ,(2006) , 10.1109/ETFA.2006.355419
John Rushby, Bus Architectures for Safety-Critical Embedded Systems embedded software. pp. 306- 323 ,(2001) , 10.1007/3-540-45449-7_22