Dr. Paul Wach
A University of Arizona systems engineering researcher with expertise in systems theory, digital engineering and verification of SI-generated engineering artifacts.
Capabilities
Model-Based Systems Engineering (MBSE)
Turn authoritative requirements and engineering records into traceable system models.
Engineering prototype
Requirements tied to executable behavior.
ModelShift connects supported source models to execution checks and SysML v2 output.
ENGINEERING / MODELING & SIMULATION
Systems engineering and simulation partnerships.
RTSync Corp.
PALLC uses RTSync’s DEVS simulation engine to support modular, executable system models.
Discrete Event System Specification (DEVS) defines component states, events and time advance. Closure under coupling lets components form larger models with the same execution semantics, supporting reusable components and consistent experiments.
Engineering scope
PALLC develops system models that connect requirements, structure, behavior and interfaces. Semantic relationships preserve the meaning of source material as engineering records become model elements and executable configurations.
SI-enabled interpretation and model generation accelerate preparation; model checks, source traceability and engineering review control what enters the baseline. We develop transformations and integrations around the customer’s source formats, SysML profiles and engineering tools.
ModelShift connects supported model profiles to execution checks and SysML v2 export. This provides a basis for extending model-based engineering into simulation, technical review and verification and validation as the design evolves.
EXPLORE THE CAPABILITY