Avionic-X: A demonstrator for the Next Generation Launcher Avionics

Intra-model consistency will be verified usingOCL rules for AADL, UML, SysML models. Scademodels will be verified using in-house TCL scripts.Inter-model consistencies have many differentmeans to be verified. Most of them will be assured byusing scripts which will import a version of theinterface and data types. For instance, an Acceleoscript can be written in order to translate an ASN1.0data type in a UML/SysML/AADL data type.Then we have been fine-tuning the requirements andobjectives during the feasibility phase, and a first set of“platform means” has been written down, as shown on figure12, which gives an overview of the global concept ofAvionic-X demonstrator.• Others ModelsIn parallel to these models dedicated to on-boardsoftware development, the MDE activity in Avionic-X willalso cover following modelling: Data handling system withSystemC (data handling system specification: used forspecification verification and simulator generation (forapplicative software development support)); EquipmentSimulator Software Architecture using UML and ASN1.0interfaces (for functional closed loop validation of the onboardsoftware); Algorithm Prototyping Models using inhousecommon formalism (for a faster and safer translationof prototype to on-board software).Figure 12. Overview of the Avionic-X demonstratorIV.AVIONIC-X DEMONSTRATION PLATFORMThe last activity branch of the project shall cover allplatform needs in order to be ready for the first test phase atthe end of the first increment, and shall manage the variousdemonstrator configurations, deriving from the other twoactivity branches (SEL-X and technological enablers, seepart III).The key properties of this demonstrator are modularity,openness and connectivity. It will keep evolving, and will beable to host different demonstrations (unitary or integrated).The “virtual layer” (shown at the bottom of figure 11) andthe simulators will allow several testing configuration, fromSWIL to HWIL.In the Statement of Work, the overview of the platformwas drafted as follows:ELECTRICAL GROUND SUPPORT EQUIPMENT (EGSE)The EGSE is mainly composed of the following subsystems:• The test supervisor based on the AITS (AdvancedIntegration and Tests Services) product which offersthe user interface to control the tests andcommanding activities;• The front-ends equipments which interface with theproduct under test (Time server, Telemetry, Powersupply, Avionic buses I/F…).• The matrix connections whose objective is todispatch the signals between the front ends and theproduct under test taking into account the SEL-Xconfiguration;• The avionic simulators interface with the testsupervisor;I/F I/F I/F• and specific check-out equipments if necessary.SIMULATORS :- FLIGHTSIMULATOR- ACTUATORSIMULATORSAVIONICSDEMONSTRATOR#1AVIONICSDEMONSTRATOR#2AVIONICSDEMONSTRATOR#NOBSERVATIONANDEXPLOITATIONMEANSThe following figure shows how the three activitybranches of the Avionic-X project interact continuously inorder to reach our objectives of TRL and IRL, and buildperformance files for various launcher avionics architectures,based on test results and benchmarks.SIMULATORS FOR AVIONICS FUNCTIONSVIRTUAL LAYER AVQ-X« Avionics » part of the démonstratorAVIONIC-X DEMONSTRATORFigure 11. First draft of an overview of the Avionic-X demonstrator