ISO21434是一個(gè)幫忙轎車開(kāi)發(fā)商、原始設(shè)備制造商及其供貨商保證車輛安全的規(guī)范。跟著現(xiàn)代車輛更加地互聯(lián)，以及自動(dòng)駕駛轎車的添加，保證轎車軟件能夠安全地規(guī)劃與施行就變得格外重要。

本篇文章將告訴您什么是ISO 21434，并為轎車嵌入式軟件開(kāi)發(fā)團(tuán)隊(duì)供給一些主張。

什么是ISO 21434？

ISO 21434《旅程車輛——轎車網(wǎng)絡(luò)安全工程》是一項(xiàng)轎車作業(yè)規(guī)范。它首要注重旅程車輛電子體系中的網(wǎng)絡(luò)安全危險(xiǎn)。

ISO21434涵蓋了車輛生命周期的悉數(shù)階段——從開(kāi)始規(guī)劃到車輛報(bào)廢，經(jīng)過(guò)運(yùn)用網(wǎng)絡(luò)安全工程來(lái)保證車輛的安全性。這適用于車輛中的悉數(shù)電子體系、零部件和軟件，以及任何外部的聯(lián)接。

此外，該規(guī)范為開(kāi)發(fā)人員供給了一個(gè)全面的方法來(lái)施行掩蓋整個(gè)供給鏈的方法。

為什么ISO 21434很重要？

跟著車輛的聯(lián)接性添加（例如Wi-Fi和藍(lán)牙）以及自動(dòng)駕駛轎車的展開(kāi)，網(wǎng)絡(luò)侵犯和構(gòu)成危害的危險(xiǎn)也在添加。

建立ISO 21434規(guī)范的意圖是供給一個(gè)結(jié)構(gòu)化的流程，保證轎車產(chǎn)品在整個(gè)生命周期中都考慮了網(wǎng)絡(luò)安全問(wèn)題。

這個(gè)規(guī)范要求轎車制造商和供貨商在施行網(wǎng)絡(luò)安全工程時(shí)有必要堅(jiān)持應(yīng)有的審慎，并且在整個(gè)供給鏈中運(yùn)用網(wǎng)絡(luò)安全處理來(lái)支持此進(jìn)程。它鼓勵(lì)企業(yè)建立網(wǎng)絡(luò)安全文明，并從一開(kāi)始就將安全考慮歸入悉數(shù)的規(guī)劃中。

契合ISO 21434規(guī)范

ISO/SAE 21434對(duì)軟件開(kāi)發(fā)有著具體的要求，包含檢查潛在的缺點(diǎn)的剖析，以及保證網(wǎng)絡(luò)安全要求相一致、正確和無(wú)缺。

網(wǎng)絡(luò)安全應(yīng)處于悉數(shù)規(guī)劃抉擇方案的前沿，包含選擇用于軟件開(kāi)發(fā)的編程言語(yǔ)。

選擇編程言語(yǔ)時(shí)需求考慮幾個(gè)規(guī)范，包含：

但是，所選的言語(yǔ)或許并不能徹底滿足這些規(guī)范。因而，有幾種方法能夠處理這些言語(yǔ)的缺陷，包含：

咱們主張運(yùn)用編碼攻略來(lái)補(bǔ)償所選擇的言語(yǔ)的缺少。

為什么ISO 21434推薦運(yùn)用MISRA C：2012修訂版1和CERTC攻略？

眾所周知，C和C++等編程言語(yǔ)包含了一些特性，或許會(huì)導(dǎo)致程序在某些情況下表現(xiàn)出不確定或不清楚的行為。在安全體系中，這是不可承受的。您能夠經(jīng)過(guò)捆綁運(yùn)用某些具有危險(xiǎn)的言語(yǔ)結(jié)構(gòu)和言語(yǔ)子集，然后降低程序呈現(xiàn)網(wǎng)絡(luò)安全問(wèn)題的或許性，使編程言語(yǔ)適用于網(wǎng)絡(luò)安全要求較高的體系。

C言語(yǔ)仍然是轎車軟件中常用的言語(yǔ)。ISO/SAE 21434特別主張運(yùn)用C言語(yǔ)的項(xiàng)目運(yùn)用MISRA C：2012修訂版1和CERTC攻略。

創(chuàng)建言語(yǔ)子集是MISRA C：2012和CERT C攻略的中心。MISRA C：2012修訂版1指出：“MISRAC攻略界說(shuō)了C言語(yǔ)的子集”。

