No abstract

When Discrete Event System Specification (DEVS) is used as a modeling tool, there is a semantic gap between a DEVS model and the mathematical representation, which may result in understanding difficulties. To provide a more intuitive form of modeling, XDEVS expands the concept of states in DEVS. The continuous state is introduced in XDEVS, which enhances the ability to model hybrid systems. Based on the DEVS simulation framework, a simulation engine is developed to drive the XDEVS model safely and efficiently and avoid the wrong location of state events during the simulation of the continuous model. A hybrid model is constructed and simulated using XDEVS. A comparison between the XDEVS model and models described by DEV&DESS and GDEVS shows that XDEVS can clearly express the structure of the model and reduce the burden on modelers.

No abstract

No abstract

Model-based systems engineering (MBSE) is a leading paradigm for the analyses and development of complex systems. However, the development of modeling and simulation infrastructure supporting MBSE is lacking, which limits the application of MBSE. To address this problem, this paper proposes an SES-X methodology that integrates system modeling (following SES philosophy) with system simulation (supported by X language) to support the full lifecycle of MBSE modeling, including system analysis, architecture decomposition, physical modeling, and simulation. In the process, SES-X performs two levels of model pruning for model verification and simulation efficiency. This paper also conducts a case study on a car model to illustrate the effectiveness of the SES-X methodology.