什么是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)沒(méi)有特別要求。

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)。

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

Parasoft用戶可以通過(guò)自動(dòng)執(zhí)行標(biāo)準(zhǔn)所需的多種測(cè)試方法來(lái)節(jié)省時(shí)間和精力，從而利用Parasoft C/C++test降低符合IEC 61508的成本。Parasoft C/C++test幫助工業(yè)自動(dòng)化軟件開(kāi)發(fā)團(tuán)隊(duì)滿足IEC 61508標(biāo)準(zhǔn)定義的軟件開(kāi)發(fā)和驗(yàn)證過(guò)程要求。當(dāng)處理通過(guò)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è)集成開(kāi)發(fā)測(cè)試解決方案，用于自動(dòng)化廣泛的最佳實(shí)踐，這些最佳實(shí)踐被證明可提高軟件開(kāi)發(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)存訪問(wèn)錯(cuò)誤、泄漏、損壞等

這些技術(shù)為團(tuán)隊(duì)提供了一種預(yù)防，暴露和糾正錯(cuò)誤的實(shí)用方法，以確保其C和C++代碼能夠按預(yù)期工作并符合要求。為了促進(jìn)快速補(bǔ)救，根據(jù)可配置的嚴(yán)重性分配對(duì)檢測(cè)到的每個(gè)問(wèn)題進(jìn)行優(yōu)先級(jí)排序，將其自動(dòng)分配給編寫相關(guān)代碼的開(kāi)發(fā)人員，并通過(guò)直接鏈接到有問(wèn)題的代碼以及如何解決該問(wèn)題的說(shuō)明將其分發(fā)給他或她的IDE。對(duì)于嵌入式和跨平臺(tái)開(kā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è)置工作量。開(kāi)發(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)換。通過(guò)以源代碼的形式表示所有測(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)告和分析中心提供來(lái)自不同源（例如源代碼或需求管理系統(tǒng)、測(cè)試工具或ALM）的相關(guān)信息的匯總視圖。

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

工具資格

Parasoft C/C++test已通過(guò)TüVSüD認(rèn)證，適合在開(kāi)發(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í)行工具鑒定過(guò)程的重要部分，從而減少了人工工作量，并消除了軟件技術(shù)團(tuán)隊(duì)的分心。

白皮書(shū)

使用Parasoft滿足SIL要求

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

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