Umfassende statische Analyse mit Polyspace-Produkten

Diese Veröffentlichung enthält die Transkription des Webinars „Umfassende statische Analyse mit Polyspace-Produkten“ . Das Webinar wurde von Mikhail Peselnik, Ingenieur bei CITIT Exhibitor, durchgeführt .

Ziel aller Softwareentwicklungs- und Verifizierungsprozesse ist es sicherzustellen, dass die endgültige Software keine Fehler mehr aufweist. Warum ist es wichtig, dass die Software zuverlässig ist? Lassen Sie uns über die Konsequenzen und Kosten von Softwarefehlern nachdenken.

Zunächst skizzieren wir die wichtigsten Punkte, an denen Polyspace Ihnen im Kontext Ihres Entwicklungsprozesses und der Aufgaben, die Sie täglich ausführen, helfen kann.

• Die erste ist die Codeentwicklung (wenn Sie neuen Code schreiben) und die Codeüberprüfung (wenn Sie vorhandenen Code wiederverwenden).
• Der zweite ist der Unit-Test und der Integrationstest, wenn Sie die Robustheit Ihrer Anwendung oder Software überprüfen.
• – , , DO, IEC .

. , . , .

.

. Ariane 5. , , .

. – USS Yorktown, - , .

. , - Therac-25. , . .

?

• , .
• , .
• , .

, . IBM , 40% , – .

, 33% , 1999 2005 , - .

, .

, , . , .

. , . , 30% .

, , , . , , .

Polyspace – , , , , , , . .

Polyspace . .

, . , . , , Polyspace , , Polyspace.

Polyspace , . , . , .

, , 21 , .

, :

1. .
2. .
3. , .

, , , . , ?

, . , 4.61 10 18 ! – , 32. , , 339 .

, .

Polyspace. , ++ .

Polyspace , .

, , . , , . , . , , , , , , . , .

– .. , , .

.

, . , .

– , MISRA-C/C++
JSF++.

, . , , , .

Polyspace , . Polyspace , . , .

Polyspace , .

, .

– - .

Polyspace , . , Polyspace . , Polyspace, , , .

– , . , . , , Polyspace .

. . . , . ? . , .

MISRA – .

JSF .

Polyspace MISRA , . MISRA AC AGC – MISRA Polyspace. , – , .

Polyspace , , , , , . , . , Polyspace , .

, Polyspace.

• – , , ..
• – , , null pointer.
• – , .
• , .

, Polyspace - , Simulink Embedded Coder, Target Link IBM Rhapsody. Polyspace .

, . S-, .. , . – , . , .

, , , Polyspace.

Polyspace - , .

, , DO-178 IEC. , , - .

, , Polyspace .

. , , . , . , , , , . , , , . , Run – Run Report. , .

, , DO, IEC .

Polyspace DO-178, MathWorks DO Qualification Kit – , , , Polyspace , DO-178B/C, DO-254 .

, , . , .

, IEC Certification Kit, , TUV SUD .

IEC 61508 , , ISO 26262 , EN 50128 IEC 62304 .

, IEC 62304 , IEC 61508 , .

, Polyspace Polyspace Code Prover, .

Polyspace Bug Finder .

, , Polyspace . , . , . .

, Polyspace.

Elektrobit – Polyspace AUTOSAR. , Polyspace, , ISO26262.

Nissan Polyspace , . . Nissan Polyspace , , .

Alenia DO-178 Polyspace .

Der Autor des Materials ist Mikhail Peselnik, Ingenieur bei CITIT Exhibitor .

Link zu diesem Webinar https://exponenta.ru/events/vsestoronniy-staticheskiy-analiz-s-primeneniem-produktov-polyspace