Esterel Technologies

What certification documents does SCADE provide?

There are actually 2 distinct documentation issues:

• The so-called certification kit includes the KCG qualification documents, that is to say the documents describing the development and validation of KCG itself (Plan for Software Aspects of Certification, Tool Qualification Plan, Tool Operational Requirements, Software Accomplishment Summary, Tool Qualification Accomplishment Summary). These documents are referenced in section 12.2 of DO-178B. They make it possible to qualify KCG on a new project, and therefore to skip some certification tasks on the generated code. See the DO-178B White Paper above for details on this issue. (For more details about SCADE qualification (/certification) kit see the following documents)
• Now, the model of the embedded software must of course also be documented in order to certify the aircraft. SCADE Reporter generates automatically the documentation for the SCADE model. This feature is independant from the KCG. It is part of SCADE Editor. This saves paper work and enables to ensure the consistency of the documentation and the embedded code, because they are both generated automatically from a unique reference, which is the SCADE model itself. The platform on which SCADE Reporter is launched really does not matter.