Object-oriented modelling and verification aided by model simplification techniques

Object-oriented modeling approach brought efficient model reuse and thus possibility to create rich model libraries which enable rapid development of large heterogeneous models. However, verification and debugging of large complex models is becoming and increasingly challenging task.Furthermore, model should not be more complicated as needed for a given purpose. A suitable component describing a subsystem in sufficient detail should be selected from a library which might contain several components describing the same system but with different level of detail. Benefits of model simplification techniques for objectoriented model development are discussed in this paper. A modeler may help himself with them in a decision making process of how detailed components should be used (e.g., how complicated model should be) and also as an assistance for verifying model by some informal verification methods. Simplified model should be represented in the same way as original, therefore, two simplification techniques are discussed, simplification of object-diagrams and simplification of equations, which are the usual representation of models in Modelica, one of the commonly used object-oriented modeling language today.

[1]  I K Fodor,et al.  A Survey of Dimension Reduction Techniques , 2002 .

[2]  François E. Cellier,et al.  Continuous system modeling , 1991 .

[3]  Eduard Eitelberg.  Model reduction by minimizing the weighted equation error , 1981 .

[4]  Borut Zupancic,et al.  Model verification and debugging of EOO models aided by model reduction techniques (Work in Progress Paper) , 2010, EOOLT.

[5]  David J. Murray-Smith.  Simulation Model Quality Issues in Product Engineering: A Review , 2009, Simul. Notes Eur..

[6]  Dirk Zimmer,et al.  Object-Oriented Decomposition of Tire Characteristics based on semi-empirical Models , 2009 .

[7]  Andreas Junghanns,et al.  The Functional Mockup Interface for Tool independent Exchange of Simulation Models , 2011 .

[8]  Hubertus Tummescheit,et al.  Design and Implementation of Object-Oriented Model Libraries using Modelica , 2002 .

[9]  Gregory M. Hulbert,et al.  An energy-based model reduction methodology for automated modeling , 1998 .

[10]  Francesco Casella,et al.  The Modelica Fluid and Media library for modeling of incompressible and compressible thermo-fluid pipe networks , 2006 .

[11]  George S. Innis,et al.  Simulation model simplification techniques , 1983 .

[12]  J. Marsden,et al.  Structure-preserving Model Reduction of Mechanical Systems , 2000 .

[13]  Thomas Halfmann,et al.  Automated behavioral modeling and analytical model-order reduction by application of symbolic circuit analysis for multi-physical systems , 2008, Simul. Model. Pract. Theory.

[14]  Tim Wichmann.  Transient RankingMethods for the Simplification of Nonlinear DAE Systems in Analog Circuit Design , 2003 .