什么是IEC 61508？

IEC 61508被認(rèn)為是功能安全的基本或“通用”國(guó)際標(biāo)準(zhǔn)。IEC 61508可應(yīng)用于任何類型的與安全相關(guān)的電氣/電子產(chǎn)品。工業(yè)部門應(yīng)根據(jù)需要提供自己的特定標(biāo)準(zhǔn)、文檔和指南（例如，汽車中的ISO 26262）。IEC 61508涵蓋了關(guān)鍵安全系統(tǒng)的整個(gè)安全生命周期。它包含4個(gè)規(guī)范性部分（1-4）和3個(gè)信息性或“準(zhǔn)則”部分（5-7）。IEC 61508的認(rèn)證是可選的——該標(biāo)準(zhǔn)沒有特別要求。

IEC 61508技術(shù)標(biāo)準(zhǔn)引入了安全完整性等級(jí)（SIL）的概念。SIL可以采用四個(gè)級(jí)別之一（SIL1-SIL4），這四個(gè)級(jí)別對(duì)應(yīng)于給定安全功能的目標(biāo)危險(xiǎn)故障可能性。與安全相關(guān)的系統(tǒng)中的每個(gè)安全功能都需要分配適當(dāng)?shù)陌踩暾约?jí)別。與E/E/PE安全相關(guān)的系統(tǒng)通常將實(shí)現(xiàn)多個(gè)安全功能。如果這些安全功能的安全完整性要求不同，則除非它們之間的實(shí)現(xiàn)有足夠的獨(dú)立性，否則適用于最高相關(guān)安全完整性級(jí)別的要求將適用于整個(gè)E/E/PE安全相關(guān)系統(tǒng)。

通過源代碼分析、單元測(cè)試、可追溯性等來增強(qiáng)IEC 61508的合規(guī)性

Parasoft用戶可以通過自動(dòng)執(zhí)行標(biāo)準(zhǔn)所需的多種測(cè)試方法來節(jié)省時(shí)間和精力，從而利用Parasoft C/C++test降低符合IEC 61508的成本。Parasoft C/C++test幫助工業(yè)自動(dòng)化軟件開發(fā)團(tuán)隊(duì)滿足IEC 61508標(biāo)準(zhǔn)定義的軟件開發(fā)和驗(yàn)證過程要求。當(dāng)處理通過Parasoft C/C++test自動(dòng)化的各種測(cè)試和代碼分析類型的結(jié)果時(shí)，將報(bào)告智能分析，從而大大減少了軟件驗(yàn)證所需的工作。

Parasoft Services如何幫助實(shí)現(xiàn)IEC 61508合規(guī)性

Parasoft C/C++test是一個(gè)集成開發(fā)測(cè)試解決方案，用于自動(dòng)化廣泛的最佳實(shí)踐，這些最佳實(shí)踐被證明可提高軟件開發(fā)團(tuán)隊(duì)的生產(chǎn)力和軟件質(zhì)量，其中包括：

• 靜態(tài)分析：監(jiān)控編碼標(biāo)準(zhǔn)的遵從性，并在SDLC早期預(yù)防缺陷，包括消除構(gòu)成安全威脅的軟件結(jié)構(gòu)

• 單元測(cè)試：在主機(jī)或目標(biāo)上創(chuàng)建并執(zhí)行測(cè)試

• 覆蓋率指標(biāo)分析：確定差距測(cè)試、需求和代碼覆蓋率

• 運(yùn)行時(shí)錯(cuò)誤檢測(cè)：檢測(cè)內(nèi)存訪問錯(cuò)誤、泄漏、損壞等

這些技術(shù)為團(tuán)隊(duì)提供了一種預(yù)防，暴露和糾正錯(cuò)誤的實(shí)用方法，以確保其C和C++代碼能夠按預(yù)期工作并符合要求。為了促進(jìn)快速補(bǔ)救，根據(jù)可配置的嚴(yán)重性分配對(duì)檢測(cè)到的每個(gè)問題進(jìn)行優(yōu)先級(jí)排序，將其自動(dòng)分配給編寫相關(guān)代碼的開發(fā)人員，并通過直接鏈接到有問題的代碼以及如何解決該問題的說明將其分發(fā)給他或她的IDE。對(duì)于嵌入式和跨平臺(tái)開發(fā)，C/C++test可用于基于主機(jī)和基于目標(biāo)的代碼分析和測(cè)試流程。

