Polyspace उत्पादों का उपयोग करके व्यापक स्थैतिक विश्लेषण

यह प्रकाशन वेबिनार के ट्रांसक्रिप्शन को प्रस्तुत करता है "पॉलीस्पेस उत्पादों का व्यापक व्यापक विश्लेषण" । वेबिनार का संचालन मिखाइल पेसेलनिक ने किया, जो CITIT प्रदर्शक के एक इंजीनियर थे )।

सभी सॉफ्टवेयर विकास और सत्यापन प्रक्रियाओं का लक्ष्य यह सुनिश्चित करना है कि अंतिम सॉफ़्टवेयर में अधिक दोष नहीं हैं। यह सुनिश्चित करना महत्वपूर्ण है कि सॉफ्टवेयर विश्वसनीय क्यों है? आइए सॉफ्टवेयर बग के साथ जुड़े परिणामों और लागतों के बारे में सोचते हैं।

शुरू करने के लिए, हम उन प्रमुख बिंदुओं की रूपरेखा तैयार करते हैं, जिन पर पॉलिसस्पेस आपकी विकास प्रक्रिया और दैनिक कार्य करने वाले कार्यों के संदर्भ में आपकी सहायता कर सकता है।

• पहला कोड विकास है (यदि आप नया कोड लिख रहे हैं) और कोड समीक्षा (यदि आप मौजूदा कोड का पुन: उपयोग कर रहे हैं)।
• दूसरा इकाई परीक्षण और एकीकरण परीक्षण है, जब आप अपने आवेदन या सॉफ्टवेयर की मजबूती को सत्यापित करते हैं।
• – , , 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 .

सामग्री के लेखक मिखाइल पेसेलनिक, CITIT प्रदर्शक के एक इंजीनियर हैं ।

इस के लिए लिंक वेबिनार https://exponenta.ru/events/vsestoronniy-staticheskiy-analiz-s-primeneniem-produktov-polyspace