Modeling and Validation of a Software Architecture for the Ariane-5 Launcher

We present the modeling and validation experiments performed with the IFx validation toolset and with the UML profile developed within the IST Omega project, on a representative space vehicle control system: a model of the Ariane-5 flight software obtained by manual reverse engineering. The goal of the study is to verify functional and scheduling-related requirements under different task architecture assumptions. The study is also a proof of concept for the UML-based validation technique proposed in IFx.

• Type: Conference
• Year: 2006
• Where: FMOODS
• Authors: Iulian Ober, Susanne Graf, David Lesens
• Keywords: FMOODS 2006, FMOODS 2007, IFx Validation Toolset, IST OMEGA Project, UML-based Validation Technique