This publication presents the transcription of the webinar “Comprehensive Static Analysis Using Polyspace Products” . The webinar was conducted by Mikhail Peselnik, an engineer at CITIT Exhibitor ).
The goal of all software development and verification processes is to ensure that there are no more defects in the final software. Why is it important to make sure the software is reliable? Let's think about the consequences and costs of software bugs.
To begin with, we outline the key points at which Polyspace can help you in the context of your development process and the tasks that you perform daily.
- The first is code development (if you are writing new code) and code review (if you are reusing existing code).
- The second is unit testing and integration testing, when you verify the robustness of your application or software.
- – , , DO, IEC .
. , . , .
.
. Ariane 5. , , .
. – USS Yorktown, - , .
. , - Therac-25. , . .
?
, . IBM , 40% , – .
, 33% , 1999 2005 , - .
, .
, , . , .
. , . , 30% .
, , , . , , .
Polyspace – , , , , , , . .
Polyspace . .
, . , . , , Polyspace , , Polyspace.
Polyspace , . , . , .
, , 21 , .
, :
- .
- .
- , .
, , , . , ?
, . , 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 .
The author of the material is Mikhail Peselnik, an engineer at CITIT Exhibitor .
Link to this webinar https://exponenta.ru/events/vsestoronniy-staticheskiy-analiz-s-primeneniem-produktov-polyspace