The limitations of model-based support for engineering complex systems include limited capability to develop multifaceted models as well as their analysis with robust reliable simulation engines. Lack of such Modeling and Simulation (M&S) infrastructure leads to knowledge gaps in engineering such complex systems and these gaps appear as epistemological emergent behaviors. In response, an initiative is underway to bring Model-Based Systems Engineering (MBSE) closer together with model-based simulation developments. M&S represents a core capability and is needed to address today’s complex, adaptive, systems of systems engineering challenges. This paper considers the problems raised by MBSE taken as a modeling activity without the support of full strength integrated simulation capability and the potential for, and possible forms of, closer integration between the two streams. An example of a system engineering application, an unmanned vehicle fleet providing emergency ambulance service, is examined as an application of the kind of multifaceted M&S methodology required to effectively deal with such systems.

The objective of this research article is to re-introduce some of the concepts provided by A. Wayne Wymore in his mathematical theory of Model-Based Systems Engineering, discuss why his framework might have not been adopted, and define a potential path to modernize the framework for practical application in the digital age. The dense mathematical theory has never been converted to a practical form. We propose a path to modernization by creating a metamodel of Wymore’s mathematical theory of MBSE. This enables explaining the concepts in simple to understand terms and shows the internal consistency provided by the theory. Furthermore, the metamodel allows for conversion of the theory into software application, for which we show some initial results that open the research to the art of the possible. In recognition of limitation of the theory, we make the case for a merger of the theoretical framework with the enhanced formalism of Discrete Event System Specification (DEVS). This will establish a path toward the scientific foundations for MBSE to enable future implementations of the complementary pairing and their empirical results.

The DEVS formalism has been recognized to support generic open architectures that allow incorporating multiple engineering domains within integrated simulation models. What is missing for accelerated adoption of DEVS-based methodology for intelligent cyberphysical system design is a set of building blocks and architectural patterns that can be replicated and reused in system development. As a start in this direction, this paper offers a notional architecture for intelligent hybrid cyberphysical system design and proceeds to focus on the decision layer to consider DEVS models for basic behaviors such as choice of alternatives, perception of temporal event relations, and recognition and generation of finite state languages cast into DEVS time segments. We proceed to describe a methodology to define DEVS-based building blocks and architectural patterns for design of systems employing fast, frugal, and accurate heuristics. We identify some elements of this kind and establish their status as minimal realizations of their defined behaviors. As minimal realizations such designs must ipso facto underlie any implementation of the same cognitive behaviors. We discuss architectures drawn from the cognitive science literature to show that the fundamental elements drawn from the fast, frugal, and accurate paradigm provide insights into intelligent hybrid cyberphysical system design. We close with open questions and research needed to confirm the proposed concepts.