Search Results

Tradespace analysis is used to define the characteristics of the solution space for a vehicle design problem enabling decision-makers (DMs) to evaluate the risk-benefit posture of a vehicle design program. The tradespace itself is defined by a set of functional objectives defined by vehicle simulations and evaluating the performance of individual design solutions that are modeled by a set of input variables. Of special interest are efficient design solutions because their perfomance is Pareto meaning that none of their functional objective values can be improved without decaying the value of another objective. The functional objectives are derived from a combination of simulations to determine vehicle performance metrics and direct calculations using vehicle characteristics. The vehicle characteristics represent vendor specifications of vehicle subsystems representing various technologies.

Vehicular control systems are characterized with numerous complex interactions with a steady rise of autonomous functions, which makes it more challenging for designers and safety engineers to identify unexpected failures. These systems tend to be highly integrated and exhibit features like concurrency for which traditional verification and validation techniques (i.e. testing and simulation) are insufficient to provide rigorous and complete assessment. Model Checking, a well-known formal verification technique, can be used to rigorously prove the correctness of such systems according to design Requirements. In particular, Model Checking is a method for formally verifying finite-state concurrent systems. Specifications about the system are expressed as temporal logic formulas, and efficient symbolic algorithms are used to traverse the model defined by the system and check if the specification holds or not.

Strategies for evaluating the impact of mission requirements on the design of mission-specific vehicles are needed to enable project managers to assess potential benefits and associated costs of changes in requirements. Top-level requirements that cause significant cascaded difficulties on lower-level requirements should be identified and presented to decision-makers. This paper aims to introduce formal methods and computational tools to enable the analysis and allocation of mission requirements.

Enhanced electric motor performance in transportation vehicles can improve system reliability and durability over rigorous operating cycles. The design of innovative heat rejection strategies in electric motors can minimize cooling power consumption and associated noise generation while offering configuration flexibility. This study investigates an innovative electric motor cooling strategy through bench top thermal testing on an emulated electric motor. The system design includes passive (e.g., heat pipes) cooling as the primary heat rejection pathway with supplemental conventional cooling using a variable speed coolant pump and radiator fan(s). The integrated thermal structure, “cradle”, transfers heat from the motor shell towards an end plate for heat dissipation to the ambient surroundings or transmission to an external thermal bus to remote heat exchanger.