Overview

Due to the contracts awarded over the past years, CES has extended its expertise to aircraft qualification levels, both for military and commercial aircraft, as well as DO-254 and DO-178B design certification processes. To fulfil the demands of our customers, an in-house center of qualification and certification expertise has been developed. To extend aeronautical quality assurance level throughout the entire company, as well as to our suppliers, CES also applies the requirements of the new IAQG EN9100 Quality Management System.

CES has acquired an expertise through the entire range of certification requirements. CES certifiable packages include:

• Standard packages
• Evolution to DO-178B memory partitioning packages
• Full ARINC 653 DO-178B memory and time partitioning packages

These solutions cover the entire range from Level D to Level A, for standard, mission critical and flight critical applications.

Certifiable versus Certified

The reason we use the term “certifiable” instead of “certified” is because according to RTCA guidelines, only entire aircraft and aircraft engines can be “certified.” The final “certified” product is therefore a complete aircraft comprised of all of the necessary certifiable components. Our “certifiable” BSP software can be defined as a software product, which has been independently verified as having been developed in accordance with the DO-178B guideline. Certifiable BSPs are delivered either as a BSP Certifiable Code or as a BSP Certifiable Pack.

BSP Certifiable Code

The BSP certifiable code includes C and assembly source code together with release and debug binaries. It includes all of the necessary files to integrate with the WindRiver VxWorks® 653 development environment, and to build an VxWorks® 653 application to run on the chosen CES hardware.

BSP Certifiable Code provides all of the code necessary to initialize and test the CES processor board on power-up (PBIT) and to support software development. It features:

• Processor initialization and auto-test
• Memory initialization and auto-test
• Optional VME interface initialization and auto-test
• Optional CompactPCI interface initialization and auto-test
• Optional PCI interface initialization and auto-test
• Optional add-on boards auto-test

It is packaged in two parts: certifiable code that can be incorporated into a deployable application and a comprehensive set of utilities used during the system development and test phase. Examples of utilities include Ethernet download and debug, resident monitor with serial command line support and Flash programming.

BSP Certifiable Pack

The BSP certifiable pack includes BSP Certifiable Code, plus all of the DO-178B certification functions to enable the customer to complete the certification process to the specified level, up to Level A.

In order to facilitate certification of the aircraft, the BSP is bundled with supporting documentation referred to as “certification artifacts,” which demonstrates that the software has been developed in accordance with the DO-178B guideline. Certification artifacts include:

• Plan for Software Aspect of Certification (PSAC)
• Software Development Plan (SDP)
• Software Requirement Standard
• Software Design Standard
• Software Coding Standard
• Software Requirement Specification (SRS)
• Software Design Description (SDD)
• Software Verification Plan (SVP)
• Software Configuration Management Plan (SCMP)
• Software Quality Assurance Plan (SQAP)
• Software Test Description (STD) with Test Cases and Procedures
• Software Test Result (STR)
• Software Version Description (SVD)
• Software Accomplishment Summary (SAS)

For auditing purposes, the customer can have access to:

• Software Problem Reports
• Software Verification Notebook
• Software Quality Notebook