A formal framework for capturing knowledge to transform structural models into analysis models

During the systems design process, there are a multitude of analyses and computer simulations that are performed to evaluate a particular design or architecture. This paper focuses on automating this process by defining a formal framework for capturing and applying the knowledge needed to automatically generate system-level analysis models from system-level descriptive models. The framework builds on the similarities that exist between analytical and descriptive models when considered from a systems perspective, namely, as consisting of sub-systems or components and the interactions between them. The relationships between analytical and descriptive models are captured at the component level in multi-aspect component models (MAsCoMs). The information in MAsCoMs is represented formally in the Object Management Group's Systems Modeling Language and can then be applied automatically through the use of generic model transformations. The transformations apply to all models in a certain domain, such as dynamic simulation modelling. In this paper, the approach is demonstrated for a hydraulic system by generating a system-level dynamic simulation from a descriptive model of the hydraulic circuit.

[1]  Mitsuru Ikeda,et al.  FBRL: A Function and Behavior Representation Language , 1995, IJCAI.

[2]  Aditya Arunkumar Shah,et al.  Combining mathematical programming and SysML for component sizing as applied to hydraulic systems , 2010 .

[3]  Randall P. Sadowski,et al.  Simulation with Arena , 1998 .

[4]  Knowledge Composition for Efficient Analysis Problem Formulation: Part 2 — Approach and Analysis Meta-Model , 2007 .

[5]  Russell S. Peak,et al.  A KNOWLEDGE REPOSITORY FOR BEHAVIORAL MODELS IN ENGINEERING DESIGN , 2004 .

[6]  Tzilla Elrad,et al.  Aspect-oriented programming: Introduction , 2001, CACM.

[7]  Andrew P. Sage,et al.  Introduction to systems engineering , 2000 .

[8]  William C. Regli,et al.  Functional Modeling of Engineering Designs for the Semantic Web , 2003, IEEE Data Eng. Bull..

[9]  Rajkumar Roy,et al.  Advances in Soft Computing: Engineering Design and Manufacturing , 1998 .

[10]  Christiaan J. J. Paredis,et al.  Integrating Models and Simulations of Continuous Dynamics Into SysML , 2012, J. Comput. Inf. Sci. Eng..

[11]  Andy Powell,et al.  DCMI Abstract Model , 2005 .

[12]  Tobias Rötschke,et al.  MOFLON: A Standard-Compliant Metamodeling Framework with Graph Transformations , 2006, ECMDA-FA.

[13]  José M. Garrido Object-Oriented Discrete-Event Simulation with Java , 2001, Series in Computer Systems.

[14]  David Wallace,et al.  WEB-BASED COLLABORATIVE DESIGN MODELING AND DECISION SUPPORT , 1998 .

[15]  Sanford Friedenthal,et al.  OMG Systems Modeling Language (OMG SysML™) Tutorial , 2008 .

[16]  Sudarsan Rachuri,et al.  Information Models for Product Representation: Core and Assembly Models , 2004 .

[17]  Russell S. Peak,et al.  Integrating engineering design and analysis using a multi-representation approach , 1998, Engineering with Computers.

[18]  Crispin Hales,et al.  Engineering design: a systematic approach , 1989 .

[19]  Jack C. Wileden,et al.  Ontologies for supporting engineering analysis models , 2005, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[20]  Kristin L. Wood,et al.  Development of a Functional Basis for Design , 2000 .

[21]  Leon F. McGinnis,et al.  System and simulation modeling using SYSML , 2007, 2007 Winter Simulation Conference.

[22]  Matthias U. Heinicke,et al.  Eliminate bottlenecks with integrated analysis tools in eM-Plant , 2000, 2000 Winter Simulation Conference Proceedings (Cat. No.00CH37165).

[23]  Rudolf Hornig,et al.  An overview of the OMNeT++ simulation environment , 2008, Simutools 2008.

[24]  Hilding Elmqvist,et al.  An Overview of the Modeling Language Modelica , 1998 .

[25]  François E. Cellier,et al.  Quantised State System Simulation in Dymola/Modelica using the DEVS Formalism , 2006 .

[26]  Manas Bajaj,et al.  Simulation-Based Design Using SysML Part 1: A Parametrics Primer , 2007 .

[27]  David J. Wagg,et al.  ASME 2007 International design engineering technical conferences & computers and information in engineering conference , 2007 .

[28]  Steven D. Eppinger,et al.  Designing Modular and Integrative Systems , 2000 .

[29]  Robert A. Adey,et al.  Applications of Artificial Intelligence in Engineering V , 1990 .

[30]  Kim B. Clark,et al.  The Option Value of Modularity in Design: An Example From Design Rules, Volume 1: The Power of Modularity , 2000 .

[31]  Karl T. Ulrich,et al.  Fundamentals of Product Modularity , 1994 .

[32]  Jose M. Garrido Object-Oriented Discrete-Event Simulation with Java: A Practical Introduction , 2001 .

[33]  John K. Gershenson,et al.  Modular Product Design: A Life-Cycle View , 1999, Trans. SDPS.

[34]  Imre Horváth,et al.  Development and Application of Design Concept Ontologies for Contextual Conceptualization , 1998 .

[35]  Ernst Christen,et al.  Vhdl-ams---a hardware description language for analog and mixed-signal applications , 1999 .

[36]  David Kendrick,et al.  GAMS, a user's guide , 1988, SGNM.

[37]  Jerry Fisher,et al.  From the Editor: Model-Based Systems Engineering: A New Paradigm , 1998 .

[38]  Kim B. Clark,et al.  The power of modularity , 2000 .

[39]  Manas Bajaj,et al.  Knowledge Composition for Efficient Analysis Problem Formulation: Part 1 — Motivation and Requirements , 2007 .

[40]  Ram D. Sriram,et al.  The NIST Design Repository Project , 1999 .

[41]  Steven J. Fenves,et al.  CPM2: A Core Model for Product Data , 2008, J. Comput. Inf. Sci. Eng..

[42]  Christiaan J. J. Paredis,et al.  Composable Models for Simulation-Based Design , 2001, Engineering with Computers.

[43]  Christiaan J. J. Paredis,et al.  Using OMG’S SYSML to support simulation , 2008, 2008 Winter Simulation Conference.

[44]  Bernard P. Zeigler,et al.  Implementation of the DEVS Formalism over the HLA/RTI: Problems and Solutions , 1999 .

[45]  Bernard P. Zeigler,et al.  Hierarchical, modular discrete-event modelling in an object-oriented environment , 1987 .