Shanghai PGM Technology Co., Ltd. offers a range of Model-Based Systems Engineering (MBSE) solutions and consulting services, focusing on system architecture design verification and execution simulation using Python and MATLAB. Their DESS add-on enhances state machine and functional data flow execution, enabling automatic scenario generation and real-time interaction with the executing model. This approach ensures consistency between system architecture design and simulation, facilitating early-stage system behavior analysis.