在线观看www成人影院-在线观看www日本免费网站-在线观看www视频-在线观看操-欧美18在线-欧美1级

0
  • 聊天消息
  • 系統消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發帖/加入社區
會員中心
創作中心

完善資料讓更多小伙伴認識你,還能領取20積分哦,立即完善>

3天內不再提示

編譯器功能安全驗證的關鍵要素

IAR愛亞系統 ? 來源:IAR愛亞系統 ? 2025-07-05 13:37 ? 次閱讀
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

在汽車、工業、醫療等安全關鍵型應用中,確保功能安全合規性需要嚴格的工具鏈驗證。開發安全關鍵型軟件的企業必須遵守ISO 26262、IEC 61508、ISO 62304等國際標準對編譯器工具鏈進行全面的驗證。

盡管部分企業考慮自行驗證工具鏈,但現實情況是,這個過程成本高昂、耗時且資源密集。雖然獨立實現合規性是可能的,但實際執行這一過程通常需耗費6至12個月的專職投入,并動用多名工程師。驗證過程本身涉及大量測試、文檔以及反復評審,成本高昂且風險巨大。

01工具鏈驗證的現實情況

編譯器工具鏈的功能安全驗證工作不僅僅是確認編譯器“是否能運行”,而是涉及嚴格的測試,以驗證其在實際使用條件下的可重復性、正確性和可靠性。

正如Stack Overflow上一位專家所指出:“這項工作的一部分是運行驗證測試套件,編譯數千個測試程序并將實際結果與預期結果比對。另一部分是ISO標準一致性測試。雖然這些測試會發現一些問題,但是測試都不是詳盡無遺的。此外,還要運行如GCC本身附帶的DejaGNU測試套件。”

然后,即使經過了廣泛測試,驗證也并不能保證工具鏈毫無缺陷,而只能識別、記錄和證明缺陷。

“功能安全并不意味著你的工具鏈完美無缺,它只意味著已知的缺陷被清晰地記錄在案,而且你有一個識別和記錄缺陷的流程。要進行全面驗證,您需要修復或記錄并證明每一個與預期行為的偏差,從而避免出現已知的、不合理的偏差。”

02編譯器功能安全驗證的關鍵要素

要使編譯器被視為功能安全,企業必須完成三個關鍵步驟:

廣泛測試:

運行全面的驗證測試套件,編譯數千個測試程序,并與預期結果進行比較

進行ISO標準一致性測試,確保符合安全法規

運行回歸測試套件,如DejaGNU、Plum-Hall驗證套件或Perennial C/C++驗證套件,這有助于檢測特定編譯器的問題

文檔:

維護全面的驗證報告,確保編譯器測試的可追溯性

記錄所有與預期行為的偏差,確保這些偏差得到修復或證明合理性

通過詳細的測試報告提供符合行業標準的證據

緩解策略:

針對任何已發現的編譯器限制,制定替代方案或糾正措施

確保即使存在已知問題,編譯器仍可安全使用

制定長期支持和維護計劃,以應對編譯器的未來更新和重新驗證需求

如果沒有這三個方面的支撐,編譯器工具鏈就無法被正式視為“功能安全”工具,即使已完成初步驗證,仍需持續維護、文檔記錄和每次更新之后的重新認證。

03認證不僅僅是測試

許多人誤以為只需運行測試套件即可完成編譯器工具鏈驗證,但實際上,測試只是整個驗證工作的一部分,文檔工作同等重要,它確保可追溯性并符合行業標準。包括:

創建并維護跟蹤所有測試結果的驗證報告

提供工具鏈測試方式和應用緩解措施的可追溯性

記錄所有與預期行為的偏差,確保這些偏差得到修復或證明合理性

這一文檔繁重的過程需要合規專家參與,這給本已復雜的項目增加了相當大的開銷。

04功能安全認證的真實成本

驗證一個編譯器是否滿足ISO 26262、IEC 61508、ISO 62304等標準的成本,取決于所需的安全完整性等級(SIL)。大致成本包括:

6-12個月的工程工作量

至少2-4名全職工程師

估計成本約306,734美元至613,468美元(根據美國嵌入式軟件工程師平均年薪約153,367美元計算)

外部評估、文檔和認證審核的額外費用

這些成本還不包括產品上市延遲帶來的隱性成本和商業影響,這可能會進一步增加開發安全關鍵型應用的公司的財務風險。

因此,對于許多公司來說,問題的關鍵不再是“能不能驗證自己的工具鏈”,而是“驗證自己的工具鏈值不值得做”。

