Analyzing the Operational Behavior of the Alignment and Phasing System of the Thirty Meter Telescope using SysML

The Alignment and Phasing System (APS) of the Thirty Meter Telescope (TMT) is responsible for positioning individual segments of the primary mirror, as well as the secondary and tertiary mirrors. Given its essential role, understanding the as-specified behavior and verifying related requirements is vital to the correct operation of the TMT. Analyzing the behavior of APS is challenging due to the variety of interactions with other subsystems. This paper presents results from developing an integrated system model that captures the structure, behavior, and requirements in a formal modeling language to enable automated verification using appropriate solvers. Specifically, demonstrated and discussed are the results of applying a Systems Modeling Language (SysML) based approach in which operational modes, behavior specifications and use case scenarios are used for the purpose of verifying requirements on timing, power, and pointing error through system-level simulation using a single, integrated model.