什么是IEC 61508？

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

IEC 61508技術標準引入了安全完整性等級（SIL）的概念。SIL可以采用四個級別之一（SIL1-SIL4），這四個級別對應于給定安全功能的目標危險故障可能性。與安全相關的系統中的每個安全功能都需要分配適當的安全完整性級別。與E/E/PE安全相關的系統通常將實現多個安全功能。如果這些安全功能的安全完整性要求不同，則除非它們之間的實現有足夠的獨立性，否則適用于最高相關安全完整性級別的要求將適用于整個E/E/PE安全相關系統。

通過源代碼分析、單元測試、可追溯性等來增強IEC 61508的合規性

Parasoft用戶可以通過自動執行標準所需的多種測試方法來節省時間和精力，從而利用Parasoft C/C++test降低符合IEC 61508的成本。Parasoft C/C++test幫助工業自動化軟件開發團隊滿足IEC 61508標準定義的軟件開發和驗證過程要求。當處理通過Parasoft C/C++test自動化的各種測試和代碼分析類型的結果時，將報告智能分析，從而大大減少了軟件驗證所需的工作。

Parasoft Services如何幫助實現IEC 61508合規性

Parasoft C/C++test是一個集成開發測試解決方案，用于自動化廣泛的最佳實踐，這些最佳實踐被證明可提高軟件開發團隊的生產力和軟件質量，其中包括：

• 靜態分析：監控編碼標準的遵從性，并在SDLC早期預防缺陷，包括消除構成安全威脅的軟件結構

• 單元測試：在主機或目標上創建并執行測試

• 覆蓋率指標分析：確定差距測試、需求和代碼覆蓋率

• 運行時錯誤檢測：檢測內存訪問錯誤、泄漏、損壞等

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

集成在一個工具中的多種測試方法

與其他軟件測試產品提供的零散工具相反，Parasoft C/C++test滿足IEC 61508規則強加的多項軟件測試要求。Parasoft解決方案的全面性可降低學習和設置工作量。開發人員不必學習多種工具，而可以專注于其核心活動。工具集成商或架構師可以節省他們的時間，否則這些時間將花費在實現工具之間的接口上，以交換數據和生成統一的報告。

適用于安全關鍵應用的工具架構

Parasoft C/C++test在設計時考慮了安全性至關重要的應用程序。在執行單元測試或運行時內存監視時，構建測試二進制文件所需的所有組件（包括用于測試代碼刺激和存根的測試用例）均以源代碼的形式表示，并且可以進行版本控制和檢查。

與其他工具相比，該方法具有優越性，在其他工具中，測試代碼的激勵是在運行時從主機發送的，并且在分配給內存中的變量之前需要進行額外的轉換。通過以源代碼的形式表示所有測試工件，Parasoft C/C++test除去了不必要的層，并確保執行測試之前的存儲器狀態與生產系統中的構造方式相同。

先進的可編程報告

與其他具有封閉報告模塊的工具不同，Parasoft C/C++test與Parasoft復雜的報告和分析平臺集成在一起，可實現全團隊范圍的數據匯總、便捷的報告和高級分析。報告和分析中心提供來自不同源（例如源代碼或需求管理系統、測試工具或ALM）的相關信息的匯總視圖。

將這些信息關聯在一起可以為用戶提供新穎的數據分析功能，從而以最有效的方式更有效地集中精力。用戶可以通過監視開發過程中的趨勢來提高生產力，并自動生成符合行業標準的報告，例如“MISRA Compliance: 2016”（廣泛用于各個行業）。

工具資格

Parasoft C/C++test已通過TüVSüD認證，適合在開發IEC 61508安全關鍵系統時使用。我們的TüV認證涵蓋了所有安全完整性等級（SIL）的C/C++test資格。為了支持其他行業標準，Parasoft擁有IEC 61508認證套件，可自動執行工具鑒定過程的重要部分，從而減少了人工工作量，并消除了軟件技術團隊的分心。

白皮書

使用Parasoft滿足SIL要求

IEC 61508功能標準降低了軟件風險。閱讀本文檔以了解Parasoft如何幫助軟件開發團隊滿足特定SIL級別的要求。它可以幫助您了解IEC 61508標準定義的SIL，并演示如何使用Parasoft滿足特定SIL級別的軟件開發過程要求。

點擊下載白皮書