INTERACTION MODELING IN SYSTEMS DESIGN

We present a simulation and design framework for simultaneously designing and modeling electromechanical systems. By instantiating component objects in our software and connecting them to each other via ports, the designer configures complex systems. Interactions are the physical phenomena that occur at the interfaces between connected components. Most of the research in configuration design has focused on modeling components, with very little attention paid to the dynamics of the interaction phenomena. To obtain an accurate virtual prototype, the interaction dynamics must also be captured in behavioral models. All interactions between components are mediated by ports. We introduce port and interaction model taxonomies, and provide a set -theoretic formalism that defines the algebra of port and interaction models. In addition, the formalism supports automatic instantiation of interaction models given the types of the connected ports, as well as the ability to replace one interaction model for another depending on the requirements of the desired simulation experiment. We illustrate our framework with an example.

[1]  Enrico Motta,et al.  Parametric Design Problem Solving , 1996 .

[2]  Christiaan J. J. Paredis,et al.  Modeling of Component Interactions in Configuration Design , 2001 .

[3]  Munish Gandhi,et al.  A Specification-Based Data Model , 1992, ER.

[4]  Hilding Elmqvist,et al.  Physical system modeling with Modelica , 1998 .

[5]  Bernard P. Zeigler,et al.  Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems , 2000 .

[6]  Edward A. Lee,et al.  System-Level Types for Component-Based Design , 2001, EMSOFT.

[7]  Donald W. Barnes,et al.  Zermelo-Fraenkel Set Theory , 1975 .

[8]  Naranker Dulay,et al.  Specifying Distributed Software Architectures , 1995, ESEC.

[9]  C. Michael Sperberg-McQueen,et al.  Extensible Markup Language (XML) Version 1.0 , 2000 .

[10]  Christiaan J. J. Paredis,et al.  Capturing Articulation in Assemblies from Component Geometry , 1998, DAC 1998.

[11]  A. Diaz-Calderon,et al.  Organization and selection of reconfigurable models , 2000, 2000 Winter Simulation Conference Proceedings (Cat. No.00CH37165).

[12]  COIS E. CELLIER Object{oriented Modeling: Means for Dealing with System Complexity , 1996 .

[13]  Bernard P. Zeigler,et al.  Theory of modeling and simulation , 1976 .

[14]  Bernard P. Zeigler,et al.  Model base management for multifacetted systems , 1991, TOMC.

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

[16]  Ulrike Sattler Description Logics for the Representation of Aggregated Objects , 2000, ECAI.

[17]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[18]  Christiaan J. J. Paredis,et al.  Integration of mechanical CAD and behavioral modeling , 2000, Proceedings 2000 IEEE/ACM International Workshop on Behavioral Modeling and Simulation.

[19]  David Garlan,et al.  Formalizing architectural connection , 1994, Proceedings of 16th International Conference on Software Engineering.

[20]  Michael Heinrich,et al.  SyDeR—System design for reusability , 1998, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.