集成在一個(gè)工具中的多種測(cè)試方法

與其他軟件測(cè)試產(chǎn)品提供的零散工具相反，Parasoft C/C++test滿足IEC 61508規(guī)則強(qiáng)加的多項(xiàng)軟件測(cè)試要求。Parasoft解決方案的全面性可降低學(xué)習(xí)和設(shè)置工作量。開發(fā)人員不必學(xué)習(xí)多種工具，而可以專注于其核心活動(dòng)。工具集成商或架構(gòu)師可以節(jié)省他們的時(shí)間，否則這些時(shí)間將花費(fèi)在實(shí)現(xiàn)工具之間的接口上，以交換數(shù)據(jù)和生成統(tǒng)一的報(bào)告。

適用于安全關(guān)鍵應(yīng)用的工具架構(gòu)

Parasoft C/C++test在設(shè)計(jì)時(shí)考慮了安全性至關(guān)重要的應(yīng)用程序。在執(zhí)行單元測(cè)試或運(yùn)行時(shí)內(nèi)存監(jiān)視時(shí)，構(gòu)建測(cè)試二進(jìn)制文件所需的所有組件（包括用于測(cè)試代碼刺激和存根的測(cè)試用例）均以源代碼的形式表示，并且可以進(jìn)行版本控制和檢查。

與其他工具相比，該方法具有優(yōu)越性，在其他工具中，測(cè)試代碼的激勵(lì)是在運(yùn)行時(shí)從主機(jī)發(fā)送的，并且在分配給內(nèi)存中的變量之前需要進(jìn)行額外的轉(zhuǎn)換。通過以源代碼的形式表示所有測(cè)試工件，Parasoft C/C++test除去了不必要的層，并確保執(zhí)行測(cè)試之前的存儲(chǔ)器狀態(tài)與生產(chǎn)系統(tǒng)中的構(gòu)造方式相同。

先進(jìn)的可編程報(bào)告

與其他具有封閉報(bào)告模塊的工具不同，Parasoft C/C++test與Parasoft復(fù)雜的報(bào)告和分析平臺(tái)集成在一起，可實(shí)現(xiàn)全團(tuán)隊(duì)范圍的數(shù)據(jù)匯總、便捷的報(bào)告和高級(jí)分析。報(bào)告和分析中心提供來自不同源（例如源代碼或需求管理系統(tǒng)、測(cè)試工具或ALM）的相關(guān)信息的匯總視圖。

將這些信息關(guān)聯(lián)在一起可以為用戶提供新穎的數(shù)據(jù)分析功能，從而以最有效的方式更有效地集中精力。用戶可以通過監(jiān)視開發(fā)過程中的趨勢(shì)來提高生產(chǎn)力，并自動(dòng)生成符合行業(yè)標(biāo)準(zhǔn)的報(bào)告，例如“MISRA Compliance: 2016”（廣泛用于各個(gè)行業(yè)）。

工具資格

Parasoft C/C++test已通過TüVSüD認(rèn)證，適合在開發(fā)IEC 61508安全關(guān)鍵系統(tǒng)時(shí)使用。我們的TüV認(rèn)證涵蓋了所有安全完整性等級(jí)（SIL）的C/C++test資格。為了支持其他行業(yè)標(biāo)準(zhǔn)，Parasoft擁有IEC 61508認(rèn)證套件，可自動(dòng)執(zhí)行工具鑒定過程的重要部分，從而減少了人工工作量，并消除了軟件技術(shù)團(tuán)隊(duì)的分心。

白皮書

使用Parasoft滿足SIL要求

IEC 61508功能標(biāo)準(zhǔn)降低了軟件風(fēng)險(xiǎn)。閱讀本文檔以了解Parasoft如何幫助軟件開發(fā)團(tuán)隊(duì)滿足特定SIL級(jí)別的要求。它可以幫助您了解IEC 61508標(biāo)準(zhǔn)定義的SIL，并演示如何使用Parasoft滿足特定SIL級(jí)別的軟件開發(fā)過程要求。

點(diǎn)擊下載白皮書