Speaker
Mr
Patrick Cormery
(Airbus Safran Launchers)
Description
This presentation will focus on the current deployment of methods and tools, in the frame of Ariane 6 project. It will also address the on-going and future studies, targeting various aspects such as formal proof, integrated modelling for RAMS and the enhancement of analysis capabilities to be coupled with the existing toolset. The current status is covering the following capabilities :
• Functional analysis with Mega
• Refinement of the functional and Avionic electrical definition with Capella
• Functional architecture Modelling with SYSML Rhapsody
• Mission Management with DSL Vasco
• Model transformation from SYSML and VASCO to Lustre language allowing formal proof
• Automated generation of Documentation from Capella & SYSML
• Automated code generation from SYSML and VASCO
The next step, initiated from current R&T studies are focusing on :
• The harmonization of the current toolset, replacing SYML & MEGA with a future version of Capella
• Automated test generation and validation of the SYSML models correctness (in order to compensate the lack of certification of the code generator Tool)
• RAMS modelling (linked to the Clarity project), with the ability to create non-functional links to be added to the Capella engineering models
• Coupling of dedicated analysis tool to support Avionic architecture Trade-offs (power consumption, mass budget, thermal,…)
