Search Results

Multi-physics interactions between structural, electrical, thermal, or hydraulic components and the high level of system integration, characteristic of new aircraft designs, is increasing the complexity of both design and verification processes. Therefore the availability of tools, supporting integrated modelling, simulation, optimization and testing across all stages of aircraft design remains a critical challenge. This paper presents some results of the project MISSION (Modelling and Simulation Tools for Systems Integration on Aircraft). It is a collaborative task being developed under the European Union Clean Sky 2 Program, which is a public-private partnership bringing together aeronautics industrial leaders and public research organizations based in Europe. The first levels of integration of different models and tools proposed in the MISSION framework will be presented, along with simulation results.

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.