{"id":3593,"date":"2013-09-05T08:41:52","date_gmt":"2013-09-05T06:41:52","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=3593"},"modified":"2013-09-05T08:41:52","modified_gmt":"2013-09-05T06:41:52","slug":"a-traffic-alert-and-collision-avoidance-systemtcas-ii-resolution-advisory-algorithm","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/a-traffic-alert-and-collision-avoidance-systemtcas-ii-resolution-advisory-algorithm\/","title":{"rendered":"A Traffic Alert and Collision Avoidance System(TCAS-II) Resolution Advisory Algorithm"},"content":{"rendered":"<p>Se ha publicado un art\u00edculo de verificaci\u00f3n formal con <a href=\"http:\/\/pvs.csl.sri.com\">PVS<\/a> titulado <a href=\"http:\/\/shemesh.larc.nasa.gov\/people\/cam\/publications\/gnc2013-draft.pdf\">A TCAS-II resolution advisory algorithm<\/a>.<\/p>\n<p>Sus autores son <a href=\"http:\/\/shemesh.larc.nasa.gov\/people\/cam\/\">C\u00e9sar Mu\u00f1oz<\/a>, <a href=\"http:\/\/shemesh.larc.nasa.gov\/people\/ajn\/\">Anthony Narkawicz<\/a> y James Chamberlain (del<br \/>\n<i>Langley Research Center<\/i> de la NASA en Hampton, EE.UU.).<\/p>\n<p>Su resumen es<\/p>\n<blockquote><p>\nThe <a href=\"http:\/\/en.wikipedia.org\/wiki\/Traffic_collision_avoidance_system\">Traffic Alert and Collision Avoidance System (TCAS)<\/a> is a family of airborne systems designed to reduce the risk of mid-air collisions between aircraft. <a href=\"http:\/\/en.wikipedia.org\/wiki\/Traffic_collision_avoidance_system#TCAS_II\">TCAS II<\/a>, the current generation of TCAS devices, provides resolution advisories that direct pilots to maintain or increase vertical separation when aircraft distance and time parameters are beyond designed system thresholds. This paper presents a mathematical model of the TCAS II Resolution Advisory (RA) logic that assumes accurate aircraft state information. Based on this model, an algorithm for RA detection is also presented. This algorithm is analogous to a conflict detection algorithm, but instead of predicting loss of separation, it predicts resolution advisories. It has been formally verified that for a kinematic model of aircraft trajectories, this algorithm completely and correctly characterizes all encounter geometries between two aircraft that lead to a resolution advisory within a given lookahead time interval. The RA detection algorithm proposed in this paper is a fundamental component of a NASA sense and avoid concept for the integration of Unmanned Aircraft Systems in civil airspace.\n<\/p><\/blockquote>\n<p>Este trabajo es parte del proyecto de la NASA <a href=\"http:\/\/shemesh.larc.nasa.gov\/people\/cam\/ACCoRD\">Airborne Coordinated Resolution and Detection<\/a> (ACCoRD) que est\u00e1 integrado en el proyecto <a href=\"http:\/\/shemesh.larc.nasa.gov\/fm\/fm-atm-cdr.html\">Formal Analysis of Conflict Detection and Resolution Algorithms<\/a>.<\/p>\n<p>El trabajo se present\u00f3 el 19 de agosto en la <a href=\"http:\/\/www.aiaa.org\/EventDetail.aspx?id=16566\">AIAA Guidance, Navigation, and Control Conference<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Se ha publicado un art\u00edculo de verificaci\u00f3n formal con PVS titulado A TCAS-II resolution advisory algorithm. Sus autores son C\u00e9sar Mu\u00f1oz, Anthony Narkawicz y James Chamberlain (del Langley Research Center de la NASA en Hampton, EE.UU.). Su resumen es The Traffic Alert and Collision Avoidance System (TCAS) is a family of airborne systems designed to&#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"footnotes":"","_jetpack_memberships_contains_paid_content":false},"categories":[21,100,14],"tags":[277,285,275],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_likes_enabled":false,"_links":{"self":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3593"}],"collection":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/comments?post=3593"}],"version-history":[{"count":1,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3593\/revisions"}],"predecessor-version":[{"id":3594,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3593\/revisions\/3594"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=3593"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=3593"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=3593"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}