Praxis High Integrity Systems joins the DO-254 Partners Group

Praxis High Integrity Systems are pleased to announce their participation in the DO-254 Partners Group. The DO-254 partners Group is a group of companies which operate in the field of Electronic Design Automation and Safety-Critical Software, doing design, verification and consulting work. These companies have reacted to solicitation from major aerospace customers to create a "DO-254 tools and support" initiative. Its focus is the use of the RTCA DO-254 standard in developing programmable logic designs using hardware description languages (like VHDL and Verilog) to be used in aerospace applications. The group aims to help partner and client companies to produce DO-254 certified design flows.

RTCA DO-254 "Design Assurance Guidance for Airborne Electronic Hardware", also known as EUROCAE ED-80, is a design and development standard for safety-critical electronic hardware in avionics. It is used by the Federal Aviation Administration, and European Aviation Safety Agency. As an example, it is now requested by Airbus on the A380 and other recent programs, and has been adopted by companies operating in other areas as a representation of "best practice".

As innovators in the area of high-integrity programmable logic development and verification, Praxis HIS brings over a decade of experience in safety-critical software development and verification to the DO-254 Partners Group. We aim to support development and verification of existing systems, and lead research into programmable logic program development techniques.