Static Analysis for Safety-Critical Development

Safety-Critical Static Analysis Templates

For safety-critical development, Parasoft's core static analysis capability is preconfigured with templates for common safety-critical regulations, including MISRA, ISO 26262, Joint Strike Fighter, and more.

Parasoft works with each organization to optimize the templates for the organization's unique demands. This jumpstarts compliance and establishes the foundation for continuous improvement. The result: Compliance to management expectations while driving unprecedented levels of productivity and application quality.

Sample Safety-Critical Templates*

• HIS Source Code Metrics
• ISO 26262
• Joint Strike Fighter
• MISRA C
• MISRA C 2004
• MISRA C++ 2008
• The Power of Ten (Safety Critical)

Supported Languages for Safety-Critical Static Analysis

Parasoft's static analysis is supported across:

• C
• C++
• .NET languages including:
  • C#
  • VB.NET
  • ASP.NET
  • etc.
• Java

Safety-Critical Compliance Beyond Static Analysis

Beyond static analysis, safety regulations such as DO-178B/C, ISO/DIS 26262, and IEC 61508 expect a broad set of software life cycle management and risk management activities be integrated across the process to ensure the delivery of safe and reliable software.

Parasoft addresses these expectations with Parasoft Concerto for Safety Critical Development. This integrated system extends Parasoft's static analysis capabilities—providing a pre-configured system with processes and best practices that help organizations produce safety critical software consistently and efficiently, with freedom from unacceptable risks.

The complete ALM solution integrates project & task management with Automated Defect Prevention and end-to-end QA testing. It drives SDLC tasks to a predictable outcome according to defined industry standards or management's expectations. This gives organizations the comprehensive process visibility & control needed to effectively satisfy quality and compliance requirements.