DEVS Markov Modeling and Simulation of Activity-Based Models for MBSE Application

DEVS has been proposed as the basic modeling and simulation framework for Model-Based System Engineering (MBSE) methodology that supports the critical stages in top down design of complex systems. Here we propose a novel DEVS Markov simulation for Activity-Based Models to provide a means for experiment design to examine flows in activities with behavioral elements. The approach allows comparing different flows in a seamless manner. Also adjustments to the models become possible that would be costly and harder to maintain otherwise. With application to MBSE in mind, we aim to make such a process support developing more multiple alternatives in complex model design while delegating as much of code modification downstream to advanced automatic code generators. We examine the approach with application to MBSE with an example from the health care domain with different policies and patient flows. Finally, we discuss the remaining challenges and opportunities for further research.