MAVIS: a model-based verification framework for distributed integration

Le résumé fourni par la source

MAVIS is a complex astronomical instrument whose Manufacturing, Assembly, Integration, and Test (MAIT) programme is distributed across multiple institutes and countries, with integration progressing through numerous phases over several years before final integration and commissioning at ESO's Paranal Observatory. While traceability between requirements and TestCases is a standard feature of model-based systems engineering, distributed MAIT requires verification activities to be coordinated with the progressive integration of the instrument. To address this challenge, the MAVIS Consortium has developed a model-based verification framework that associates TestCases with System Configuration Levels (SCLs), representing the discrete integration states of the MAIT lifecycle. Verification activities are explicitly mapped to these SCLs, providing the structure needed to plan and coordinate verification throughout the integration of the instrument. The framework further defines Local Acceptance Tests (LATs), Local Acceptance Reviews (LARs), and Assembly and Integration Readiness Tests (AIRTs), with LATs and AIRTs represented using dedicated SCLs to allow all verification activities to be planned and managed through a common framework. These concepts are realised within a shared SysML model through TestCase elements linked to requirements and extended with project-specific metadata. The resulting framework enables verification activities to be planned and executed consistently throughout a geographically distributed, multi-year MAIT programme while maintaining end-to-end traceability from system requirements through to final on-sky verification.

Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.