Static Analysis for Safety-critical

Static code analysis, data flow static analysis, code metrics analysis

  • Out-of-the-box test configuration for MISRA, ISO 26262, JSF, FDA, more
  • Analyzes C, C++, Java, and .NET languages
  • Direct integration into embedded development environments
  • Also includes peer code review, unit testing, coverage analysis, and runtime error detection
  • Explore Parasoft DTP

CASE STUDIES

SELEX-ES Automated Defect Prevention Case Study

SELEX-ES wanted to eliminate software defects early in the SDLC. Learn how Parasoft static analysis helped them increase reliability while reducing reduced development time, costs, and resources.

Thales Static Analysis Case Study

By applying Parasoft solutions to its Integrated Tramway Management Solutionsproject—then later deploying it across the entire Automatic Vehicle Location System division—Thales Italia reduced its rate of defective components by 30% and significantly increased application performance.

Inomed Medical Device Testing Case Study

Inomed wanted to streamline the risk management processes they established for IEC 62304 medical device software certification. Learn how they increased efficiency through automation—and also achieved full requirements traceability.

Bovie Medical Device Testing Case Study

Bovie Medical had been using an outside vendor to perform the software validation required for FDA compliance, but they wanted to improve the effectiveness of testing while at the same time reduce testing costs. Learn how Parasoft helped them move verification and validation testing in-house - cutting costs approximately in half and getting to market 6 months sooner.

Safety-Critical Static Analysis Templates

For safety-critical software development, Parasoft’s core static analysis capability includes out-of-the-box test configuration to help you quickly meet common 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 Test Configurations

These are some of the test configurations shipped with its Static Analysis for Safety-Critical solution:
  • HIS Source Code Metrics
  • ISO 26262
  • Joint Strike Fighter
  • MISRA C
  • MISRA C 2004
  • MISRA C 2012
  • MISRA C++ 2008
  • The Power of Ten (Safety Critical)

Supported Languages for Safety-Critical

Parasoft’s static analysis is supported across:
  • C and 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.