這兩個(gè)攻略都是經(jīng)過(guò)捆綁運(yùn)用某些具有危險(xiǎn)的功用來(lái)完結(jié)這個(gè)意圖。

例如，MISRA C：2012修訂版1中，規(guī)矩21.5規(guī)矩了阻撓運(yùn)用中的功用，規(guī)矩21.21規(guī)矩了阻撓運(yùn)用“體系”功用。

相同，CERT C規(guī)矩信號(hào)11（SIG）中規(guī)矩了阻擋特定的信號(hào)處理程序，ENV33-C不再調(diào)用system（）。

強(qiáng)類型保證關(guān)于言語(yǔ)數(shù)據(jù)類型的了解，防止某些類型的程序編制過(guò)錯(cuò)。運(yùn)用具有強(qiáng)類型的編碼準(zhǔn)則能夠保證編碼的正確性和一致性。

MISRA C：2012 修訂版1具有根本的類型模型，專門用于強(qiáng)制施行強(qiáng)類型，而CERTC則在個(gè)別規(guī)矩中隱蔽地處理了強(qiáng)類型問(wèn)題，例如INT32-C規(guī)矩可防止有符號(hào)整數(shù)溢出。

防御性施行技能（Defensive implues）使軟件能夠在意外情況下繼續(xù)正常運(yùn)行。它需求考慮“或許會(huì)產(chǎn)生什么”。例如，考慮或許的污染數(shù)據(jù)，以及了解算術(shù)函數(shù)的求值次第。重要的是，代碼需求簡(jiǎn)略易懂。

悉數(shù)防御性施行技能都應(yīng)該從運(yùn)用公認(rèn)的編碼準(zhǔn)則開(kāi)始。MISRA C：2012修訂版1和CERTC能完結(jié)這一點(diǎn)（經(jīng)過(guò)辨認(rèn)要害和未指定的言語(yǔ)行為），然后使生成的代碼更可靠、更不簡(jiǎn)略犯錯(cuò)且更易于保護(hù)。

CERT C是一個(gè)無(wú)缺的言語(yǔ)安全規(guī)范，所以它是為了辨認(rèn)那些網(wǎng)絡(luò)安全特有的縫隙而規(guī)劃。而MISRAC：2012修訂版1界說(shuō)了一個(gè)適用于安全和防范的言語(yǔ)子集，并有專門針對(duì)防御性施行技能的規(guī)矩，包含switch句子（規(guī)矩16.2和16.3）和資源處理（規(guī)矩22.x）。

什么是ISO 21434？

為了有效地辨認(rèn)縫隙和缺點(diǎn)，并施行推薦的編碼準(zhǔn)則（如MISRA和CERTC），您應(yīng)該運(yùn)用作業(yè)規(guī)范化的東西，特別是靜態(tài)代碼剖析器。

靜態(tài)代碼剖析東西（如HelixQAC）既能夠驗(yàn)證是否契合編碼準(zhǔn)則，又能夠供給契合規(guī)范的根據(jù)。這將供給網(wǎng)絡(luò)安全需求的全體一致性、正確性和無(wú)缺性。

在任何的車輛開(kāi)發(fā)進(jìn)程中，軟件東西都是必不可少的組成部分，有必要在考慮對(duì)產(chǎn)品網(wǎng)絡(luò)安全影響的前提下進(jìn)行處理。這其間也包含了驗(yàn)證東西，例如靜態(tài)剖析器。

保證開(kāi)發(fā)進(jìn)程中運(yùn)用的東西安滿是很重要的，它們不能對(duì)網(wǎng)絡(luò)安全產(chǎn)生晦氣影響。這包含東西的處理，保證正確運(yùn)用東西，并保證拜訪遭到操控。東西的處理情況需求供給根據(jù)來(lái)閃現(xiàn)，其間包含經(jīng)過(guò)認(rèn)證的效果。

正確的東西會(huì)讓證明合規(guī)變得更簡(jiǎn)略，像Helix QAC這樣的靜態(tài)剖析器能夠幫忙滿足開(kāi)發(fā)攻略，出產(chǎn)安全、可靠的軟件。

Helix QAC徹底契合MISRA C：2012和CERTC攻略，并在此前現(xiàn)已經(jīng)過(guò)了TüV-SüD安全要害體系認(rèn)證，幫忙您輕松驗(yàn)證軟件是否存在常見(jiàn)的代碼安全縫隙。

此外，經(jīng)過(guò)運(yùn)用靜態(tài)代碼剖析器（如Helix QAC），您能夠經(jīng)過(guò)以下方法加速驗(yàn)證合規(guī)：