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:
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.
* These are samples—not a comprehensive list. To see if a specific need is supported, contact Parasoft.