Extended Traffic Alert Information to Improve TCAS Performance by means of Causal Models

Near-midair collisions (NMACs) between aircraft have long been a primary safety concern and have incessantly motivated the development of ingenious onboard collision avoidance (CA) systems to reduce collision risk. The Traffic Alert and Collision Avoidance System (TCAS) acts as a proverbially accepted last-resort means to resolve encounters, while it also has been proved to potentially induce a collision in the hectic and congested traffic. This paper aims to improve the TCAS collision avoidance performance by enriching traffic alert information, which strictly fits with present TCAS technological requirements and extends the threat detection considering induced collisions and probabilistic pilot response. The proposed model is specified in coloured Petri net (CPN) formalism, to generate by simulation all the future possible downstream reachable states to enhance the follow-up decision making of pilots via synthesising relevant information related to collision states. With the complete state space, the potential collision scenarios can be identified together with those manoeuvres that may transform a conflict into a collision. The causal TCAS model is demonstrated to work effectively for complex multiaircraft scenarios and to identify the feasible manoeuvres that contribute to reduce the nonzero TCAS-induced collision risk.

[1]  Miquel Angel Piera,et al.  Identifying FMS repetitive patterns for efficient search-based scheduling algorithm: A colored Petri net approach , 2015 .

[2]  Lars Michael Kristensen,et al.  Coloured Petri Nets - Modelling and Validation of Concurrent Systems , 2009 .

[3]  Fedja Netjasov,et al.  Development, validation and application of stochastically and dynamically coloured Petri net model of ACAS operations for safety assessment purposes , 2013 .

[4]  James K. Kuchar,et al.  The Traffic Alert and Collision Avoidance System , 2007 .

[5]  R. Valette,et al.  A Petri net-based object-oriented approach for the modelling of hybrid productive systems , 2005 .

[6]  Lars Michael Kristensen,et al.  Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems , 2007, International Journal on Software Tools for Technology Transfer.

[7]  John Daniel Griffith,et al.  TCAS Multiple Threat Encounter Analysis , 2009 .

[8]  Miquel Angel Piera Eroles,et al.  A Methodology for Solving Logistic Optimization Problems through Simulation , 2010, Simul..

[9]  Lars Michael Kristensen,et al.  The sweep-line state space exploration method , 2012, Theor. Comput. Sci..

[10]  Development of a 3-Dimensional Mathematical Collision Risk Model Based on Recorded Aircraft Trajectories to Estimate the Safety Level in High Density En-Route Airspaces , 2013 .

[11]  Jun Tang,et al.  A discrete-event modeling approach for the analysis of TCAS-induced collisions with different pilot response times , 2015 .

[12]  Miquel Angel Piera,et al.  A causal model to explore the ACAS induced collisions , 2014 .

[13]  Miquel Angel Piera,et al.  Anytime heuristic search for scheduling flexible manufacturing systems: a timed colored Petri net approach , 2014, The International Journal of Advanced Manufacturing Technology.

[14]  Miquel Angel Piera Eroles,et al.  Analysis of induced Traffic Alert and Collision Avoidance System collisions in unsegregated airspace using a Colored Petri Net model , 2015, Simul..

[15]  J. Lygeros,et al.  High-level modeling and analysis of the traffic alert and collision avoidance system (TCAS) , 2000, Proceedings of the IEEE.

[16]  Miquel Angel Piera Eroles,et al.  Coloured Petri net scheduling models: Timed state space exploration shortages , 2011, Math. Comput. Simul..

[17]  Mykel J. Kochenderfer,et al.  Correlated Encounter Model for Cooperative Aircraft in the National Airspace System Version 1.0 , 2008 .

[18]  Mike Wright,et al.  Petri net-based modelling of workflow systems: An overview , 2001, Eur. J. Oper. Res..