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


Get All the Military Aerospace Electronics News Delivered to Your Inbox or Your Mailbox

Subscribe to Military Aerospace Electronics Magazine or email newsletter today at no cost and receive the latest information on:


  • C4ISR
  • Cyber Security
  • Embedded Computing
  • Unmanned Vehicles

Military & Aerospace Photos

Most Popular Articles

Related Products

XCalibur4500 | 5th Generation Intel® Core™ i7 Broadwell-H Processor-Based Conduction- or Air-Cooled 6U CompactPCI Module

The XCalibur4500 is a high-performance 6U CompactPCI single board computer that is ideal for rugg...

XPedite7530 | 5th Generation Intel® Core™ i7 Broadwell-H Processor-Based Conduction- or Air-Cooled 3U CompactPCI Module

The XPedite7530 is a high-performance 3U CompactPCI single board computer that is ideal for rugge...

XCalibur4501 | 5th Generation Intel® Core™ i7 Broadwell-H Processor-Based Conduction-Cooled 6U CompactPCI Module

The XCalibur4501 is a high-performance 6U CompactPCI single board computer that is ideal for rugg...

XPedite7570 | 5th Generation Intel® Core™ i7 Broadwell-H Processor-Based Conduction- or Air-Cooled 3U VPX-REDI Module

The XPedite7570 is a high-performance, 3U VPX-REDI, single board computer based on the 5th genera...

XCalibur4540 | 5th Generation Intel® Core™ i7 Broadwell-H Processor-Based Conduction- or Air-Cooled 6U VPX Module

The XCalibur4540 is a high-performance, 6U OpenVPX™, multiprocessing, single board computer that ...

XPedite7572 | 5th Gen Intel® Core™ i7 Broadwell-H Based Conduction- or Air-Cooled 3U VPX-REDI Module with SecureCOTS™

The XPedite7572 is a secure and high-performance, 3U VPX-REDI, single board computer based on the...

XPedite7501 | 5th Generation Intel® Core™ i7 Broadwell-H Processor-Based Conduction- or Air-Cooled XMC Module

The XPedite7501 is a high-performance, low-power, XMC module based on the 5th generation Intel® C...

Medusa VPX3424

The AcQ Inducom “Medusa”VPX3424 is a 3U OpenVPX™ Single Board Computer (SBC) featuring the T4240 ...

XPand6200 Series | Small Form Factor (SFF) Sub-½ ATR Rugged COTS System utilizing 3U VPX, XMC, and PMC Modules

The XPand6200 Series is a true Commercial-Off-The-Shelf (COTS) Rugged system, supporting many 3U ...

XPedite2470 | 3U VPX Xilinx Virtex-7 FPGA Module with FMC Site and Freescale P1010 Processor

The XPedite2470 is a high-performance, reconfigurable, conduction- or air-cooled, 3U VPX, FPGA pr...

Related Companies

AcQ Inducom

Develops and produces non-certified and certified high-tech modular hardware- and software solutions for on-board and...

Advanced Conversion Technology Inc

ACT designs and manufactures, since 1981, an extensive range of AC-DC and DC-DC power supplies (switching, linear, ra...

United Electronic Industries Inc

UEI is a leader in the PC/Ethernet data acquisition and control, Data Logger/Recorder and Programmable Automation Con...

Martin, Froeschner & Associates

The ultimate in velocity measurement, the Mark IV-3000 all-Fiber Doppler Velocity Interferometer (VISAR) never needs ...

Reynard Corp

Manufactures custom precision optical components and thin-film coatings 0.2–50 µm (UV to far-IR) to demanding specifi...

Active Silicon Inc

Designs and manufactures frame grabbers and embedded vision systems in PCI express, PCI/104-express, PMC, cPCI and C...

Electro-Mech Components Inc

Designs and manufactures push button illuminated switches, indicator lights, and multi-switch interlocking assemblies...

North Atlantic Industries Inc

The top 10 defense companies worldwide rely  on NAI Solutions NAI is a leading independent provider of specializ...

Electronic Development Labs Inc (EDL)

Since 1943, EDL has strived to provide quality products, outstanding customer service, and superior technical support...

Streamline Circuits Corp

Streamline Circuits is a leading provider of high quality printed circuit boards. Streamline Circuits is committed to...
Wire News provided by   

Press Releases

Model INCX-4001

The INCX-4001 consists of a high quality audio transceiver specifically designed to implement a complete fiber optic intercom.

Model PS-1210

The PS-1210 is a 1A, 12VDC stand-alone or rack mountable non-switcher (no RF noise) power supply.

Model OS-3121

Optical switches are utilized to disconnect, bypass and reroute fiber optic communications. All of these optical switches are purely optical path, there is no optical to e...

Webcasts

New Design Tools That Help You Develop Radar That Sees the Un-seeable and Detects the Undetectable

Xilinx EW/ISR System Architect Luke Miller has new tricks and he’s going to tell you all about them in a new Xilinx Webinar—for free. His Webinar will cover new ways to implement Radar functions including be...
Sponsored by:

The Latest from Paris Air Show 2015

All Access Sponsors


Mil & Aero Magazine

May 2015
Volume 26, Issue 5
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

Cyber Security

Monthly newsletter covering cyber warfare, cyber security, information warfare, and information security technologies, products, contracts, and procurement opportunities
SUBSCRIBE

Defense Executive

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

Electronic Warfare

Quarterly newsletter covering technologies and applications in electronic warfare, cyber warfare, optical warfare, and spectrum warfare.
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