05為什么許多企業選擇經過認證的工具鏈?

考慮到高昂的時間與成本代價,大多數企業傾向選擇經過第三方認證的工具鏈,而非自行進行驗證。

例如,IAR的開發工具已經過TüV SüD的功能安全認證,符合ISO 26262、IEC 61508、ISO 62304等國際標準,可直接投入使用,無需額外驗證工作。使用IAR 經過認證的工具鏈,企業可以:

節省6-12個月的認證時間

避免復雜且昂貴的驗證流程

確保符合國際功能安全標準

借助經過認證的功能安全工具鏈,企業可以更加專注于創新。

06IAR平臺始終包含功能安全

與其他需要額外認證工作的工具鏈不同,IAR嵌入式開發平臺將功能安全作為內置功能,幫助開發團隊:

開箱即用經過TüV SüD認證的工具鏈

省去額外繁重的工具鏈驗證工作

一次訂閱即可支持多種架構(如ArmRISC-V、Renesas RX、RL78、RH850等),確保開發的靈活性和效率

在確保功能安全合規的同時,加快產品上市時間

對于開發安全關鍵型應用的公司,IAR提供了經濟高效、開箱即用的解決方案,省去了與工具鏈驗證相關的復雜性、時間和成本。

下一步?立即行動!

實現功能安全合規性不一定是高成本和高風險的代名詞。借助IAR的功能安全工具鏈,企業可以顯著降低工具鏈驗證成本、縮短上市時間,并專注于打造更高質量的安全關鍵型產品。

聲明:本文內容及配圖由入駐作者撰寫或者入駐合作網站授權轉載。文章觀點僅代表作者本人,不代表電子發燒友網立場。文章及其配圖僅供工程師學習之用,如有內容侵權或者其他違規問題,請聯系本站處理。 舉報投訴
  • IAR
    IAR
    +關注

    關注

    5

    文章

    378

    瀏覽量

    37406
  • 編譯器
    +關注

    關注

    1

    文章

    1661

    瀏覽量

    50137
  • 功能安全
    +關注

    關注

    2

    文章

    127

    瀏覽量

    5963

原文標題:為什么驗證自己的功能安全工具鏈既費錢又費時?

文章出處:【微信號:IAR愛亞系統,微信公眾號:IAR愛亞系統】歡迎添加關注!文章轉載請注明出處。

