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

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

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

3天內不再提示

軟件工具:像T1、T2、T3一樣簡單

星星科技指導員 ? 來源:ADI ? 作者:ADI ? 2023-06-29 10:44 ? 次閱讀

沒有工具和軟件就無法建造房屋。IEC 61508談到了兩種類型的軟件工具。作為應用程序的一部分運行的在線工具,以及在開發或制造階段使用的離線工具。在線軟件工具與安全系統中的任何其他軟件具有相同的要求,但是用于開發或測試產品中軟件的離線軟件工具呢?離線軟件工具包括編譯器、編輯器、靜態分析工具和需求管理工具等。本博客討論了與 IEC 61508、ISO 26262 和 D0-178C/D0-330 等標準中的離線軟件工具相關的要求。

我注意到,與工具相關的功能安全要求遠比網絡安全等其他高完整性領域要繁重得多。大多數網絡安全標準幾乎沒有與工具相關的要求,這讓我感到驚訝,因為它們沒有與集成電路開發相關的要求,而集成電路是大多數系統的基礎。

下圖顯示了與汽車 ISO 26262 要求兼容的過程。首先,列出了您計劃使用的所有工具。然后,如果您的開發過程中有其他東西會檢測到工具輸出中的錯誤,則無需對工具進行進一步分析,如下面的流程圖所示。雖然這不是嚴格的IEC 61508標準,但我喜歡這種方法,因為對于大多數工具來說,它提供了一個快速簡便的退出點,官方流程最終到達,但經過更多步驟。

wKgaomSc8ymAYGIPAACF-5ZooXY951.png

圖1 - 基于ISO 26262要求的簡化流程圖

回到IEC 61508流程,有3類定義的工具

T1 – 對可執行代碼沒有影響的工具。IEC 61508-4:2010中給出的示例包括文本編輯器和需求管理工具。也許與文本中給出的示例更一致的描述是不用于生成代碼或驗證代碼的工具,但即便如此,也很難說文本編輯器只是一個 T1 工具。

T2 – 僅影響可執行代碼驗證的工具,并且不能將錯誤注入代碼,但可能導致錯誤丟失,例如靜態時序分析工具

T3 – 可以在代碼中放置錯誤的工具,例如編譯器

第一個要求是應管理工具的使用。這通常意味著在制定軟件安全計劃時,您應該列出您計劃使用的所有工具、它們的用途以及您計劃使用的工具版本。 還需要說明該工具的理由。

接下來,根據上述定義將工具排名為 T1、T2 和 T3。如果一個工具被列為 T2 或 T3,那么您需要考慮該工具如何出錯,以及開發過程中還有哪些內容會捕獲該錯誤(開發過程中固有的緩解措施)。如果沒有任何東西可以捕獲此類錯誤,則必須確定一些適當的方法來減輕錯誤。

分類為 T2、T3 的工具還必須具有合適的文檔。此外,對于歸類為 T3 的工具,需要額外的證據證明它符合該文檔。證據可以基于使用中的證明或基于測試用例的工具驗證。

對于具有許多功能的復雜工具,每個功能都可以單獨分析,就好像它是幾個獨立的工具一樣。

在IEC 61508圈子里,關于軟件離線工具要求是否適用于硬件開發工具存在一些爭論。用于開發集成電路的工具包含在IEC 61508-2:2010附錄F的要求中,主要涉及在類似復雜性的項目中使用2年的證明使用。在汽車領域,更清楚的是,無論正在開發的硬件還是軟件,工具要求都適用。我相信這也是基于IEC 61508的開發的正確方法。

后來在IEC 61508-3中,表A.1提倡使用工具進行需求管理,表A.3提倡使用經過認證的工具和經過認證的翻譯人員。

展望未來,有計劃改進IEC 61508-3中的離線工具要求,請關注此空間。

審核編輯:郭婷

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

    關注

    5404

    文章

    11718

    瀏覽量

    364745
  • 編譯器
    +關注

    關注

    1

    文章

    1645

    瀏覽量

    49480
  • 編輯器
    +關注

    關注

    1

    文章

    808

    瀏覽量

    31409
