Search Results

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.

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.

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.

It is estimated that operating continuously on a B20 fuel containing the current allowable ASTM specification limits for metal impurities in biodiesel could result in a doubling of ash exposure relative to lube-oil-derived ash. The purpose of this study was to determine if a fuel containing metals at the ASTM limits could cause adverse impacts on the performance and durability of diesel emission control systems. An accelerated durability test method was developed to determine the potential impact of these biodiesel impurities. The test program included engine testing with multiple DPF substrate types as well as DOC and SCR catalysts. The results showed no significant degradation in the thermo-mechanical properties of cordierite, aluminum titanate, or silicon carbide DPFs after exposure to 150,000 mile equivalent biodiesel ash and thermal aging. However, exposure of a cordierite DPF to 435,000 mile equivalent aging resulted in a 69% decrease in the thermal shock resistance parameter.

Efficient and accurate ordinary differential equation (ODE) solvers are necessary for powertrain and vehicle dynamics modeling. However, current commercial ODE solvers can be financially prohibitive, leading to a need for accessible, effective, open-source ODE solvers designed for powertrain modeling. Rust is a compiled programming language that has the potential to be used for fast and easy-to-use powertrain models, given its exceptional computational performance, robust package ecosystem, and short time required for modelers to become proficient. However, of the three commonly used (>3,000 downloads) packages in Rust with ODE solver capabilities, only one has more than four numerical methods implemented, and none are designed specifically for modeling physical systems. Therefore, the goal of the Differential Equation System Solver (DESS) was to implement accurate ODE solvers in Rust designed for the component-based problems often seen in powertrain modeling.

Auto transformer rectifier units (ATRUs) are commonly used in aircraft applications such as electric actuation for harmonic mitigation due to their high reliability and relative low cost. However, those components and the magnetic filter components associated to it are the major contributors to the overall size and weight of the system. Optimization of the magnetic components is essential in order to minimize weight and size, which are major market drivers in aerospace industry today. This requires knowledge of the harmonic content of the current. This can be obtained by simulation, but the process is slow. In order to enable fast and efficient design space exploration of optimal solutions, an algebraic calculation process is proposed in this paper for multi-pulse ATRUs (e.g. 12-pulse and 18-pulse rectifiers), starting from existing solution proposed for 6 pulse rectifier in the literature.

This paper will present a multi-domain (electrical and thermal) model of a three phase voltage source converter and its implementation in Modelica language. An averaged model is utilised for the electrical domain, and a power balance method is used for linking the DC and AC sides. The thermal domain focuses in deriving the converter losses by deriving the analytical equations of the space vector modulation to derive a function for the duty cycle of each converter leg. With this, the conduction and switching losses are calculated for the individual switches and diodes, without having to model their actual switching behaviour. The model is very fast to simulate, as no switching events are needed, and allows obtaining the simulation of the electrical and thermal behaviour in the same simulation package..

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.

Estimation and prediction of residual life and reliability are serious concerns in life cycle management for aging structures. Laboratory testing replicating fatigue loading for a typical military aircraft wing skin was undertaken. Specimens were tested until their fatigue life expended reached 100% of the component fatigue life. Then, scanning electron microscopy was used to quantify the size and location of fatigue cracks within the high stress regions of simulated fastener holes. Distributions for crack size, nearest neighbor distances, and spatial location were characterized statistically in order to estimate residual life and to provide input for life cycle management. Insights into crack initiation and growth are also provided.

People who wear protective uniforms that inhibit evaporation of sweat can experience reduced productivity and even health risks when their bodies cannot cool themselves. This paper describes a new sweating manikin and a numerical model of the human thermoregulatory system that evaluates the thermal response of an individual to transient, non-uniform thermal environments. The physiological model of the human thermoregulatory system controls a thermal manikin, resulting in surface temperature distributions representative of the human body. For example, surface temperatures of the extremities are cooler than those of the torso and head. The manikin contains batteries, a water reservoir, and wireless communications and controls that enable it to operate as long as 2 hours without external connections. The manikin has 120 separately controlled heating and sweating zones that result in high resolution for surface temperature, heat flux, and sweating control.

The application of a production-oriented high-power CO2 laser system for the welding of auto underbody components is reported. Sheet metal sections, varying in thickness from 0.060-0.135 in, are welded at speeds up to 500 in/min at 6 kW. An overview of recent developments in laser welding is presented along with a discussion of the laser deep-penetration weld phenomenon. A comparison is made between laser and electron-beam welding performance.