收藏 人收藏
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

    評論

    相關推薦
    熱點推薦

    邊緣設備AI部署:編譯器如何實現輕量化與高性能?

    、ASIC等)上高效執行的機器代碼。AI編譯器在AI模型的部署和優化中扮演著關鍵角色,能夠顯著提升模型的運行效率和性能。 ? AI編譯器的主要功能 ? AI
    的頭像 發表于 07-06 05:49 ?4540次閱讀

    什么樣的代碼會被編譯器優化

    現在的編譯器有多智能,可能你辛辛苦苦寫的代碼,在編譯器看來就是幾句廢話,直接被刪除掉。
    的頭像 發表于 01-16 16:38 ?573次閱讀

    Triton編譯器與GPU編程的結合應用

    Triton編譯器簡介 Triton編譯器是一種針對并行計算優化的編譯器,它能夠自動將高級語言代碼轉換為針對特定硬件優化的低級代碼。Triton編譯器的核心優勢在于其能夠識別并行模式,
    的頭像 發表于 12-25 09:13 ?809次閱讀

    Triton編譯器如何提升編程效率

    在現代軟件開發中,編譯器扮演著至關重要的角色。它們不僅將高級語言代碼轉換為機器可執行的代碼,還通過各種優化技術提升程序的性能。Triton 編譯器作為一種先進的編譯器,通過多種方式提升編程效率,使得
    的頭像 發表于 12-25 09:12 ?731次閱讀

    Triton編譯器在高性能計算中的應用

    高性能計算(High-Performance Computing,HPC)是現代科學研究和工程計算中不可或缺的一部分。隨著計算需求的不斷增長,對計算資源的要求也越來越高。Triton編譯器作為一種
    的頭像 發表于 12-25 09:11 ?934次閱讀

    Triton編譯器的優化技巧

    在現代計算環境中,編譯器的性能對于軟件的運行效率至關重要。Triton 編譯器作為一個先進的編譯器框架,提供了一系列的優化技術,以確保生成的代碼既高效又適應不同的硬件架構。 1. 指令選擇
    的頭像 發表于 12-25 09:09 ?960次閱讀

    Triton編譯器的優勢與劣勢分析

    Triton編譯器作為一種新興的深度學習編譯器,具有一系列顯著的優勢,同時也存在一些潛在的劣勢。以下是對Triton編譯器優勢與劣勢的分析: 優勢 高效性能優化 : Triton編譯器
    的頭像 發表于 12-25 09:07 ?1153次閱讀

    Triton編譯器在機器學習中的應用

    1. Triton編譯器概述 Triton編譯器是NVIDIA Triton推理服務平臺的一部分,它負責將深度學習模型轉換為優化的格式,以便在NVIDIA GPU上高效運行。Triton編譯器支持
    的頭像 發表于 12-24 18:13 ?962次閱讀

    Triton編譯器支持的編程語言

    Triton編譯器支持的編程語言主要包括以下幾種: 一、主要編程語言 Python :Triton編譯器通過Python接口提供了對Triton語言和編譯器的訪問,使得用戶可以在Python環境中
    的頭像 發表于 12-24 17:33 ?939次閱讀

    Triton編譯器與其他編譯器的比較

    Triton編譯器與其他編譯器的比較主要體現在以下幾個方面: 一、定位與目標 Triton編譯器 : 定位:專注于深度學習中最核心、最耗時的張量運算的優化。 目標:提供一個高度抽象、靈活、高效
    的頭像 發表于 12-24 17:25 ?979次閱讀

    Triton編譯器功能介紹 Triton編譯器使用教程

    。以下是 Triton 編譯器的一些功能介紹和使用教程。 Triton 編譯器功能介紹 多語言支持 :Triton 支持多種編程語言,使得開發者可以在同一個
    的頭像 發表于 12-24 17:23 ?1646次閱讀

    HighTec C/C++編譯器支持Andes晶心科技RISC-V IP

    個里程碑,因為HighTec的編譯器現在無縫支持Andes晶心功能安全認證的RISC-V內核,以確保汽車處理的優化代碼生成,提高效率和性能。
    的頭像 發表于 12-12 16:26 ?1030次閱讀

    Keil編譯器優化方法

    我們都知道,代碼是可以通過編譯器優化的,有的時候,為了提高運行速度或者減少代碼尺寸,會開啟優化選項。
    的頭像 發表于 10-23 16:35 ?2012次閱讀
    Keil<b class='flag-5'>編譯器</b>優化方法

    AI編譯器技術剖析

    隨著人工智能技術的飛速發展,AI編譯器作為一種新興的編譯技術逐漸進入人們的視野。AI編譯器不僅具備傳統編譯器功能,如將高級語言編寫的源代碼
    的頭像 發表于 07-17 18:28 ?2651次閱讀

    人工智能編譯器與傳統編譯器的區別

    人工智能編譯器(AI編譯器)與傳統編譯器在多個方面存在顯著的差異。這些差異主要體現在設計目標、功能特性、優化策略、適用范圍以及技術復雜性等方面。以下是對兩者區別的詳細探討,旨在全面解析
    的頭像 發表于 07-17 18:19 ?2907次閱讀
    主站蜘蛛池模板: 亚洲一区二区三区在线视频 | 天天曰夜夜操 | 四虎最新紧急更新地址 | 欧美日韩一区二区三区视视频 | 欧美成人免费网站 | 啪啪伊人网 | 男人天堂资源站 | 欧美h网| 亚洲三级小视频 | 天天看天天射天天碰 | 51精品国产| 色吧在线视频 | 黄蓉h肉辣文大全 | 久久久久久国产精品免费免费 | 日本免费不卡一区 | 四虎精品成人免费观看 | 在线观看国产久青草 | 日本高清中文字幕在线观穿线视频 | 入逼视频 | 国产三级在线观看播放 | 九九re6精品视频在线观看 | 欧美特级生活片 | 日本在线视频不卡 | 欧美深夜福利 | 无内丝袜透明在线播放 | 成人精品亚洲人成在线 | 亚洲视频一区在线 | 欧美中出在线 | 亚洲一区二区三区免费观看 | 狠狠干2021| 岛国三级在线看 | 一级特黄aaa大片在线观看视频 | 国语一区 | 亚洲精品久久久久午夜 | 亚洲一区在线观看视频 | 国模精品| 国产精品国产午夜免费福利看 | 中文字幕在线播放不卡 | 我被黑人巨大开嫩苞在线观看 | 亚洲午夜久久久久国产 | 国产成人精品系列在线观看 |