DO-254 Services

Pragam: The DO-254 expert

If you are in the business of developing airborne complex electronic hardware, or if you are a relatively new entrant into the avionics industry, then you certainly appreciate that achieving first-time compliance in certification is vital to your business.

At Pragam, we can help you apply the de-facto DO-254 standard to your ASIC / FPGA / PLD life cycle in the most effective manner.

Our experience with several life cycles based on DO-254 guidance combined with our expertise in understanding the needs of the certification authorities (primarily FAA and JAA) (as understood from multiple SOI audits), allows us to deliver the right product and the optimal set of artifacts to achieve compliance, without the overkill.

Independent Design and Verification Services

We focus on design assurance strategies at DALs A, B and C, offering independence during the execution of requirements validation, planning, design and supporting processes (V&V, CM and QA). We can help you with the creation of certification artifacts- right from the PHAC to the Design / Verification Traceability and all the way to the HAS! Pragam also offers extensive support for obsolescence management and technology migration.

We lay emphasis on providing support for addressing the Safety aspects, Architecture Mitigation, Tool Qualification, Elemental Analysis and Formal Methods.

Gap Analysis and Audit Support

We can work with your teams to identify the gaps in the processes or weaknesses in the amount of process rigor applied to ensure compliance. We will conduct “pre-DER” audits to check for preparedness and compliance. For example – Pragam can help with the definition of the Design Life Cycle, Guidelines and Standards.

VFM – Verification framework

Our verification framework “VFM” offers unique features that help you reduce cost and meet time-to-market. The verification cycle is automated with set of processes, built-in checks, templates, self-learning test bench and automated reports generation. A rich set of proven, re-usable models enables faster creation of the verification environment.

The true power of VFM could be exploited when the design requirements are specified in Pragam’s proprietary syntax and format. Pragam will help to create wrappers for seamless integration of 3rd party verification IPs with VFM.

For safety-critical and mission-critical systems, VFM offers the advantages of full compliance and demonstrable traceability; the entire life cycle data and necessary evidence is available to you – a mandatory and often the most “painful” requirement.

Intellectual Property for the Avionics Community

Pragam could offer IPs based on ARINC 429, MIL-STD-1553B, AFDX / ARINC 664 and IEEE 1394b in the Avionics domain. These IPs will be compliant with DO-254, Level A guidelines.

Case Studies