Modeling & Simulation (M&S) is making successful contributions to different areas in industry and academia. However, there are certain key issues that are preventing the field from addressing larger domains and from achieving wide-scale impact. Formulating these as grand challenges arguably focuses attention on these key issues and may bring a critical mass of effort to bear that could result in a major leap forward. This article is one of several concurrent activities aimed at reinvigorating the debate on grand challenges in M&S. These grand challenges include Big Simulation, human behavior, composability, cloud-based M&S, reproducibility in M&S research and the democratization of M&S. Two themes emerge: the need for large-scale cloud-based cyberinfrastructures for M&S and the democratized access to M&S and its outputs.
The purpose of this chapter is to introduce the test methods applied for embedded systems addressing selected problems in the automotive domain. Model-based test approaches are reviewed and categorized. Weak points are identified and a novel test method is proposed. It is called model-in-the-loop for embedded system test (MiLEST) and is realized in MATLAB®/Simulink®/Stateflow® environment. Its main contribution refers to functional black-box testing based on the system and test models. It is contrasted with the test methods currently applied in the industry that form dedicated solutions, usually specialized in a concrete testing context. The developed signal-feature-oriented paradigm developed herewith allows the abstract description of signals and their properties. It addresses the problem of missing reference signal flows and allows for a systematic and automatic test data selection. Processing of both discrete and continuous signals is possible, so that the hybrid behavior of embedded systems can be handled.
The approach towards system engineering according to Model-Driven Architectures (MDA) with code generation derived from model implies also an increased need for research on automation of the test generation process. This paper presents an approach to derive executable tests from UML 2.0 Testing Profile diagrams automatically. In particular, an approach to derive executable tests within the Testing and Test Control Notation (TTCN-3) is discussed. The transformation rules between the source U2TP meta-model to the target TTCN-3 meta-model are given.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.