Resources

Klocwork product documentation is available here.

White Paper

White Paper

Given the complexity of today's airborne software systems, the use of automated tools can assist in the successful on-time and on-budget delivery of these projects. Automated source code analysis tools locate and describe areas of weakness in source code, and can help address key areas of the DO-178B guidance related to the Software Verification and Software Lifecycle Data requirements. In this white paper, learn how the defect, architecture, and metrics analysis capabilities of Klocwork Insight can be used to ... More

TAGS: AVIONICS, DEFECT DETECTION, DO-178B, INSIGHT, SOFTWARE ARCHITECTURE, SOFTWARE METRICS

Article

Article

Embedded software is a ubiquitous presence onboard aircraft today. Just as software has become a key element in everything from consumer vehicles to household appliances, it is also critical to aircraft control. Beyond mission-critical avionics systems, software is also increasingly present in commercial aircraft galley equipment, passenger onboard entertainment systems and, more recently, wi-fi networks for passengers.

TAGS: AVIONICS, DO-178B, EMBEDDED PROGRAMMING, STATIC ANALYSIS

Article

Article

With new aircraft now being highly software dependent – software verification and integrity is becoming ever more vital. Tim Robinson speaks to one company who are experts in squashing these software bugs in mission-critical code.

TAGS: AVIONICS, DO-178B, EMBEDDED PROGRAMMING, SOFTWARE VERIFICATION, STATIC ANALYSIS