Search Results

Abstract Letter from the Guest Editors

Abstract Threat identification and security analysis have become mandatory steps in the engineering design process of high-assurance systems, where successful cyberattacks can lead to hazardous property damage or loss of lives. This article describes a novel approach to perform security analysis on embedded systems modeled at the architectural level. The tool, called Security Threat Evaluation and Mitigation (STEM), associates threats from the Common Attack Pattern Enumeration and Classification (CAPEC) library with components and connections and suggests potential defense patterns from the National Institute of Standards and Technology (NIST) Special Publication (SP) 800-53 security standard. This article also provides an illustrative example based on a drone package delivery system modeled in AADL.

Abstract In this article, a formation flying technique designed for a multiple unmanned aerial vehicles (multi-UAV) system to provide low-cost and efficient solution for civilian and military applications is presented. First, a modular leader-follower formation algorithm was developed to accomplish the formation flying with off-the-shelf low-cost components and sensors. Second, a proportional-integral-derivative (PID) controller was utilized for velocity control of the UAVs to maintain the tight formation. Third, a particle swarm optimization-optimized reciprocal velocity obstacles (PSO-RVO) algorithm was utilized for obstacles avoidance and collision avoidance between the UAVs while navigating, with the aid of sonar ranging sensors onboard. The formation flying algorithm developed was tested through both simulation and experiment using two quadcopters with global positioning system (GPS) signals.

Abstract Presently, 270 V direct current (DC) systems replace older 28 V DC voltage systems in both the civil and military aviation industry due to the requirement for more electrical power needs on board. Therefore, the existing avionics require retrofitting. The conversion from 270 V to 28 V appears to be quite promising for both old and new systems. This study aims to design an interleaved synchronous modular buck converter topology as a candidate for these requirements. Calculations for the converter design are conducted considering aviation standards. Switching with pulse-width modulation (PWM) is used to control the power converter. A double-loop feedback control system based on voltage and current feedback is designed. Therefore, the buck converter circuit with 1145 W power output is proposed, which supplies a 28 V and 41 A DC output from a 270 V DC input. The concept is verified using simulations and hardware-in-the-loop (HIL) experimental results.

Abstract Fighter pilots must study models of aircraft dynamics before learning complex maneuvers and tactics. Similarly, autonomous fighter aircraft applications may benefit from a model-based learning approach. Instead of using a preexisting physics model of a given aircraft, a machine learning system can learn a predictive model of the aircraft physics from training data. Furthermore, it can model interactions between multiple friendly aircraft, enemy aircraft, and the environment. Such a system can also learn to represent state variables that are not directly observable, as well as dynamics that are not hard coded. Existing model-based methods use a deep neural network that takes observable state information and agent actions as input and provides predictions of future observations as output. The proposed method builds upon this approach by adding a residual feedforward skip connection from some of the inputs to all of the outputs of the deep neural network.

Abstract To assist in initializing the conceptual design of hypersonic aircraft, we outline a new, systematic framework based on historical aircraft data and primarily composed of design data and regression models. It is a rapid, low-fidelity analysis to provide a starting point for the conceptual design process by (1) assessing the performance capabilities of four types of high-speed aircraft, (2) providing initial estimates for weights and geometry with uncertainty, and (3) exploring how changes in these affect performance within design spaces. Using this framework, an initial set of reasonable aircraft configurations is obtained based on speed, altitude, and payload requirements, which can serve to accelerate the design process and avoid unforeseen problems later in the design cycle. An example is provided to demonstrate the application of the framework to launch the conceptual design of a new hypersonic aircraft with a given set of mission requirements.

Abstract The use of converging-diverging (C-D) variable area nozzle (VAN) in military aeroengines is now common, as it can give optimal expansion and control over engine back pressure, for a wide range of engine operations. At higher main combustion temperatures (desired for supercruise), an increase in the nozzle expansion ratio is needed for optimum performance. But changes in the nozzle throat and exit areas affect the visibility of engine hot parts as the diverging section of the nozzle is visible for a full range of view angle from the rear aspect. The solid angle subtended by engine hot parts varies with change in visibility, which affects the aircraft infrared (IR) signature from the rear aspect. This study compares the performances of fixed and variable area nozzles (FAN and VAN) in terms of engine thrust and IR signature of the engine exhaust system in the boresight for the same increase in combustion temperature.

Abstract An accurate Unmanned Aerial System (UAS) Flight Dynamics Model (FDM) allows us to design its efficient controller in early development phases and to increase safety while reducing costs. Flight tests are normally conducted for a pre-established number of flight conditions, and then mathematical methods are used to obtain the FDM for the entire flight envelope. For our UAS-S4 Ehecatl, 216 local FDMs corresponding to different flight conditions were utilized to create its Local Linear Scheduled Flight Dynamics Model (LLS-FDM). The initial flight envelope data containing 216 local FDMs was further augmented using interpolation and extrapolation methodologies, thus increasing the number of trimmed local FDMs of up to 3,642. Relying on this augmented dataset, the Support Vector Machine (SVM) methodology was used as a benchmarking regression algorithm due to its excellent performance when training samples could not be separated linearly.

Abstract In the last decades we have witnessed an increasing number of military operations in urban environments. Complex urban operations require high standards of training, equipment, and personnel. Emergency forces on the ground will need specialized vehicles to support them in all parts and levels of this extremely demanding environment including the subterranean and interior of infrastructure. The development of vehicles for this environment has lagged but offers a high payoff. This article describes the method for developing a concept for an urban operations vehicle by characterization of the urban environment, deduction of key issues, evaluation of related prototyping, science fiction story-typing of the requirements for such a vehicle, and comparison with field-proven and scalable solutions. Embedding these thoughts into a comprehensive research and development program provides lines of development, setting the stage for further research.

Abstract TOC