Visual Metamodeling with Verification Based on Surrogate Modeling for Adaptive Computing

Abstract

The issue of creating a methodology for designing computing systems for space probes is discussed in this paper. According to the authors, it is the modern paradigm of metamodeling that makes it possible to reduce labor costs when creating software and hardware systems for deep space scientific missions. The paper proposes a semantic approach, based on metamodeling. The approach makes a conceptually new low-level metamodel by combining two well-known IDEF0 graphic symbols and a flowchart notation. This solution makes it possible to practically eliminate the disadvantages inherent in each of the methodologies separately. A new methodology and rules for its application based on the semantic element have been obtained. An example of a metamodel is presented. The proposed approach allows designing and simulating the operation of on-board computing systems of a space probe. We assume that this virtually eliminates the shortcomings of the initial models. In our opinion, this will also reduce labor costs in the design of various on-board computing systems, increasing the quality and unambiguity of work. The ideology of metamodeling has a peculiarity. The created model can fully comply with the rules, but not provide the required parameters. Surrogate modeling can be the solution to the problem. An iterative process to achieve the required metamodel parameters is proposed.