Parasoft Resources Center: Safety-Critical

Getting Down to Business: Leveraging the Right Static Analysis , Embedded Computing Design  by Arthur Hicken (Evangelist), Wayne Ariola (Chief Strategy Officer), Adam Trujillo (Technical Writer)

There are different implementations of static analysis that serve different purposes in the development process. The proper implementation of the right technologies is the difference between wasting time and money and reaching new software development heights.

Achieving DO-178C Compliance   by Adam Trujillo (Technical Writer), Michal Rozneau (Developer)

In this paper, you'll learn how Parasoft's Development Testing Platform can help you achieve DO-178C compliance by automating policies that specifically address the guideline.

Automotive Software Development Testing and Compliance eKit

Learn about ISO 26262, MISRA and Parasoft's flagship software development testing solution, C/C++test.

Top 3 Mistakes w/ Static Analysis for Embedded & Safety-Critical Development , EE Catalog  by Arthur Hicken (Evangelist), Cynthia Dunlop (Lead Technical Writer)

Learn the top 3 reasons why static analysis initiatives don’t deliver real value in embedded and safety-critical development environments—and get tips for avoiding these common pitfalls.

Parasoft TV: Introducing C/C++test For Embedded Development

Learn how Parasoft C/C++test reduces the risks of safety-critical and embedded development by automating static analysis, peer code review, unit/component testing, traceability, coverage, and runtime error detection—on the host, simulator, or target.

Developing DO-178B/C Compliant Software for Airborne Systems   by Wayne Ariola (Chief Strategy Officer), Adam Trujillo (Technical Writer)

This paper covers software development testing guidance outlined in DO-178B/C, including, DO-178B/C background, differences between DO-178B and DO-178C, why policy-driven development testing is central to DO-178B/C compliance, and how Parsoft C/C++test helps achieve DO-178B/C compliance.

ISO 26262 Software Compliance: Achieving Functional Safety in the Automotive Industry   by Marek Kucharski (President Parasoft SA, VP of Dev), Adam Trujillo (Technical Writer)

Read this paper to learn about ISO 26262, its goals, and how to facilitate the software quality tasks for achieving ISO 26262 software compliance.

The Case for Policy-Driven Development: Embedded Systems   by Wayne Ariola (Chief Strategy Officer), Adam Trujillo (Technical Writer)

Learn how policy-driven development can help businesses in the embedded systems space overcome the shortcomings of traditional software development.

Automated Defect Prevention for Embedded Software Quality   by VDC Research (Tech Market Research/Consulting)

This paper from VDC Research discusses the challenges organizations face and provides insight on embedded software practices that can help achieve predictable outcomes and safe functionality.

Embedded Testing eKit

This 30-page eKit explains how Parasoft can help you reduce the time, cost, and effort of embedded testing.

Satisfying EN 50128 Railway Software Requirements - 1,039 KB PDF  by Marek Kucharski (President Parasoft SA, VP of Dev)

Outlines how Parasoft C/C++test helps organizations satisfy the requirements for particular SIL levels as defined by the EN 50128 standard (for railway software).

Software Testing and Quality Trends to Watch   by Wayne Ariola (Chief Strategy Officer), Cynthia Dunlop (Lead Technical Writer)

Read Wayne Ariola's predictions re: switching costs, safety-critical compliance, and market-ready software.

SELEX Case Study - 553 KB PDF

SELEX 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 Case Study - 555 KB PDF

By applying Parasoft solutions to its Integrated Tramway Management Solutions project—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.

Making Unit Testing Practical for Embedded Development , Electronic Design  by Marek Kucharski (President Parasoft SA, VP of Dev), Cynthia Dunlop (Lead Technical Writer)

Explains how to start verifying code as soon as it is completed—even if the target hardware is not yet built or available for testing. With this strategy, the majority of the problems with the application logic are exposed early and target testing can focus on verifying the interface between the hardware and the software.

Engineering TV: Safety-Critical & Embedded Testing with Parasoft Test

Bill Wong of Electronic Design magazine interviews Parasoft's Wayne Ariola about Policy-Driven Development and testing safety-critical/embedded software with Parasoft Test.

Safety-Critical/Embedded Development Solution - 974 KB PDF

This data sheet introduces how Parasoft reduces the time, effort, and cost of satisfying strict quality demands for safety-critical/embedded development.

Inomed Case Study - 568 KB PDF

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.

Safety-Critical Development Starter Kit

This 18 page eKit introduces proven strategies for controlling safety risks and complying with DO-178B, MISRA, JSF, ISO 26262, IEC 61508 or other guidelines.

Satisfying SIL Requirements: Ensure Functional Safety of E/E/PE Safety-Related Systems , Parasoft White Paper

Outlines how Parasoft addresses the requirements for achieving each SIL safety integrity level as defined by the IEC 61508 standard.

Satisfying ASIL Requirements: Ensure the Functional Safety of Automotive Software , Parasoft White Paper

Outlines how Parasoft addresses the requirements for achieving each ASIL safety integrity level as defined by the ISO/DIS 26262 standard.

Integrating Parasoft C++test and MDK-ARM for Achieving Higher Quality and Safety Verification

This paper introduces C++test integration with MDK-ARM

Practical Unit Testing for Embedded Systems - Part 2 of 2 - 906 KB PDF

Demonstrates how to prepare, maintain, and benefit from setting up unit tests for a simplified simulated ASR module. Learn how to achieve particular goals with unit testing (like a certain level of code coverage) and explore the safety relevance of unit testing.

Bovie Medical Case Study - 565 KB PDF

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.

Implementing the UK Ministry of Defence Standard 00-56 (Issue 4 Publication Date 01 June 2007) , Parasoft White Paper - 475 KB PDF

This paper describes how Parasoft helps organizations comply with the UK Ministry of Defence standards document, which defines how its contractors should manage risk within their projects.