Search Results

Aviation safety is one of the key focus areas of the aerospace industry as it involves safety of passengers, crew, assets etc. Due to advancements in technology, aviation safety has reached to safest levels compared to last few decades. In spite of declining trends in in-air accident rate, ground accidents are increasing due to ever increasing air traffic and human factors in the airport. Majority of the accidents occur during initial and final phases of the flight. Rapid increase in air traffic would pose challenge in ensuring safety and best utilization of Airports, Airspace and assets. In current scenario multiple systems like Runway Debris Monitoring System, Runway Incursion Detection System, Obstacle avoidance system and Traffic Collision Avoidance System are used for collision prediction and alerting in airport environment. However these approaches are standalone in nature and have limitations in coverage, performance and are dependent on onboard equipment.

In modern aircraft power systems, active power converters are promising replacements for transformer rectifier units concerning efficiency and weight. To assess the benefits of active power converters, converter design and optimization should be carefully done under the operation requirements of aircraft applications: electromagnetic interference (EMI) standards, power quality standards, etc. Moreover, certain applications may have strict limits on other converter specifications: weight, size, converter loss, etc. This paper presents the methodology for performance optimization of different active power converters (active front-ends, isolated DC/DC converters and three-phase isolated converters) for aircraft applications. Key methods for power converter component (e.g. inductors, semiconductor devices, etc.) performance optimization and loss calculation are introduced along with the converter optimization procedure.

Airport environments consist of several moving objects both in the air and on the ground. In air moving objects include aircraft, UAVs and birds etc. On ground moving objects include aircraft, ground vehicles and ground personnel etc. Detecting, classifying, identifying and tracking these objects are necessary for avoiding collisions in all environmental situations. Multiple sensors need to be employed for capturing the object shape and position from multiple directions. Data from these sensors are combined and processed for object identification. In current scenario, there is no comprehensive traffic monitoring system that uses multisensor data for monitoring in all the airport areas. In this paper, for explanation purposes, a hypothetical airport traffic monitoring system is presumed that uses multiple sensors for avoiding collisions.

Automation on Validation and Verification (V&V) leveraging Formal Methods, and in particular Model Checking, is seeing an increasing use in the Aerospace domain. In recent years, Formal Methods have been used to verify systems and software and its correctness as a way to augment traditional methods relying on simulation and testing. Recent updates to the relevant Aerospace regulations (e.g. DO178C, DO331 and DO333) now have explicit provisions for utilization of models and formal methods. In a previous paper a compositional methodology for the verification of Aerospace Systems has been described with application to Electrical Power Generation and Distribution Systems. In this paper we present an expansion of the previous work in two directions. First, we describe the application of the methodology to the validation of Proximity Sensing Systems (PSS) requirements showing the effectiveness of the method to a new aerospace domain.

Multi core platforms offer high performance at low power and have been deemed as future of size, weight and power constrained applications like avionics safety critical applications. Multi core platforms are widely used in non-real time systems where the average case performance is desired like in consumer electronics, telecom domains. Despite these advantages, multi core platforms (hardware and software) pose significant certification challenges for safety critical applications and hence there has been limited usage in avionics and other safety critical applications. Many multicore platform solutions which can be certified to DO-254 & DO 178B Level A are commercially available. There is a need to evaluate these platforms w.r.t certification requirements before deploying them in the safety critical systems thereby reducing the program risks. This paper discusses the advantages of multi core platforms in terms of performance, power consumption and weight/size.