MBSE Methodology to Track and Validate the Interfaces of ANDES Spectrograph for E-ELT

• Published in: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) pp. 81 - 82
• Main Authors: Scalera, Marcello Agostino, Zanutta, Alessio, Riva, Marco
• Format: Conference Proceeding
• Language: English
• Published: IEEE 01.10.2023
• Subjects: Astronomical instrumentation; Astrophysics; Automatic validation; Fluids; Interfaces management; Interfaces validation; Model driven engineering; Optical fiber networks; Software; Systems engineering and theory; Telescopes
• DOI: 10.1109/MODELS-C59198.2023.00025

Lately, the Italian astronomical community has begun adopting Model Based System Engineering (MBSE) for the development of complex instruments, marking a first in its history. A significant challenge during this transition is the establishment of a robust and flexible method to manage the models of future astronomical instruments using the Cameo Systems Modeler tool, taking into account the important aspects of the process, i.e., requirements, interfaces, activities, etc. This paper presents an in-progress method applied to ANDES, a high-resolution spectrograph for the E-ELT telescope, that will be used to address many hot research topics in astrophysics. The method is developed around a custom profile (AstroMBSE) that refines the software capabilities, tailoring it to define the model elements and enriching them with the properties needed in the astronomical field. This paper focuses on tracing and validating the interfaces of the system. The method uses the nature of interfaces of astronom-ical instruments - mechanical, optical, thermal, electronics and network, fluid - to populate the blocks used to represent such interfaces in the system. These blocks are then used to create instances of the interfaces where the actual numerical values of the interfaces' value properties are stored and used to validate the two sides of an interface. The validation process basically checks if one side of the interface is compliant with the constraints imposed by the others. This whole process employs the use of computational blocks prepared in advance and reused for each interface together with Pattern blocks in order to make the procedure as light as possible in terms of set up effort and to reduce the introduction of human errors.