Search Results

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.

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.

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.