Trancho, Gelys (TMT)
In the new era of Extreme large Telescopes (ELT) performance requirements are not the only critical parameters in the design space. Other requirements such as acquisition times and operational behavior of systems can influence the design significantly. In an effort to address this challenge, this paper presents the TMT preliminary results of an ongoing effort towards creating a model, which captures the functional and physical architecture, behavior, requirements, and parametric relationships for TMT NFIRAOS LGS MCAO Acquisition Sequence and related use case scenarios at system level. Specifically, demonstrated and discussed are the results of using OMG’s Systems Modeling Language (SysML) to verify timing requirements in the early life-cycle phase through system-level simulation. Operational modes and behavior are modeled using activity diagrams. Scenarios are captured primarily using sequence and activity diagrams. Verifiable requirements are formally captured using constraints on properties. This type of modeling can prove to be particularly useful when wanting to investigate the effect of parallelizing or re-ordering sequence acquisition tasks.
10.26698/AO4ELT5.0168- Proceeding PDF