Design tool for DO-254-based complex airborne electronics hardware design introduced by The MathWorks and Mentor Graphics

Posted by John Keller

NATICK, Mass., 24 March 2010. The MathWorks in Natick, Mass., and Mentor Graphics in Wilsonville, Ore., are working together to provide guidance on an integrated workflow for compliance to the RTCA/DO-254 design assurance guidance for airborne electronics hardware standard using model-based design.

DO-254 is recognized by the U.S. Federal Aviation Administration (FAA) as a means for designing complex electronic hardware like field programmable gate arrays (FPGAs), programmable logic devices (PLDs), and application specific integrated circuits (ASICs) in avionics systems. The DO-254 standard is the counterpart to the RTCA DO-178B/EUROCAE ED-12B standard for software in safety-critical systems.

The two companies are combining tools from The MathWorks and Mentor Graphics to support model-based design throughout all stages of development, including requirements definition and management, conceptual and detailed design, implementation, and testing.

Using this integrated workflow, aerospace engineers can verify designs early, implement in HDL quickly, reuse design and verification, and more manage requirements and test cases.

In the new DO-254 workflow, engineers begin with the Mentor Graphics ReqTracer to collect and manage requirements. From the requirements, an executable Simulink model helps develop and explore a conceptual design including implementation details such as fixed-point effects.

Model blocks can be linked directly to requirements in ReqTracer to ensure traceability. Using verification and validation tools from The MathWorks, engineers can then perform functional testing and formal analysis at the conceptual model level.

These design and verification capabilities allow engineers to ensure that the conceptual design is fully tested, traceable to requirements, and meets all necessary requirements. From this fully tested model, a detailed design in HDL can be automatically generated with Simulink HDL Coder.

From this stage onward, Mentor Graphics HDL Designer provides the primary environment for additional HDL development, code checking, code visualizations, and reviews. Further verification of the detailed HDL design can be performed in the Mentor Graphics verification environment, leveraging the test vectors created at the model level, using tools such as ModelSim and Questa.

Formal analysis is supported by 0-In Formal Verification, for HDL model checking, and FormalPro, for logical equivalency checking. FPGA synthesis and integration with FPGA vendor place and route tools is accomplished by Precision RTL Plus. All verification results and synthesis constraint settings generated throughout the entire flow can be traced back to design and verification requirements using ReqTracer.

More information on adopting model-based design for DO-254 certification with MathWorks tools is online at www.mathworks.com/do-254. The Mentor Graphics DO-254 approach is detailed online at www.mentor.com/go/do-254. An online whitepaper in .pdf format explains the joint workflow.

Subscribe

Follow me on Twitter

Join the PennWell Aerospace and Defense Media Group on Linkedin at http://bit.ly/9MXl9

Become a fan of Military & Aerospace Electronics on Facebook at http://bit.ly/1VGM0Q

Post your aerospace and defense-related material to the #milaero community on Twitter. Use the #milaero hashtag.

Join your industry colleagues in the Command Post community online at

Easily post a comment below using your Linkedin, Twitter, Google or Facebook account.


Military & Aerospace Photos

Most Popular Articles

Related Products

F-SIM-LDR ARINC 615A Data Loader

AIT's F-SIM-LDR, or Flight Simulyzer Loader, is a complete ARINC-615A Data Loader development kit...

cPCI-1760-SW-4

AceXtreme® Bridge Device - Smart Protocol Converter

DDC’s AceXtreme Bridge Device converts avionics messages in real time between Ethernet, MIL-STD-1...

Low Voltage Power Supplies for Avionics

Crane Aerospace & Electronics has over 50 years of experience in the design and manufacture of hi...

Transformer Rectifier Units (TRUs)

As the world’s leading supplier of Transformer Rectifier Units (TRUs) for commercial aircraft sin...

RAR-USB

The RAR-USB is an ARINC 429 USB 2.0 adaptor that provides up to sixteen totally independent recei...

DW 251

DW 251 has been developed for specific use in aerospace and aircraft electrical and wiring applic...

Aircraft gearboxes

Positronic's Front Runner Connectors

The Front Runner Series offers a multiplicity of connector features which makes it a first choice...

ANET1553 / ANET429 Ethernet modules

New Ethernet Avionics Databus solutions for MIL-STD-1553A/B and ARINC429 are available. Test & Si...

Related Companies

CES - Creative Electronic Systems SA

Has been designing and manufacturing complex high-performance avionics, defense and communication boards, subsystems ...

Boker's Inc

Boker's, Inc. can manufacture your flat washers, spacers and shims with an outside diameter from 0.080" to 12" and ma...

DLS Electronic Systems Inc

Provides EMC/EMI & Environmental testing to MIL-STD 461-A-F, MIL-STD 810 & RTCA DO-160-C-G, Boeing, Airbus FAA AC20-1...

MICCAVIONICS GmbH

Highly innovative, integrated time-critical solutions of an information mission management and command and control sy...

Speel Praha Ltd

Offers avionics systems, including aircraft monitoring systems, crash-protected solid-state flight data/cockpit voice...

Digital Systems Engineering Inc (DSE)

Harsh-duty ruggedized flat-panel display design and manufacturing for airborne, military, and marine surveillance app...

Astro-Med

Designs and manufactures ruggedized printers and Ethernet switches used in demanding military and defense application...

StacoSystems

Provides LED push button display switches and control solutions, subsystems, and rugged keyboards and keypads for com...

LAI International Inc

LAI International is a leading contract manufacturer of make-complete precision-engineered components and assemblies ...

Interpoint

Supplies high-density, high-reliability Interpoint microelectronics, DC/DC converters and EMI filters to the aerospac...
Wire News provided by   

social activity

Webcasts

Meeting the Gen3 backplane challenge with OpenVPX and COTS

Tight Pentagon budgets mean military systems must stay in the field for longer than ever before. This doesn't mean obsolete technology, however. Today's military electronics are being upgraded constantly, an...
Sponsored by:

Digital signal processing for signals intelligence and electronic warfare

Military & Aerospace Electronics presents an expert Webcast on the design considerations for blending general-purposes processors (GPUs), general-purpose graphics processors (GPGPUs), field-programmable ...
Sponsored by:

Advantages of Intel Architecture Products and Wind River Solutions in Military & Aerospace Applications

This webinar explains the individual advantages of the Intel Architecture hardware, available for long-life supply, and the WRS software portfolio.  There are extraordinary advantages of combining such ...
Sponsored by:

All Access Sponsors

View the 2014 Buyer's Guide Now!


Mil & Aero Magazine

October 2014
Volume 25, Issue 10
file

Download Our Apps



iPhone

iPad

Android

Follow Us On...



Newsletters

Military & Aerospace Electronics

Weekly newsletter covering technical content, breaking news and product information
SUBSCRIBE

Defense Executive

Monthly newsletter covering business news and strategic insights for executive managers
SUBSCRIBE

Embedded Computing Report

Monthly newsletter covering news on embedded computing in aerospace, defense and industrial-rugged applications
SUBSCRIBE

Unmanned Vehicles

Monthly newsletter covering news updates for designers of unmanned vehicles
SUBSCRIBE