No abstract

This paper defines a suite of requirements for future hybrid cosimulation standards, and specifically provides guidance for development of a hybrid cosimulation version of the Functional Mockup Interface (FMI). A cosimulation standard defines interfaces that enable diverse simulation tools to interoperate. Specifically, one tool defines a component that forms part of a simulation model in another tool. We focus on components with inputs and outputs that are functions of time, and specifically on mixtures of discrete events and continuous time signals. This hybrid mixture is not well supported by existing cosimulation standards, and specifically not by FMI 2.0, for reasons that are explained in this paper. The paper defines a suite of test components, giving a mathematical model of an ideal behavior, plus a discussion of practical implementation considerations. The discussion includes acceptance criteria by which we can determine whether a standard supports definition of each component. In addition, we define a set of test compositions that define requirements for coordination between components, including consistent handling of timed events.

We prove invariance principles for phase separation lines in the two dimensional nearest neighbour Ising model up to the critical temperature and for connectivity lines in the general context of high temperature finite range ferromagnetic Ising models.

Abstract:The complexity of contemporary systems causes Systems Engineers great pains during early architectural design phases. Model-Based Systems Engineering (MBSE) proposes methodologies to deal with complexity and streamline design processes, but the penetration of the new approach is slow. This paper proposes a generic SysML based methodology for improving the Architectural Design phase of Systems and mitigate the barriers for MBSE adoption. The proposed methodology suggests an alternative way to formalize requirements, define design alternatives, automate design space exploration and examine optimization results in the original modeling format. A representative example is provided. A glossary is included at the end of the paper.