A safety assessment methodology applied to CNS/ATM-based air traffic control system

Murray, 2003, Future directions in control in an information-rich world, IEEE Control Systems Magazine, 23, 20, 10.1109/MCS.2003.1188769 Hammett, 2003, Flight-critical distributed systems: design considerations, IEEE AESS Systems Magazine, 18, 30, 10.1109/MAES.2003.1209588 Knight, 2002, Software challenges in aviation systems, vol 2434, 106 ICAO: Global Air Navigation Plan for CNS/ATM Systems (Doc. 9750). International Civil Aviation Organization, Montreal; 2000. Knight JC. Safety-critical systems: challenges and directions. In: ICSE 2002, Proceedings of the 24rd International Conference on Software Engineering. IEEE Press; 2002. p. 547–50. Rushby, 1994, Critical system properties: survey and taxonomy, Reliability Engineering and System Safety, 43, 189, 10.1016/0951-8320(94)90065-5 Felici, 2006, Capturing emerging complex interactions: safety analysis in air traffic management, Reliability Engineering and System Safety, 91, 1482, 10.1016/j.ress.2006.01.010 Storey, 1996 Kirner, 1997, Quality requirements for real-time safety-critical systems, Control Engineering Practice, 5, 965, 10.1016/S0967-0661(97)00084-1 Leveson, 1995 Pasquini, 2005, Evaluation of air traffic management procedures—safety assessment in an experimental environment, Reliability Engineering and System Safety, 89, 105, 10.1016/j.ress.2004.08.009 Profit, 1995 Bloom HAP. Hybrid stochastic dynamical modeling of accident risk in air traffic. In: Summer Pedagogical School in Hybrid Systems, Lecture 3. Greece: University of Patras; 2004. p. 22–24. ICAO: Manual on Airspace Planning Methodology for the Determination of Separation Minima (Doc.9689). Montreal: International Civil Aviation Organization; 1998. Cohen S. editor. A concept paper for separation safety modelling. Technical Report, Federal Aviation Administration (FAA) & Eurocontrol. 1998. Available at 〈http://www.faa.gov/asd/ia-or/pdf/1998-05_separation_safety_modeling.pdf〉 Brooker, 2002, Future air traffic management: quantitative en route safety assessment. Part 1—review of present methods, The Journal of Navigation, 55, 197, 10.1017/S0373463302001716 Brooker, 2004, Radar inaccuracies and mid-air collision risk: Part 2. En route radar separation minima, The Journal of Navigation, 57, 39, 10.1017/S037346330300256X Reich, 1966, Analysis of long-range air traffic systems—separation standards (I and II), Journal of the Institute of Navigation Mcauley, G (editor). Minutes of the Meeting. Technical Interface Meeting on Action Plan 3: Air Traffic Modelling for Separation Standards. Federal Aviation Administration (FAA)/Eurocontrol; 2004. ICAO: Safety Management Manual—SMM (Doc.9859). Montreal: International Civil Aviation Organization; 2006. Galati, 2003, Stochastic simulation techniques as related to innovation in communications-navigation-surveillance and air traffic management (CNS/ATM), Simulation Modelling Practice & Theory, 11, 197, 10.1016/S1569-190X(03)00049-2 Naedele, 2001, Network security for substation automation systems, vol 2187, 25 Tipsuwan, 2003, Control methodologies in networked control systems, Control Engineering Practice, 11, 1099, 10.1016/S0967-0661(03)00036-4 Ghostine, 2011, Variable delays and message losses: influence on the reliability of a control loop, Reliability Engineering and System Safety, 96, 160, 10.1016/j.ress.2010.08.003 Philippi, 2003, Analysis of fault tolerance and reliability in distributed real-time system architectures, Reliability Engineering and System Safety, 82, 195, 10.1016/S0951-8320(03)00169-8 Heck, 2003, Software technology for implementing reusable, distributed control systems, IEEE Control Systems Magazine, 23, 21, 10.1109/MCS.2003.1172827 Gribaudo, 2003, Fluid Petri Nets and hybrid model-checking: a comparative case study, Reliability Engineering and System Safety, 81, 239, 10.1016/S0951-8320(03)00089-9 Gribaudo, 2002, Model-checking based on fluid Petri nets for the temperature control system of the ICARO co-generative plant, vol 2434, 273 Computer Science Department. On the simulation of Stochastic Petri Nets. England: College of Willian and Mary Available at: 〈http://citeseer.ist.psu.edu/307709.html〉. German, 2000 Muppala, 1994, Stochastic reward nets for reliability prediction, Communications in Reliability, Maintainability and Serviceability: An International Journal, 1, 9 ICAO: Manual of Technical Provisions for the Aeronautical Telecommunication Network (Doc.9705/AN956). Montreal: International Civil Aviation Organization; 1999. Moek, 1993, European studies to investigate the feasibility of using 1000ft vertical separation minima above FL 290. Part III: further results and overall conclusions, The Journal of Navigation, 46, 245, 10.1017/S0373463300011589 Campos, 2002, On safety metrics related to aircraft separation, The Journal of Navigation, 55, 39, 10.1017/S0373463301001667