Safety-Critical & Embedded Software Development

For DO-178B/C, JSF, MISRA, ISO 26262 and other safety-critical software compliance guidelines—Parasoft Concerto helps organizations reduce the time, effort, and cost of satisfying the strict quality demands for safety-critical software development.

A complete software development management platform, Parasoft Concerto seamlessly integrates project & task management into any development environment and toolset. It is part of a broader ground-breaking technology suite that can include Parasoft Test's Automated Defect Prevention and end-to-end software verification & validation—as well as Parasoft Virtualize's dev/test environment management.

With this solution, you gain the comprehensive process visibility & control needed to effectively satisfy quality and compliance requirements.

Convert Policies into Actionable, Measurable Tasks

Parasoft's policy-driven approach guides the organization to convert expectations for development and testing into actionable, measurable work tasks. An automated infrastructure runs in the background, orchestrating mandated processes (manual and automated), and continuously monitoring policy compliance. Notifications are generated only when actions don't align with policy expectations. In this way, SDLC tasks are driven to a predictable outcome according to defined industry standards or management's expectations.

Tasks are defined, distributed, managed, and monitored through Concerto's comprehensive project management framework. The result: Centralized, objective insight into all aspects of the project—from deadline, to budget, to functionality completion and defect risk.

Comprehensive Requirements Traceability

For traceability, requirements are correlated with automated and manual tests, source code, and development/testing tasks. The current level of verification for each requirement or task (including task pass/fail status and coverage) can be assessed at any time by back tracing to all associated tests. This correlation also enables change-based testing, which identifies exactly which tests are impacted by source code and requirement modifications. Teams know exactly which tests need to be rerun and which code needs to be re-reviewed.

In addition to tracking when the functionality for each requirement is implemented and tested, Parasoft also monitors compliance to non-functional requirements (e.g., coding standards, peer review, coverage, etc.) The system can be configured so that functionality is not considered "complete" unless it complies with the team's quality expectations.