DO-178C Airborne Software Regulation Standard What’s New Compared to DO-178B? How to Comply with DO-178C? 1 © 2013 ANSYS, Inc. © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary Agenda • Introduction to Esterel Technologies and SCADE • Why DO-178C? • Tool Qualification • Model-Based Development • SCADE and DO-178C • Summary • Questions & Answers 2 © 2013 ANSYS, Inc. © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary Introduction to Esterel Technologies and SCADE 3 © 2013 ANSYS, Inc. © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary About Esterel Technologies Provide critical system and software developers with model-based development solutions that reduce cost, risk and time-to- certification 4 © 2013 ANSYS, Inc. © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary SCADE Product Family Model-Based System Engineering Control System Architecture, HMI System Verification Software Design Software Design Prototyping, Design, Prototyping, Design, System & Software Verification, Qualified Verification, Qualified Lifecycle Mgt Code Generation Code Generation Certification Plans, Metrics, Requirements, Configuration Management, Documentation Generation 5 © 2013 ANSYS, Inc. © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary SCADE Suite is Unique • SCADE Suite has been developed specifically to address safety- critical applications • The Scade language was formally defined with key safety objectives, in close connection with aircraft manufacturers and certification authorities • The SCADE Suite KCG code generator has been qualified by EASA, FAA, Transport Canada, CAAC, etc, as a software development tool according to the DO-178B standard, for numerous aircrafts and engines projects • SCADE Suite KCG is currently being qualified as a TQL-1 tool for DO-330 6 © 2013 ANSYS, Inc. © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary Modeling in SCADE Suite 7 © 2013 ANSYS, Inc. © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary Why DO-178C? 8 © 2013 ANSYS, Inc. © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary Process Structure of DO-178B 9 © 2013 ANSYS, Inc. © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary Summary of DO-178B • DO-178B takes into account the inputs, constraints, requirements from all stakeholders – Consensus between Airframe manufacturers, Equipment suppliers, and Certification authorities • DO-178B was written as much as possible as an objectives- oriented document Try not to be prescriptive on the means − Less sensitive to technology evolution − • 20 years of use did not reveal major safety flaws 10 © 2013 ANSYS, Inc. © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential & Proprietary