Search Results

Determining the validity of the design space early in the conceptualization of a project can make the difference between project success and failure. Early assessment of technical feasibility, project risk, technical readiness and realistic performance expectations based on models with different levels of fidelity, uncertainty, and technical robustness is a challenging mission critical task for large procurement projects. Tradespace exploration uses model-based engineering analysis, design exploration methods, and multi-objective optimization techniques to enable project stakeholders to make informed decisions and tradeoffs concerning the scope, schedule, budget, performance and risk profile of a project. As the intersection with a number of project stakeholders, tradespace studies can provide a significant impact upon the direction and decision-making in a project.

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.

Variant modeling techniques have been developed to allow systems engineers to model multiple similar variants in a product line as a single variant model. In this paper, we expand on this past work to explore the extent to which variant modeling in SysML can be applied to a broad range of dissimilar systems, covering the entire domain of ground vehicles, in single reference architecture model. Traditionally, a system’s structure is decomposed into subsystems and components. However, this method is found to be ineffective when modeling variants that are functionally similar but structurally different. We propose to address this challenge by first decomposing the system not only by subsystem but also by high-level function. This pattern is particularly useful for situations where two variants perform the same function, but one variant performs the function using one subsystem, whereas the other variant performs the same function using one or more different subsystems.

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.