Layered Dependability Modeling of an Air Traffic Control System
暂无分享,去创建一个
[1] C. Murray Woodside,et al. Performance analysis of distributed server systems , 2000 .
[2] Boudewijn R. Haverkort,et al. DyQNtool-a performability modelling tool based on the dynamic queueing network concept , 1991 .
[3] Boudewijn R.H.M. Haverkort,et al. Performability Modelling Using DyQNtool , 1993 .
[4] C. Murray Woodside,et al. Modeling the coverage and effectiveness of fault-management architectures in layered distributed systems , 2002, Proceedings International Conference on Dependable Systems and Networks.
[5] Drew Debelack,et al. Next Generation Air Traffic Control Automation , 1995, IBM Syst. J..
[6] Paul Clements,et al. Software architecture in practice , 1999, SEI series in software engineering.
[7] John B. Shoven,et al. I , Edinburgh Medical and Surgical Journal.
[8] Flaviu Cristian,et al. Fault-tolerance in air traffic control systems , 1996, TOCS.