Search Results

Energy storage options for a hybrid electric commercial single aisle aircraft were investigated. The propulsion system features twin Geared Turbofan™ engines in which each low speed spool is assisted by a 2,500 HP electric motor during takeoff and climb. During cruise, the aircraft is powered solely by the turbine engines which are sized for efficient operation during this mission phase. A survey of state of the art energy storage options was conducted. Battery, super-capacitor, and flywheel metrics were collected from the literature including Specific Energy (Wh/kg), Volumetric Energy Density (Wh/L), Specific Power (W/kg), Cost ($/kWh), and Number of Cycles. Energy storage in fuels was also considered along with various converters sized to produce a targeted quantity of electric power. The fuel and converters include fuel cells (both proton exchange membrane and solid oxide operating on hydrogen or on jet fuel) and a turbogenerator (jet fuel or LNG).

A novel approach to vehicle airborne contaminant removal based on UV illumination of the photoactive semiconductor TiO2 (titania) at room temperature is described. This paper describes fundamental surface chemistry measurements, prototype development, and theoretical models needed for practical application of the technology. The process of incorporating this information into the design of effective air-purifiers for cabin air applications is described.

Over the past decade, fuel cell systems have begun to appear as both primary and auxiliary power sources for aircraft. Fuel cells enable quiet electric aircraft with endurances that exceed equivalent battery powered vehicles, but have been limited to efficient fixed-wing aircraft due to low fuel cell power-to-weight ratios. This paper begins by discussing polymer electrolyte membrane fuel cell (PEFC) advancements at United Technologies Corporation (UTC) that have resulted in a significant increase in both the power-to-weight and power-to-volume ratios of fuel cell systems. As a result of these advances, UTC PEFC systems can now enable longer endurance missions for smaller UAVs as well as be considered for electric aircraft requiring vertical takeoff and landing capability. The move into vertical takeoff for electric aircraft is of particular interest as capabilities such as hover, perch and stare, and runway independence are enabled.

The advancement of both sensory and unmanned technology, combined with increased utilization of autonomous platforms in complex teaming scenarios, has created a need for practical design space exploration tools to aid in the synthesis of effective System-of-Systems (SoS). The presented work describes a modular, flexible, and extensible framework, referred to herein as the Technologies and Teaming Evaluation (TATE) framework, for straightforward identification of high-quality SoS, which may include both manned and autonomous elements, through quantitative evaluation of system-level and SoS-level attributes against a set of user-defined reference tasks.

This paper presents a demonstrator developed in the European CleanSky2 project MISSION (Modelling and Simulation Tools for Systems Integration on Aircraft). Its scope is the development towards a seamless integrated, interconnected toolchain enabling more efficient processes with less rework time in todays, highly collaborative aerospace domain design applications. The demonstration described here, consists of an open, modular and multitool platform implementation, using specific techniques to achieve fully traceable (early stage) requirements verification by virtual testing. The most promising approach is a model based integration along the whole process from requirements definition to the verified, integrated (and certified) system. Extending previous publications in this series, the paper introduces the motivation and briefly describes the technical background and a potential implementation of a workflow suitable for that target.

Formal Methods, and in particular Model Checking, are seeing an increasing use in the Aerospace domain. In recent years, Formal Methods are now commonly 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. At the system level, Model Checking has seen more limited uses due to the complexity and abstractions needed. In this paper we propose several methods to increase the capability of applying Model Checking to complex Aerospace Systems. An aircraft electrical power system is used to highlight the methodology. Automated model-based methods such as Cone of Influence and Timer Abstractions are described. Results of those simplifications, in combination with traditional Assume-Guarantee approaches will be shown for the Electric Power System application.