收藏 人收藏

    評論

    相關推薦

    雙向可控硅導通問題,去掉觸發信號,T1,T2極也斷開了

    multisim14 中用雙向可控硅MAC12HCDG仿真時,為什么觸發電流撤掉后,T1,T2極也斷開了燈泡不亮,電路如下圖,請幫忙看看電路是否有問題?
    發表于 02-04 13:24

    51單片機T2的使用

    52單片機有3個定時器,T2個16位自動重載的,T0和T1的方式
    發表于 12-08 20:09

    DSP事件管理器EVA和EVB的時間寄存器T1T3是同步的嗎?

    事件管理器EVA和EVB的時間寄存器T1T3是同步的嗎?
    發表于 09-22 10:39

    個while循環中每十秒采集了個數據 我要t0到t1內采出來...

    個while循環中每十秒采集了個數據 我要t0到t1內采出來值的平均值輸出。while直啟動,繼續求
    發表于 11-08 21:30

    如圖,怎樣由PXI 6115板卡,labview2016軟件測得T1T6?

    如圖,怎樣由PXI 6115板卡,labview2016軟件測得T1T6?轉子旋轉周產生如圖T1T
    發表于 11-29 22:19

    如圖波形頻率測量,怎樣把T1T6測出來

    最近,那么這個元素所在位置就是最短邊上升沿過零位置。也就是T1的上升沿開始點,則在上升沿過零數組中該位置后個元素即為T2的上升沿過零位置,后面次為
    發表于 12-19 22:14

    銅絞線原材料紫銅牌號T1T2、T3是什么意思

    銅絞線原材料般都選用紫銅,因為紫銅在導電率、導電導熱相比黃銅有更加優越的性能。但是紫銅又有T1、T2、T3之分。那么他們之間有什么區別呢?鄭州華威金屬小編為你做詳細解答:紫銅(工業純
    發表于 11-08 14:56

    如何找到T2,3的模型

    使用。輸入中的個平衡 - 不平衡變換器是T1和其他兩個平衡 - 不平衡變換器在平行T2,T3 ......現在我發現T1輸入平衡 - 不平
    發表于 04-12 13:38

    圖中的R7/R8,T1/T2組成的硬件過流保護的原理不理解,求大佬指導

    圖中的R7/R8,T1/T2組成的硬件過流保護的原理不理解,求大佬指導我現在只明白電流超過設定值時,T1管會導通將電流分走部分,而不會流入T3
    發表于 06-12 10:32

    請問VIP(t2)-VIN(t2)這個差值叫做比較器的什么失調呢?是叫做比較器的resolution嗎?

     ?。踭d]自己設計的比較器,沒有跑蒙特卡羅分析,僅僅跑的普通的tran分析。輸入VIN=1V,VIP=0.8V-》1.2V-》0.8V。  仿真結果發現,并不是在VIP=VIN(t1,t3時刻
    發表于 06-24 08:00

    【晶心科技ADP-Corvette-T1開發板試用體驗】corvette T1的多任務調度學習

    的Task 如t1t2t3runner.deleteTask(name);runner.execute();更多的細節可以參考上面那篇文章,最后是T1開發板使用該文提供的代碼跑出來
    發表于 07-10 23:36

    春天都要過去了!錘子T3/T3X什么時候發布?

    紛紛認為這將是期待已久的T3/T3X。從目前透露的消息來看,T3發布會可能在4月下旬,并且可能有兩款新品——T3T3X(據說將“致敬”iP
    發表于 04-06 08:54 ?1971次閱讀

    錘子T3什么時候上市?錘子T3最新消息:堅果Pro雙攝即將發布,錘子T3在哪里?

    自從2015年12月發布了錘子T2,面對這么款改進版的錘子T1,絕大部分錘粉都在期待錘子T3的到來。等至去年第四季度,等來的卻是新系列M1
    發表于 04-19 00:00 ?1w次閱讀

    錘子T3最新消息:聽說T系列沒了?羅永浩說:堅果Pro其實就是原來的錘子T3

      日前有消息稱,“錘子T3手機很可能將不再發布,即便最終仍然沿用了這個名字,但設計風格肯定不是T1\T2的延續?!彪S后錘子科技官方也表示“Smartisan T系列并沒有被終止”。
    發表于 05-10 11:53 ?2.1w次閱讀

    錘子T3什么時候上市?錘子T3最新消息:錘子T3設計、配置、性能要搞事情,錘子T3或到明年依然值得期待

    相信很多人和我一樣都在等錘子T3,但最近我們看了些報道,同時和很多圈內朋友聊天時發現,今年可能錘子T3不會出現了。
    發表于 06-27 15:11 ?4450次閱讀
    主站蜘蛛池模板: 中文字幕一区二区三区乱码aⅴ | 精品伊人久久大线蕉色首页 | 成人欧美精品大91在线 | 日日干夜夜欢 | 欧美特黄特色aaa大片免费看 | 日本欧美一区二区 | 色老成人精品视频在线观看 | 日日骑夜夜操 | 久久久久久久久久久9精品视频 | 一本到午夜92版免费福利 | 国产日日干 | 亚洲天堂亚洲天堂 | 天天操天天干天天爽 | 人人爽天天爽夜夜爽qc | 四虎午夜剧场 | 日韩高清成人毛片不卡 | 狠狠曹| 波多野结衣久久精品 | 日本理论片www视频 日本理论午夜中文字幕第一页 | 天天综合干 | 亚洲欧美精品成人久久91 | 三级精品视频在线播放 | 九九黄色网 | 黄 色 大 片 网站 | 男女视频在线观看免费高清观看 | 干一干操一操 | 二级黄色大片 | 亚洲国产精品日韩专区avtube | ww久久 | 夜夜夜夜夜夜夜工噜噜噜 | 欧美一级别 | 激情深爱| 亚洲乱码尤物193yw在线播放 | 国产色女人| 五月婷婷六月丁香激情 | 在线看黄色的网站 | 一区卡二区卡三区卡视频 | 视频福利网 | 五月天婷婷视频在线观看 | 亚洲一区在线视频 | 中文字幕婷婷 |