Port-Based Composable Modeling and Simulation for Safety Critical System Testbed

摘要

While there has been much attention paid to the applications of Modeling and Simulation (M&S) for safety critical system testbed lately, little has been done to address related technology areas that enable M&S to be more easily constructed.Model Composabilty is the ability to compose component across a variety of application domains. This contribution discusses basic researches for a port-based object (PBO) approach to integrated M&S of testbed. We give the formal description of PBO with the safety property and describe the method of composable design based on PBO. and then illustrate this approach by a simple example .