Search Results

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.

In this paper, we review the literature related to the reuse of computer-based simulation models in the context of systems design. Models are used to capture aspects of existing or envisioned systems and are simulated to predict the behavior of these systems. However, developing such models from scratch requires significant time and effort. Researchers have recognized that the time and effort can be reduced if existing models or model components are reused, leading to the study of model reusability. In this paper, we review the tasks necessary to retrieve and reuse model components from repositories, and to prepare new models and model components such that they are more amenable for future reuse. Model reuse can be significantly enhanced by carefully characterizing the model, and capturing its meaning and intent so that potential users can determine whether the model meets their needs.

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.

Compared to traditional materials, carbon fiber reinforced polymers (CRFPs) have allowed designers to design stiff, light-weight structures, but at the cost of increased complexity in the design process. In this paper, the automation and optimization of the composite design process and how it affects design space exploration are evaluated. Specifically investigated is the design process for CFRP sandwich structures using the third-party optimization software modeFRONTIER. For given surface geometry and load cases, the approach aims to explore the Pareto frontier for the minimization of mass while constraining stiffness parameters. In this approach, the problem is framed as a single integrated optimization problem. In each optimization iteration, this method updates the CAD geometry and discretization of plies across the structure before exporting the model for Finite Element Analysis (FEA).

The development of next-generation ground vehicle systems relies on modeling and simulation to predict vehicle performance and conduct trade studies in the design and acquisition process. In this paper, we describe the development of an ontology suite to support modeling and simulation of next generation military ground vehicles. The ontology suite is intended to address model reuse challenges and increase the shared understanding of ground vehicle system simulations. The ontology suite consists of four domain ontologies: Vehicle operations (VehOps), Operational environment (Env), Ground vehicle architecture (VehArch), and Simulation model ontology (SimMod) and one integration ontology. The separate domain ontologies allow for extensibility, while the integration ontology establishes semantic relationships across the domains ontologies.

This paper presents an approach for performing software in the loop testing of autonomous vehicle software developed in the Autoware framework. Autoware is an open source software for autonomous driving that includes modules such as localization, detection, prediction, planning and control [8]. Multitudes of autonomous driving frameworks exist today, each having its own pros and cons. Often, MATLAB-Simulink is used for rapid prototyping, system modeling and testing, specifically for the lower-level vehicle dynamics and powertrain control features. For the autonomous software, the Robotic Operating System (ROS) is more commonly used for integrating distributed software components so that they can easily share information through a publish and subscribe paradigm. Thorough testing and evaluation of such complex, distributed software, implemented on a physical vehicle poses significant challenges in terms of safety, time, and cost, especially when considering rare edge cases.