SCADE Users Conference October 2009 Presented by Jean-Charles DALBIN Airbus Operations SAS SCADE for AIRBUS critical avionics systems Scade Users Conference 2009
Agenda Airbus Context SCADE use Automatic Code Generation Scade Users Conference 2009 October 2009 Page 2
Strategy for the systems : Make or Buy? AIRBUS has defined a strategy for the development of its Aircraft systems : Make or in house development : Systems are designed, developed and manufactured by Airbus internal centre Buy or out sourced development : Systems are designed and manufactured by system vendor (or sub-contractor) Scade Users Conference 2009 October 2009 Page 3
Systems development overview System design : Define system and computer requirements, Provide validation plans Provide models Test & Simulation : Development simulation Training simulation Avionics products manufacturer : Provide hardware equipments Provide software with functional applications Scade Users Conference 2009 October 2009 Page 4
Avionics products overview Flight Control system : - Flight control Primary computer - Flight control Secondary computer - Data Concentrator function - Backup Control Unit function - Weight and Balance Backup Computation Flight Warning system : - Flight Warning function - System Data Acquisition - Ecam Control Panel A380 A319/A320/A321 Maintenance system : - Centralised Maintenance function - Bite function Air/Ground Digital communication system : - Air Traffic Services Unit - Air Traffic Communication Function A400M A330/A340 Scade Users Conference 2009 October 2009 Page 5
Agenda Airbus Context SCADE use Automatic Code Generation Scade Users Conference 2009 October 2009 Page 6
SCADE modelling with SCADE-Suite At System Design level: Model definition and verification System functional definition Textual system requirements Function Modelling SCADE Editor Verification Environments Other applications Validation Plan Local verification with SCADE simulator & SCADE quick check Global verification with specific simulators Scade Users Conference 2009 October 2009 Page 7 Checked & Verified models
Software coding & integration At avionics products manufacturer level: From SCADE model to code transformation and Software integration Checked & Verified models Airbus ACG toolset including SCADE-KCG Code Review Unit Tests generated Code generated Code generated Code generated Code Generated Code Integration Tests Unit Tests Symbol Symbol library library Drivers Drivers Scheduler Scheduler Validation Tests Embedded Embedded Software Software Scade Users Conference 2009 October 2009 Page 8
System validation At Test and Simulation level: Application integration and validation Unitary validation of applications Validation Plans Validation of systems integration Scade Users Conference 2009 October 2009 Page 9
Agenda Airbus Context SCADE use Automatic Code Generation Scade Users Conference 2009 October 2009 Page 10
ACG - Key drivers The main challenges : Flight control for civil aircraft need high level of safety Certification under the DO178B standard New software delivery in 48 hours Application defined with more than 5000 SCADE nodes More than 30 software releases before Entry Into Service 30 to 50 years of maintenance in operational condition Systems global cost reduction Airbus strategy Model Based development and Qualified Automatic Code Generation using in house ACG (strategic internal expertise) and ESTEREL Technologies toolset Scade Users Conference 2009 October 2009 Page 11
ACG - Airbus Know-how Airbus ACG toolset including SCADE-KCG for all internal avionics embedded software ACG toolset are DO178B qualified Specific AIRBUS internal expertise domain Delivery of a new software standard in 48 hours Generated code customized for the hardware target Contribution to a lean software production process A significant competitive advantage for Airbus A.C.G. CODE Scade Users Conference 2009 October 2009 Page 12 Code Review Unit Tests
ACG Airbus organization impacts Why code customization? Specific hardware target Target languages CPU & Compiler usage Capability of verification System design System V&V Software development Customization Customization should be done without impact on model Scade Users Conference 2009 October 2009 Page 13
ACG tools customization : how? SCADE Models ACG toolset Other files Source files Symbols transformation rules Source file templates Optional functions Qualified Airbus ACG toolset SCADE-KCG Intermediate files Post-Processing Airbus toolset allow to customize source code at software level Scade Users Conference 2009 October 2009 Page 14
Airbus in house avionics software production observed results Several Millions of lines of code produced for 15 critical avionics software 60% of the embedded software produced automatically Time development (including verification activities) divided by 3 compared to a process without ACG (observed results for typical modification on FCS software) Never experienced any bug in flight in our FCS software produced automatically Scade Users Conference 2009 October 2009 Page 15
Thank you for your attention Scade Users Conference 2009 October 2009 Page 16
AIRBUS OPERATIONS S.A.S. Tous droits réservés. Document confidentiel. Ce document et son contenu sont la propriété d AIRBUS OPERATIONS S.A.S. Aucun droit de propriété intellectuelle n est accordé par la communication du présent document ou son contenu. Ce document ne doit pas être reproduit ou communiqué à un tiers sans l autorisation expresse et écrite d AIRBUS OPERATIONS S.A.S. Ce document et son contenu ne doivent pas être utilisés à d autres fins que celles qui sont autorisées. Les déclarations faites dans ce document ne constituent pas une offre commerciale. Elles sont basées sur les postulats indiqués et sont exprimées de bonne foi. Si les motifs de ces déclarations n étaient pas démontrés, AIRBUS OPERATIONS S.A.S serait prêt à en expliquer les fondements. AIRBUS, son logo, A300, A310, A318, A319, A320, A321, A330, A340, A350, A380 et A400M sont des marques déposées. Scade Users Conference 2009 October 2009 Page 17