Dependability evaluation of an air traffic control computing system

Performance Evaluation

Volumn 35, Issue 3, 1999, Pages 253-273

  Fota, Nicolae ^a   Kaâniche, Mohamed ^b,c,d   Kanoun, Karama ^b,c  

^a SOFREAVIA   (France)

^b LAAS CNRS   (France)

^c UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

^d ENAC   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; BENCHMARKING; MARKOV PROCESSES; MATHEMATICAL MODELS; PETRI NETS;

AIR TRAFFIC SAFETY; DEPENDABILITY MODELING; STOCHASTIC PETRI NETS;

AIR TRAFFIC CONTROL;

EID: 0345148891     PISSN: 01665316     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0166-5316(99)00011-5     Document Type: Article

References (23)

1. E. Amadio, P. Iaboni, M. Lamanna et al., Implementation of high-availability mechanisms in the air traffic control SIR-S system, Proceedings of the 24th International Symposium on Fault-Tolerant Computing (FTCS-24), Austin, TX, 1994, pp. 134-136.
2. A. Avizienis, D.E. Ball, On the achievement of a high dependable and fault-tolerant air traffic control system, IEEE Comput. 2 (1987) 84-90.
3. C. Béounes, M. Aguéra, J. Arlat et al., SURF-2: A program for dependability evaluation of complex hardware and software systems, Proceedings of the 23rd International Symposium on Fault-Tolerant Computing (FTCS-23), Toulouse, 1993, pp. 668-673.
4. X. Castillo, D.P. Siewiorek, Performance and reliability of digital computing systems, Proceedings of the 25th International Symposium on Fault-Tolerant Computing (FTCS-25), Pasadena, CA, 1995, pp. 367-372.
5. G. Ciardo, K.S. Trivedi, A decomposition approach for stochastic reward net models, Performance Evaluation 18 (1993) 37-59.
6. F. Cristian, B. Dancey, J. Dehn, Fault tolerance in the advanced automation system, Proceedings of the 20th International Symposium on Fault-Tolerant Computing (FTCS-20), Newcastle, 1990, pp. 6-17.
7. B. Dugan, S.J. Bavuso, M.A. Boyd, Dynamic fault-tree models for fault-tolerant computer systems, IEEE Trans. Reliability 41 (1992) 363-377.
8. N. Fota, Incremental specification and construction of dependability model - Application to CAUTRA air traffic control computing system, Ph.D., INPT, LAAS Report 97-151, 1997 (in French).
9. N. Fota, M. Kaâniche, K. Kanoun, A modular and incremental approach for building complex stochastic Petri net models, Proceedings of the First International Conference on Mathematical Methods in Reliability (MMR'97), Bucharest, 1997, pp. 151-158.
10. N. Fota, M. Kaâniche, K. Kanoun et al., Dependability global modeling and evaluation of the CAUTRA system, LAAS Report 97-172, 1997 (in French).
11. N. Fota, M. Kaâniche, K. Kanoun et al., Safety analysis and evaluation of an air traffic control computing system, Proceedings of the 15th International conference on Computer Safety, Reliability and Security (SAFECOMP'96), Vienna, 1996, pp. 219-229.
12. J.M. Garot, T. Hawker, Evaluating proposed architectures for the FAA's advanced automation system, IEEE Comput. 2 (1987) 33-45.
13. K.K. Goswami, R.K. Iyer, L. Young, DEPEND: A simulation-based environment for system level dependability analysis, IEEE Trans. Comput. 46 (1997) 60-74.
14. A. Goyal, S.S. Lavenberg, Modeling and analysis of computer system availability, IBM J. Res. Develop. 31 (1987) 651-664.
15. J. Gray, Why do computers stop and what can be done about it?, Proceedings of the Fifth International Symposium on Reliability in Distributed Software and Database Systems, Los Angeles, CA, 1986, pp. 3-12.
16. B.R. Haverkort, Approximate performability and dependability analysis using generalized stochastic Petri nets, Performance Evaluation 18 (1993) 61-78.
17. K. Kanoun, M. Borrel, Dependability of fault-tolerant systems - explicit modeling of the interactions between hardware and software components, Proceedings of the IEEE International Computer Performance & Dependability Symposium (IPDS'96), Urbana-Champaign, IL, 1996, pp. 252-261.
18. K. Kanoun, M. Borrel, T. Morteveille et al., Modeling the dependability of CAUTRA, a subset of the French air traffic control system, Proceedings of the 26th International Symposium on Fault-Tolerant Computing (FTCS-26), Sendai, 1996, pp. 106-115.
19. I. Lee, R.K. Iyer, Software dependability in the tandem guardian system, IEEE Trans. Software Engrg. 21 (1995) 455-467.
20. M. Malhotra, K.S. Trivedi, Power-hierarchy of dependability-model types, IEEE Trans. Reliability 43 (1994) 493-502.
21. A.L. Reibman, M. Veeraraghavan, Reliability modeling: An overview for system designers, IEEE Comput. 24 (1991) 49-57.
22. W. Sanders, J. Meyer, Reduced base model construction for stochastic activity networks, IEEE J. Selected Areas in Commun. 9 (1991) 25-36.
23. S. Visram, W. Artner, P. Marsden, Safety case for the NERC air traffic control system, Proceedings of the 15th International Conference on Computer Safety, Reliability and Security (SAFECOMP'96), Vienna, 1996, pp. 346-361.