The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Quantitative Verification of Air Traffic Algorithms Began with separation assurance Proposed a quantitative goal and considered its probabilistic interpretation Discussed statistics of separate simulations Derived possible flight paths based on minimum points and relative velocity Concocted maneuvers for collinear and approaching aircraft Developed a procedure based on GPS with error — decisions under...
• Timing concepts can be confusing and subject to interpretation — DO-260B, AC-165, ADS-B In applications • Formal definition helps to define requirements, and to demonstrate conformance to requirements • Helps in modeling for simulation and analysis
• To enable advanced Aircraft Surveillance Applications (ASA) system • To improve situational awareness and collision avoidance capabilities for separation assurance • To meet the expanding demand of air traffic in the NextGencomplexity • To increase safety, capacity, and efficiency of the NAS • To achieve above without scientific breakthroughs, exotic methods, or yet-to-be-invented equipment
• Feasibility of Super Density Operations (SDO) • Perform well under nominal conditions • Maintain safety under off-nominal conditions • Major component of NextGento increase airport throughput
█ Temporal partitioning schemes for FC OFP of T-50/FA-50 █ Fault Handling: Task-level & Partition-level █ Task-level fault-tolerance scheme: each partition handles its task fault █ Partition-level scheme recovers a task fault by re-executing the faulty partition █ The schedulability analysis of both schemes based on the temporal partitioning of FC OFP: the proposed schemes meet the real-time requirement...
• Predicted average 3.7% increase in commercial aviation operations from 2011–2031 • Domestic flights in 2008 had 3.2 million hours delay — In particular, arrivals into high-density airports experience significant inefficiency due to delays and step-down procedures
Extensive amount of work in fault injection but it has focused on realism and efficiency Need a framework for — how many faults to inject — what kind of faults to inject — where to inject the faults — when to inject the faults Goal is to establish fault tolerance at ultra high confidence level Also, relate fault injection to field data and arguments from design
Goal: Reduce likelihood and severity of runway incursions and collisions • Enhanced Traffic Situational Awareness on the Airport Surface with Indications and Alerts (SURF IA) application established by RTCA Special Committee 186 • Safety, performance, and interoperability requirements (SPR) published 2010, DO-323 • Identifies potential runway conflicts within 3 nm of the runway threshold and 1000...
□ Funded by FAA in support of NextGen █ Program Managers in NextGenHuman Factors Division (ANG-C1) ○ Tom McCloyand Dan Herschler █ Technical Sponsors in Office of Aviation Safety (AVS) ○ Kathy Abbott, Aircraft Certification Service (AIR) ○ Mark Steinbicker, Flight Standards Service (AFS) □ Led by USDOT Volpe Center █ Contract with Massachusetts Institute of Technology █ Subject matter consultants...
♦ The Development of Avionics Discrete avionics → Joint avionics → IMA ♦ Model Based System Engineering (MBSE) — Harmony System Engineering(Harmony-SE) □ A part of Harmony® □ Based on SysML
• Comprehensive overview about the basic principles behind IEEE AVB • Especially the credit based shaper algorithm (CBS) and the clock synchronization algorithm could be implemented accordingly to Aeronautic requirements • Multiple onboard applications dealing with video and audio in a non-safety critical environment could benefit with immediate effect of AVB • The set of AVB standards offer a complete...
The work presented in this presentation is supported and funded through NASA under contract NNL11AA08C. The views and ideas in this presentation do not necessarily reflect those of the National Aeronautics and Space Administration(NASA).
Evaluate: • Performance of aircraft-based CD&R algorithm via fast-time simulation — Runway, taxiway, and low altitude operations — Various levels of horizontal position accuracy — Multiple levels of CD&R system equipage
Conference proceedings front matter may contain various advertisements, welcome messages, committee or program information, and other miscellaneous conference information. This may in some cases also include the cover art, table of contents, copyright statements, title-page or half title-pages, blank pages, venue maps or other general information relating to the conference that was part of the original...
IMA — Integrated Modular Avionics █ Standardization of avionics — Low number of hardware (types) █ Parallel integration of several systems █ E.g. Airbus A380, Boeing 777
Compatible with Ethernet (IEEE 802.3) Supports three classes of communication services: ○ Timed-Triggered: low jitter, bounded latency ○ Rate-Constrained: similar to AFDX ○ Best-Effort: like normal Ethernet
• Local oscillators/hardware clocks operate at slightly different rates, thus, they drift apart over time. • Local logical clocks, i.e., timers/counters, may start at different initial values. • The synchronization problem is to adjust the values of the local logical clocks so that nodes achieve synchronization and remain synchronized despite the drift of their local oscillators.
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.