Abstract:
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-speci ed 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 veri cation using appropriate solvers.
Speci cally, demonstrated and discussed are the results of applying a Systems Modeling Language (SysMLTM)
based approach in which operational modes, behavior speci cations 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.
