Search Results

Complex systems, such as modern advanced driver assistance systems (ADAS), consist of many interacting components. The number of options promises considerable flexibility for configuring systems with many cost-performance-value tradeoffs; however the potential unique configurations are exponentially many prohibiting a build-test-fix approach. Instead, engineering analysis tools for rapid design-space navigation and analysis can be applied to find feasible options and evaluate their potential for correct system behavior and performance subject to functional requirements. The OpenMETA toolchain is a component-based, design space creation and analysis tool for rapidly defining and analyzing systems with large variability and cross-domain requirements. The tool supports the creation of compositional, multi-domain components, based on a user-defined ontology, which captures the behavior and structure of components and the allowable interfaces.

For many crucial applications, establishing important properties of Simulink models by testing is either extremely resource intensive or impossible, and proof of the properties is highly desirable. Many Simulink models rely upon discrete-valued functions for which the function values are defined as a lookup table of correspondences between values in the domain and range, with linear interpolation used to evaluate intermediate values in the domain. Such discrete-valued functions arise in applications for which no known closed-form algebraic definition exists. In general, the proof of a property for a model that includes a discrete-valued function has to be by case analysis. For a single function and with mechanical support, case analysis is manageable. However, for models that include multiple discrete-valued functions, the number of cases can be the product of the cardinalities of the domains of the individual functions.