Software development tools today are about reliability and ensuring adherence to standards

Application software for a growing majority of aerospace and defense systems is complex, and is becoming more so all the time. Requirements for broad capability, precise reliability, security, networking, real-time performance, and interoperability make writing software for military systems more difficult and crucial than ever before.

These are the reasons for the growing sophistication and demand for software design and development tools that seek not only to automate and streamline the software-development process, but also to impose rigor in software engineering and help developers meet safety-critical software standards, such as DO-178B and DO-178C.

"There are two things that are interrelated," explains Chris Rommel, vice president for machine-to-machine and embedded technology at market research VDC Corp. in Natick, Mass. "Reliability is key, and the mission-critical requirements associated with it. Then compliance drives purchasing decisions."

By compliance, Rommel is referring to software development tools that help enforce compliance with reliability and safety-critical standards. "Artifacts can be produced and automated if possible, to ease process standard adherence, such as DO-178B and C, which are the big ones."

Software engineering tools often attempt to automate many of the steps involved in software product lifecycle management, or PLM, as the industry knows it. This means software engineering tools that automate tasks from initial requirements through writing the actual lines of code.

"It starts with requirements," explains Jim McElroy, vice president of marketing at software engineering specialist LDRA Technology Inc. in San Bruno, Calif. "Then the tool hands off those requirements to the software- and hardware-development teams. That requirement gets implemented in software, and the engineer needs to develop a behavior design and the actual code-whether automatically generated or hand-written code."

Software engineering tools must help the developer trace each line of code back to the specific requirement that spawned it, McElroy explains. Likewise, software tools must be able to trace requirements forward to help determine if resulting lines of code actually are logical outgrowths of the initial requirements.

"The drive for standards today is the full lifecycle requirements-from requirements all the way through verifications in a bi-directional workflow," McElroy says.

To ensure compliance to standards like DO-178B and C, software development tools offer a formal automated approach to make sure each requirement corresponds with specific lines of code, and each line of code corresponds with its initial requirement. "If I need to make a change in a line of code, what requirement is that line of code part of?" McElroy explains.

Ensuring rigor in software development, as well as compliance to standards, has taken many different approaches over the years. Back in the 1980s, for example, the U.S. Department of Defense (DOD) mandated use of the Ada programming language for writing real-time mission-critical software applications.

Ada is a disciplined language with built-in traceability and other features that enforce a structured software-development process. DOD eventually dropped its requirement for Ada because of industry pushback. Preferred programming languages, such as C and C++, however, do not enforce software rigor like Ada, so today's software development tools are attempting to add Ada-like software-development methodologies and standards compliance on languages like C and C++.

"Ada was put in place because it is a strong, structured language," McElroy says. "In reality, it wasn't attractive to the commercial base of developers. It was not as flexible as the more-marketable C++ and Java languages." Today, it is the role of software-development tools to "see that developers are implementing C in a safe manner, because it is a very flexible language," he says.

While many of the mature software-development companies have developed formal workflows with guidelines for using C and C++ in real-time, mission-critical embedded systems, LDRA and other companies offer tools to help other developers write software to a specific set of coding standards, address safety and security requirements, and help customers check code against those limitations, McElroy says.


COMPANY INFO

AdaCore New York

www.adacore.com
Atego San Diego
www.atego.com
CIMdata Ann Arbor, Mich.
www.cimdata.com
Coverity Inc. San Francisco, Calif.
www.coverity.com
Dassault Systemes Auburn Hills, Mich.
www.3ds.com
DDC-I Inc. Phoenix
www.ddci.com
ENSCO Avionics Endicott, N.Y.
www.ensco.com/avionics
GrammaTech Inc. Ithaca, N.Y.
www.grammatech.com/
Green Hills Software Santa Barbara, Calif.
www.ghs.com
Integrated Systems Inc. (ISI) Tysons Corner, Va.
www.global-isi.com
LDRA Technology Inc. San Bruno, Calif.
www.ldra.com
LynuxWorks Inc. San Jose, Calif.
www.lynuxworks.com
The MathWorks Inc. Natick, Mass.
www.mathworks.com
Mentor Graphics Wilsonville, Ore.
www.mentor.com
Omnify Software Andover, Mass.
www.omnifysoft.com
Oracle Redwood Shores, Calif.
www.oracle.com
Parasoft Embedded, a division of Parasoft Corp. Monrovia, Calif.
www.parasoft-embedded.com
Real-Time Innovations Sunnyvale, Calif.
www.rti.com
SAP Labs U.S. Palo Alto, Calif.
www.sap.com
SofTech Inc. Lowell, Mass.
www.softech.com
Wind River Alameda, Calif.
www.windriver.com




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


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

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...

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...

Medusa VPX3424

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

XPedite7470 | Intel® Core™ i7 Processor-Based Conduction- or Air-Cooled 3U VPX-REDI SBC

The XPedite7470 is a high-performance, low-power, 3U VPX-REDI, single board computer based on the...

XPedite7472 | Intel® Core™ i7 Processor-Based Conduction- or Air-Cooled 3U VPX-REDI SBC with SecureCOTS™

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

Related Companies

AcQ Inducom

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

United Electronic Industries Inc

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

Advanced Conversion Technology Inc

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

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...

Streamline Circuits Corp

Streamline Circuits is a leading provider of high quality printed circuit boards. Streamline Circuits is committed to...

Electronic Development Labs Inc (EDL)

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

North Atlantic Industries Inc

The top 10 defense companies worldwide rely  on NAI Solutions NAI is a leading independent provider of specializ...
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 ...
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