CAN YOU AFFORD THE COST OF BUGS IN YOUR CODE?

B Y M A T H W O R K S

Save time and money by avoiding costly recalls. Automated tools can help you identify bugs early in

development and eliminate run-time errors in source code. Use Polyspace Bug Finder and Polyspace

Code Prover during software verification, and feel more confident in your development process.

Average reduction in development time.

Sources:

http://spectrum.ieee.org/riskfactor/transportation/safety/nissan-recalls-nearly-1-million-cars-for-airbag-software-fixhttp://money.cnn.com/2014/02/12/autos/toyota-prius-recall/http://www.nytimes.com/2014/10/24/business/audi-recalls-850000-cars-over-airbag-software-flaw.html?_r=0http://www.detroitnews.com/story/business/autos/general-motors/2014/09/20/gm-recalls-cars-braking-problem/15950569/http://blog.caranddriver.com/gm-recalls-1-3-million-cars-for-power-steering-issue-unrelated-to-ignition-switch-problem/http://www.gurufocus.com/news/294545/ford-recalls-fusion-is-it-a-cause-for-worryhttp://www.mckinsey.com/~/media/mckinsey/dotcom/client_service/public sector/regulatory excellence/the_business_case_for_medical_device_quality.ashxhttp://www.fda.gov/downloads/AboutFDA/CentersOffices/OfficeofMedicalProductsandTobacco/CDRH/CDRHTransparency/UCM388442.pdf

Cost to fix bugs during testing

Cost to fix bugs during production

POTENTIAL COST TO MANUFACTURERS:

POTENTIAL COST TO THE INDUSTRY:

Find ALL the bugs in your code, BEFORE production.

SPEND 10x LESS FIXING BUGS

70%SOFTWARE

ERRORS

1.5 DAYS

Automotive Recalls

Medical Device Recalls

34%PROFIT LOSS

13%STOCK REDUCTION

Frequency of vehicle recalls due to software errors.

(2014 data)

Main problem in the most frequently recalled

medical device.

$650MILLION

$2BILLION

12%

TALK TO AN EXPERT

LEARN ABOUT

POLYSPACE BUG FINDER

LEARN ABOUT

POLYSPACE CODE PROVER

mathworks.com/polyspace

static v

oid poin

ter_arit

hmetic (

void) {

int

array[10

0];

int

*p = arr

ay;

int

i;

for

(i = 0;

i < 100;

i++) {

*p

= 0;

p+

+;

}

if (ge

t_bus_st

atus() >

0) {

if (

get_oil_

pressure

() > 0)

{

*p

= 5;

} el

se {

i+

+;

}

}

i = ge

t_bus_st

atus();

if (i

>= 0) {

*(p

- i) = 1

0;

}

}

SOFTWARE BUGS CAN LEAD TO COSTLY RECALLS

1 EVERY6

SECONDS

SAVE TIME AND MONEY USING AUTOMATED TOOLS

USE POLYSPACE TOOLS: STOP BUGS BEFORE THEY STOP YOU

MISRA, M

ETRIC

S, DO

178

, SEC

URIT

Y, IS

O 26

262,

ROBUSTN

ESS, CWE, PROOF

POLYSPACE

https://www.mathworks.com/products/polyspace-bug-finder/expert-contact.html?s_eid=PEP_12257https://www.mathworks.com/products/polyspace-bug-finder/?s_eid=PEP_12257https://www.mathworks.com/products/polyspace-code-prover/?s_eid=PEP_12257https://www.mathworks.com/products/polyspace/?s_eid=PEP_12257