Core services

What we deliver

End-to-end DO-178C engineering services — from planning through certification data package.

06Core service areas
DO-178CPrimary practice
A-DDAL coverage
01

DO-178C Software Planning

Certification planning that sets the program up for first-pass approval. We author SDP, SVP, SCMP, SQAP aligned to the agreed DAL.

  • Software Development Plan (SDP)
  • Software Verification Plan (SVP)
  • Software Configuration Management Plan
  • Software Quality Assurance Plan (SQAP)
  • PSAC development support
02

Software Development

Requirements-based embedded software development for avionics LRUs. MISRA-C compliant, traceability-first coding practice.

  • High-level & low-level requirements
  • Software Architecture Document (SAD)
  • MISRA-C compliant C/C++ development
  • ARINC 429, MIL-STD-1553 interfaces
  • RTOS integration (VxWorks, LynxOS)
03

Verification & Validation

Independent software V&V including unit test, SSIT, HSIT and structural coverage analysis to MC/DC for DAL A.

  • Requirements-based test case design
  • Unit testing (host & target)
  • SSIT / HSIT execution
  • Structural coverage — Statement/Decision/MC/DC
  • Regression testing & problem reports
04

Certification Support

DER coordination, SOI audits, compliance matrices and complete Software Accomplishment Summary preparation.

  • SOI #1 through SOI #4 support
  • Software Accomplishment Summary (SAS)
  • Compliance matrix development
  • DER coordination & audit support
  • Problem Report management
05

DO-254 Hardware Assurance

Design assurance for complex airborne electronic hardware — FPGA, CPLD, ASIC — per DO-254 guidelines.

  • Hardware Development Plan (HDP)
  • FPGA/CPLD design & verification
  • Hardware Accomplishment Summary
  • ARINC 429 IP core development
  • Independent hardware review
06

Systems Engineering

ARP-4754A system development, safety assessment, and FDAL/IDAL allocation bridging aircraft and software levels.

  • System requirements & architecture
  • Functional Hazard Assessment (FHA)
  • PSSA / SSA support
  • FDAL to IDAL allocation
  • ICD & interface management
Artifacts

DO-178C life cycle data we produce

All software life cycle data authored to DO-178C standards, DER-reviewable, and configuration-managed.

Artifact DO-178C Reference DAL Applicability Produced by
Software Development Plan (SDP)Section 4, Table A-1A-DPlanning team
Software Verification Plan (SVP)Section 4, Table A-1A-DPlanning team
Software Configuration Management PlanSection 4, Table A-1A-DPlanning team
Software Quality Assurance Plan (SQAP)Section 4, Table A-1A-DPlanning team
Plan for Software Aspects of Certification (PSAC)Section 4, Table A-1A-DCert team
Software Requirements Specification (SRS)Section 5, Table A-2A-DDev team
Software Architecture Document (SAD)Section 5, Table A-3A-CDev team
Software Design Description (SDD)Section 5, Table A-4A-BDev team
Source code (MISRA-C)Section 5, Table A-5A-DDev team
Software Verification Cases & ProceduresSection 6, Table A-7A-DV&V team
Software Verification ResultsSection 6, Table A-7A-DV&V team
Structural Coverage Analysis ReportSection 6.4A-CV&V team
Software Accomplishment Summary (SAS)Section 11A-DCert team
Problem Reports (PRs)Section 9A-DAll
Software Configuration Index (SCI)Section 7A-DCM team
Toolchain

Tools we work with

Our engineers are qualified on the industry-standard toolchain for avionics software development and verification.

Requirements Management

IBM DOORSPolarionJIRA

Test & Coverage

LDRA TBvisionVectorCASTCantata++RTRT

Static Analysis

PolyspaceCoverityPC-lintLogiscope

Config Management

Subversion (SVN)GitClearCase

RTOS / Compilers

VxWorksLynxOSGreen HillsWind River

FPGA / Hardware

VivadoQuartusModelSim

Modelling

MATLAB/SimulinkSCADE

Communication Protocols

ARINC 429MIL-STD-1553CANRS-422