Resources

Klocwork product documentation is available here.

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

White Paper

White Paper

Given the complexity of today's airborne software systems, the use of automated tools can assist in the on-time and on-budget delivery of these projects. Automated source code analysis tools can help address key areas of the DO-178B guidance related to Software Verification and Software Lifecycle Data requirements. Learn how the defect, architecture, and metrics analysis capabilities of Klocwork Insight can be used to automate time-consuming tasks and help you achieve key objectives of the DO-178B guidance.

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

Case Study

Case Study

The driving objective of the Laboratory for Atmospheric and Space Physics (LASP) at the University of Colorado is research in atmospheric science, space physics, solar influences, and planetary science, supported by the technological contributions of its engineering and mission operations divisions. To better ensure the reliability of key data processing software, LASP introduced Klocwork Insight into several projects.

TAGS: AVIONICS, BUG IDENTIFICATION, DEFECT DETECTION, LANGUAGE: C