Model-Based Software Debugging

Ceballos, Rafael; Abreu, Rui; Varela-Vaca, Ángel Jesús; Gasca, Rafael M.

doi:10.1007/978-3-030-17728-7_15

Cited by 1 publication

(1 citation statement)

References 54 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…With the increasing complexity and scale of modern industrial products, model-based approaches have become essential in studying these products, being applied in areas such as design [1,2], simulation [3] and diagnosis [4][5][6]. The modular models in different abstraction levels enable collaborative work and component reuse and speed up product modeling with a V-shaped process, as shown in Figure 1.…”

Section: Introductionmentioning

confidence: 99%

Hierarchical Structural Analysis Method for Complex Equation-Oriented Models

et al. 2021

View full text Add to dashboard Cite

Structural analysis is a method for verifying equation-oriented models in the design of industrial systems. Existing structural analysis methods need flattening of the hierarchical models into an equation system for analysis. However, the large-scale equations in complex models make structural analysis difficult. Aimed to address the issue, this study proposes a hierarchical structural analysis method by exploring the relationship between the singularities of the hierarchical equation-oriented model and its components. This method obtains the singularity of a hierarchical equation-oriented model by analyzing a dummy model constructed with the parts from the decomposing results of its components. Based on this, the structural singularity of a complex model can be obtained by layer-by-layer analysis according to their natural hierarchy. The hierarchical structural analysis method can reduce the equation scale in each analysis and achieve efficient structural analysis of very complex models. This method can be adaptively applied to nonlinear-algebraic and differential-algebraic equation models. The main algorithms, application cases and comparison with the existing methods are present in this paper. The complexity analysis results show the enhanced efficiency of the proposed method in the structural analysis of complex equation-oriented models. Compared with the existing methods, the time complexity of the proposed method is improved significantly

show abstract