基于功能安全的車載計(jì)算平臺開發(fā):軟件層面

汽車電子與軟件 2022-11-30 08:24
車載智能計(jì)算平臺作為智能汽車的安全關(guān)鍵系統(tǒng),軟件層面的安全性至關(guān)重要。由于車載智能計(jì)算平臺功能豐富,應(yīng)用場景復(fù)雜,對軟件的實(shí)時性、安全性、可靠性要求極高,應(yīng)通過技術(shù)和流程兩個方面保障軟件的功能安全。技術(shù)上確保軟件層級的每個功能安全相關(guān)軟件節(jié)點(diǎn)都有相應(yīng)的故障監(jiān)測和處理機(jī)制,流程上按照軟件安全生命周期模型規(guī)范軟件開發(fā)過程。基于參考階段模型,為軟件層面產(chǎn)品開發(fā)進(jìn)行生命周期的剪裁。
軟件開發(fā)參考階段模型

01?軟件安全要求
車載智能計(jì)算平臺軟件安全要求是對軟件安全相關(guān)的功能和性能的具體要求,主要是通過技術(shù)安全要求在軟件層面的分配得到,并通過繼承或分配得到相應(yīng)的ASIL等級。另外,在軟件架構(gòu)階段執(zhí)行的軟件安全分析也可能會識別出額外的軟件安全要求。采用專業(yè)的需求管理工具來實(shí)現(xiàn)需求的編寫、評審、管理以及雙向追溯性檢查可大幅降低軟件層面的系統(tǒng)性安全風(fēng)險。

02?軟件架構(gòu)設(shè)計(jì)

軟件架構(gòu)設(shè)計(jì)是對軟件需求的設(shè)計(jì)與實(shí)現(xiàn),用來描述軟件的框架要素和軟件各分層結(jié)構(gòu)之間的相互作用,其范圍層面應(yīng)到能夠識別所有軟件單元的程度。軟件架構(gòu)設(shè)計(jì)不僅需滿足相應(yīng)ASIL等級的軟件安全要求,還應(yīng)滿足軟件其他非安全要求。在軟件架構(gòu)層面,軟件安全要求會分層次地分配給軟件組件直到軟件單元,每個軟件組件應(yīng)按照分配給它的安全要求中最高的ASIL等級來開發(fā)。車載智能計(jì)算平臺應(yīng)在軟件架構(gòu)設(shè)計(jì)階段進(jìn)行軟件安全分析和相關(guān)失效分析,完善錯誤探測和錯誤處理的安全機(jī)制,以便識別或確認(rèn)軟件安全相關(guān)部分,證明軟件的安全相關(guān)的功能和性能滿足相應(yīng)的ASIL要求,支持安全措施的定義及其有效性。車載智能計(jì)算平臺軟件架構(gòu)設(shè)計(jì)完成后,應(yīng)對其開展驗(yàn)證活動,輸出軟件驗(yàn)證報(bào)告,證明軟件架構(gòu)設(shè)計(jì)嚴(yán)格遵守設(shè)計(jì)規(guī)則,兼容目標(biāo)環(huán)境,滿足相應(yīng)ASIL等級的需求,并且相關(guān)評審證據(jù)充足。

軟件安全設(shè)計(jì)依然可以從E-Gas三層架構(gòu)中提取關(guān)鍵設(shè)計(jì)理念。E-Gas針對的典型系統(tǒng),基本的思想是外圍系統(tǒng)—內(nèi)部系統(tǒng),內(nèi)部系統(tǒng)分為傳感器、控制器和執(zhí)行器。在這個系統(tǒng)概念里,傳感器是加速踏板傳感器,控制器是ECU(Engine Control Unit),執(zhí)行器是節(jié)氣門。展開安全架構(gòu)設(shè)計(jì)的時候,需要時刻關(guān)注將系統(tǒng)解耦和模塊化,這對于軟件的安全設(shè)計(jì)是非常重要的。

E-Gas典型系統(tǒng)組成及邊界

關(guān)于E-Gas安全架構(gòu)的核心理念和設(shè)計(jì),這里再回顧一下,整體設(shè)計(jì)分為Level1、Level2和Level3,其定義如下:

E-Gas三層安全架構(gòu)(帶鎖步核)

(1)Level1:功能層,包括扭矩的解析、功能的診斷等,最直接的理解就是能夠?qū)崿F(xiàn)設(shè)計(jì)基本功能的軟件及相關(guān)硬件資源的組合。

(2)Level2:功能監(jiān)控層,負(fù)責(zé)監(jiān)控功能層的輸出結(jié)論,簡單理解來看,就是軟件的冗余校驗(yàn),但是,由于不想消耗太多資源及避免算法共因,所以基于功能結(jié)果的監(jiān)控。

(3)Level3:硬件監(jiān)控層,負(fù)責(zé)確保Level1和Level2的運(yùn)行的硬件環(huán)境是正常工作的,異常的運(yùn)行環(huán)境會導(dǎo)致Level2的設(shè)計(jì)起不到很好效果,因此,Level3在整體的監(jiān)控架構(gòu)中作用是不可替代的。

下圖是Level2算法架構(gòu)的一個示例(汽油歧管噴射),其整體思想是計(jì)算實(shí)際系統(tǒng)輸出的扭矩和此刻系統(tǒng)允許輸出的安全現(xiàn)值之間的差值,當(dāng)差值大于一定數(shù)值及一定時間時,采用相應(yīng)的故障動作。同時,方案為了避免出現(xiàn)誤報(bào)或者漏報(bào)的情況,每一項(xiàng)用于計(jì)算的信號或者相應(yīng)的傳感器都應(yīng)該具有相應(yīng)的診斷及故障動作,這也是軟件開展功能安全設(shè)計(jì)很關(guān)鍵的理念,輸入信號是需要高完整性和準(zhǔn)確性的。

三層架構(gòu)Level2算法架構(gòu)示例

針對Level3的硬件監(jiān)控層,需要涉及軟件和硬件的交互,監(jiān)控的機(jī)制可以通過軟件實(shí)現(xiàn),也可以通過硬件實(shí)現(xiàn)。這里羅列了E-Gas中涉及軟件方面的問題:

(1)ROM檢查:針對ROM的檢查,主要是涉及數(shù)據(jù)翻轉(zhuǎn)、錯誤的刷寫、錯誤的數(shù)據(jù)等,軟件在其中扮演著檢測對比算法的角色,當(dāng)然,ROM的檢查通過硬件也可以實(shí)現(xiàn)。

(2)應(yīng)答機(jī)制檢查:軟件需要在設(shè)定時間窗口內(nèi)正確回答獨(dú)立硬件監(jiān)控單元的問題,如果超時或者回答錯誤一定次數(shù),都會觸發(fā)重置或者下電。

(3)指令集檢查:指令集是處理器核心的計(jì)算最基本單元,也是Level2監(jiān)控算法正確執(zhí)行的基礎(chǔ),確保指令集的正確可以采用軟件輔助計(jì)算應(yīng)答方法,或者采用目前診斷覆蓋率更高的鎖步核機(jī)制冗余校驗(yàn)(Lockstep-Core)。

(4)程序流檢查:監(jiān)控算法、診斷算法等都是周期性按順序執(zhí)行的,因此,執(zhí)行時序也需要進(jìn)行檢查。

通過E-Gas的三層經(jīng)典架構(gòu),我們可以分析出軟件層級的功能安全設(shè)計(jì)需要考慮的軟件包括Level1的功能層軟件、Level2的監(jiān)控層軟件以及Level3的部分支持硬件監(jiān)控層軟件。

對于Level1功能軟件,它本身的失效在整體架構(gòu)中并不會違反安全目標(biāo),理應(yīng)可以按照QM來開發(fā),但考慮到軟件本身的可靠性,建議依照ASIL-A或者ASPICE CL2級進(jìn)行開發(fā),畢竟,一個產(chǎn)品只確保安全但可靠性很差是沒有辦法交付給客戶的;對于Level2和Level3的軟件,按照安全分析,需要依靠系統(tǒng)的最高ASIL等級開發(fā)。

軟件開發(fā)遵循原則參考

當(dāng)然,并不是說非三層架構(gòu)設(shè)計(jì)軟件無法實(shí)現(xiàn)功能安全開發(fā)或者產(chǎn)品無法符合功能安全要求。E-Gas三層架構(gòu)能夠很清晰地實(shí)現(xiàn)層級遞進(jìn)式的監(jiān)控設(shè)計(jì),尤其適用于功能軟件復(fù)雜的產(chǎn)品。如果功能軟件相對復(fù)雜,高ASIL等級的產(chǎn)品在導(dǎo)致軟件開發(fā)的工作量大量增加的同時安全性也很難兼顧;當(dāng)然,如果應(yīng)用層軟件相對簡單(例如濾波算法、局部優(yōu)化、狀態(tài)機(jī)等函數(shù)),采用下表所列方式會更好。

非三層架構(gòu)開發(fā)遵循原則參考

對于功能安全軟件設(shè)計(jì)而言,軟件架構(gòu)設(shè)計(jì)一個重要的目標(biāo)是使軟件需求的實(shí)現(xiàn)過程以一種完整的、正確的同時盡可能簡單、可理解和可驗(yàn)證的方式展現(xiàn),從而在軟件需求實(shí)現(xiàn)過程中,盡可能降低由于設(shè)計(jì)錯誤造成違反功能安全需求的可能性。功能安全要求軟件架構(gòu)的設(shè)計(jì)具備以下屬性:可理解性,一致性,簡單性,可驗(yàn)證,模塊化,層次化,按層逐步細(xì)化、封裝,低耦合性,可維護(hù)性。對于可理解性,ISO 26262中按照不同的ASIL等級規(guī)定了不同的軟件架構(gòu)設(shè)計(jì)的表示方式。

軟件架構(gòu)設(shè)計(jì)符號說明

常見的幾種軟件架構(gòu)安全分析方法包括SW-FMEA、SW-FTA及SW-DFA。

1、SW-FMEA

SW-FMEA以硬件組件和軟件模塊之間的接口或軟件模塊和軟件模塊之間的接口為分析對象,列舉硬件組件接口或軟件模塊的失效模式,分析失效模式對后續(xù)軟件模塊或者軟件需求的影響,尤其是與功能安全相關(guān)的影響。在明確失效模式和失效后果的基礎(chǔ)上,去尋找造成硬件組件接口或軟件模塊的原因,并且對原因施加控制措施。

2.SW-FTA

SW-FTA探究的重點(diǎn)是軟件架構(gòu)中多點(diǎn)錯的發(fā)生對軟件功能安全需求的影響。SW-FTA分析過程從軟件功能安全需求出發(fā),從軟件架構(gòu)設(shè)計(jì)中所有軟件模塊和軟件接口的失效模式中去尋找和當(dāng)前軟件功能安全需求相關(guān)的失效模式,并且識別出這些失效模式和當(dāng)前軟件功能安全需求的相關(guān)性(單點(diǎn)失效還是多點(diǎn)失效)。

3.SW-DFA

SW-DFA在標(biāo)準(zhǔn)中定義的從屬故障(Dependent failure)包括級聯(lián)故障(Cascading failure)和共因故障(Common cause failure)。通常可以從以下幾個方面來考慮Dependent failure 中Cascading failure的部分:

時間和調(diào)度問題造成Cascading failure。比如,由于其他模塊運(yùn)行時間過長導(dǎo)致目標(biāo)模塊無法運(yùn)行,死鎖、活鎖、饑餓等現(xiàn)象導(dǎo)致模塊運(yùn)行停滯或者延遲,軟件模塊之間的同步性問題或者優(yōu)先級問題導(dǎo)致調(diào)度次序出現(xiàn)問題。

存儲空間問題造成Cascading failure。比如,目標(biāo)存儲區(qū)域被其他軟件模塊誤篡改,軟件模塊之間對于同一存儲空間的讀寫操作配合問題導(dǎo)致數(shù)據(jù)不一致(讀數(shù)據(jù)的同時允許寫數(shù)據(jù)),棧溢出等問題。

軟件模塊之間的通信( 尤其是ECU 間的通信) 問題造成Cascading failure。時間和調(diào)度問題造成Cascading failure。

隨著ASIL等級的提升,ISO 26262從語法和語義兩個維度出發(fā),從最低要求的自然語言描述到半正式的表述方式,逐步加強(qiáng)對表述方式的理解一致性的要求。為了避免系統(tǒng)性失效,ISO 26262對軟件架構(gòu)設(shè)計(jì)提出了一些設(shè)計(jì)原則。

軟件架構(gòu)設(shè)計(jì)原則

ISO 26262對軟件架構(gòu)設(shè)計(jì)驗(yàn)證方法

03?軟件單元設(shè)計(jì)與實(shí)現(xiàn)
在軟件單元設(shè)計(jì)與實(shí)現(xiàn)階段,基于軟件架構(gòu)設(shè)計(jì)對車載智能計(jì)算平臺的軟件單元進(jìn)行詳細(xì)設(shè)計(jì)。軟件單元設(shè)計(jì)應(yīng)滿足其所分配的ASIL等級要求,與軟件架構(gòu)設(shè)計(jì)和軟硬件接口設(shè)計(jì)相關(guān)內(nèi)容保持一致。為了避免系統(tǒng)性失效,應(yīng)確保軟件單元設(shè)計(jì)的一致性、可理解性、可維護(hù)性和可驗(yàn)證性,采用自然語言與半形式化方法相結(jié)合的方式進(jìn)行描述。說明書應(yīng)描述實(shí)施細(xì)節(jié)層面的功能行為和內(nèi)部設(shè)計(jì),包括數(shù)據(jù)存儲和寄存器的使用限制。在源代碼層面的設(shè)計(jì)與實(shí)施應(yīng)使得軟件單元設(shè)計(jì)簡單易懂,軟件修改適宜,具有可驗(yàn)證性和魯棒性,確保軟件單元中子程序或函數(shù)執(zhí)行的正確次序,軟件單元之間接口的一致性,軟件單元內(nèi)部及軟件單元之間數(shù)據(jù)流和控制流的正確性。車載智能計(jì)算平臺軟件包含數(shù)百個軟件單元,軟件單元的標(biāo)準(zhǔn)化、單元間解耦是高效實(shí)現(xiàn)軟件功能安全的基礎(chǔ)。車載智能計(jì)算平臺中不同安全等級的軟件可以采用硬件虛擬化、容器、內(nèi)存隔離等技術(shù)進(jìn)行隔離,防止軟件單元之間的級聯(lián)失效。

軟件代碼設(shè)計(jì)過程中應(yīng)遵守成熟的代碼設(shè)計(jì)規(guī)范,例如MISRA C。MISRA C是由汽車產(chǎn)業(yè)軟件可靠性協(xié)會(MISRA)提出的C語言開發(fā)標(biāo)準(zhǔn)。其目的是在增進(jìn)嵌入式系統(tǒng)的安全性及可移植性,針對C++語言也有對應(yīng)的標(biāo)準(zhǔn)MISRA C++。MISRA C一開始主要是針對汽車產(chǎn)業(yè),不過其他產(chǎn)業(yè)也逐漸開始使用MISRA C:包括航天、電信、國防、醫(yī)療設(shè)備、鐵路等領(lǐng)域中都已有廠商使用MISRA C。MISRA C的第一版《Guidelines for the use of the C language in vehicle based software》是在1998年發(fā)行,一般稱為MISRA-C:1998.。MISRA-C:1998有127項(xiàng)規(guī)則,規(guī)則從1號編號到127號,其中有93項(xiàng)是強(qiáng)制要求,其余的34項(xiàng)是推薦使用的規(guī)則。在2004年時發(fā)行了第二版的MISRA C的第一版《Guidelines for the use of the C language in critical systems》(或稱作MISRA-C:2004),其中有許多重要建議事項(xiàng)的變更,其規(guī)則也重新編號。MISRA-C:2004有141項(xiàng)規(guī)則,其中121項(xiàng)是強(qiáng)制要求,其余的20項(xiàng)是推薦使用的規(guī)則。規(guī)則分為21類,從“開發(fā)環(huán)境”到“運(yùn)行期錯誤”。2012年發(fā)布第三版,為當(dāng)前最新有效的C語言規(guī)范版本,稱為MISRA C:2012。企業(yè)可以基于MISRAC建立一套滿足車載智能計(jì)算平臺安全編碼要求的內(nèi)部編碼規(guī)范,并嚴(yán)格執(zhí)行。

ISO 26262軟件單元設(shè)計(jì)和實(shí)現(xiàn)的設(shè)計(jì)原則

04?軟件單元驗(yàn)證
軟件單元驗(yàn)證是通過評審、分析和測試的方法對功能安全相關(guān)的軟件單元設(shè)計(jì)與實(shí)現(xiàn)進(jìn)行驗(yàn)證,證明軟件相關(guān)安全措施已經(jīng)在設(shè)計(jì)與實(shí)現(xiàn)中全部落實(shí)。軟件單元設(shè)計(jì)滿足相應(yīng)的ASIL等級的軟件需求和軟硬件接口規(guī)范要求,軟件源代碼的實(shí)現(xiàn)與單元設(shè)計(jì)一致,不存在非期望的功能和性能,且支持功能和性能實(shí)現(xiàn)的相關(guān)資源充足。

車載智能計(jì)算平臺的軟件單元驗(yàn)證可參考下表,通過需求分析、等價類的生成與分析、邊界值分析和錯誤推測相結(jié)合的方法合理設(shè)計(jì)測試用例,確保對軟件單元進(jìn)行充分驗(yàn)證。為了評估軟件單元驗(yàn)證的完整性,為單元測試的充分性提供證據(jù),應(yīng)確定在軟件單元層面的需求覆蓋率,同時對結(jié)構(gòu)覆蓋率進(jìn)行測定。車載智能計(jì)算平臺軟件單元測試的結(jié)構(gòu)覆蓋率目標(biāo)為100%,如果已實(shí)現(xiàn)結(jié)構(gòu)覆蓋率不能達(dá)到目標(biāo),可以定義額外的測試用例并提供接受理由。車載智能計(jì)算平臺軟件單元的結(jié)構(gòu)覆蓋率測試應(yīng)采用滿足相關(guān)安全要求的測試工具,確保在測試過程中測試工具和檢測代碼不會對測試結(jié)果產(chǎn)生影響。

車載智能計(jì)算平臺軟件單元測試應(yīng)根據(jù)測試范圍,選用適當(dāng)?shù)臏y試環(huán)境。測試環(huán)境應(yīng)適合完成測試目標(biāo),盡可能接近目標(biāo)環(huán)境,如果不是在目標(biāo)環(huán)境執(zhí)行,應(yīng)分析源代碼與目標(biāo)代碼的差異、測試環(huán)境和目標(biāo)環(huán)境之間的差異,以便在后續(xù)測試階段的目標(biāo)環(huán)境中,定義額外的測試。

軟件單元驗(yàn)證方法

軟件單元測試用例的得出方法

05?軟件集成驗(yàn)證
軟件集成驗(yàn)證需要根據(jù)軟件驗(yàn)證計(jì)劃、接口規(guī)范、軟件架構(gòu)設(shè)計(jì)規(guī)范、軟件驗(yàn)證規(guī)范等對軟件架構(gòu)中所描述的集成層次、接口、功能等進(jìn)行持續(xù)測試,以驗(yàn)證其與設(shè)計(jì)的符合性。由于車載智能計(jì)算平臺軟件的復(fù)雜性,實(shí)時性、可靠性、安全性既是設(shè)計(jì)目標(biāo)也是基礎(chǔ)性能,集成測試設(shè)計(jì)階段應(yīng)對其功能、邏輯、性能、邊界、接口進(jìn)行詳細(xì)分析。車載智能計(jì)算平臺的軟件集成驗(yàn)證參考下表,不僅需涵蓋所有應(yīng)用軟件、功能軟件、系統(tǒng)軟件以及與硬件之間的接口,并且應(yīng)涵蓋軟件單元之間的接口。測試用例在測試工作中至關(guān)重要,其輸出需要考慮功能需求、性能需求、邊界值、接口、邏輯關(guān)系等。

軟件集成驗(yàn)證方法

軟件集成測試用例的得出方法

06?嵌入式軟件測試
車載智能計(jì)算平臺嵌入式軟件測試主要是基于軟件安全要求的測試可參考下表,針對軟件安全要求進(jìn)行充分的故障注入測試,最終確保軟件安全要求的正確實(shí)現(xiàn)。為了驗(yàn)證車載智能計(jì)算平臺軟件在目標(biāo)環(huán)境下是否滿足軟件安全要求,應(yīng)進(jìn)行硬件在環(huán)測試、車輛電控系統(tǒng)和網(wǎng)絡(luò)通信環(huán)境下的測試以及實(shí)車測試。硬件在環(huán)測試是將車載智能計(jì)算平臺軟件燒寫到目標(biāo)芯片中,在目標(biāo)芯片的硬件異構(gòu)平臺環(huán)境下驗(yàn)證軟件的安全要求。然后,將車載智能計(jì)算平臺與部分或全部的車輛電子電氣設(shè)備進(jìn)行網(wǎng)絡(luò)通信,在車輛電控系統(tǒng)和網(wǎng)絡(luò)環(huán)境下驗(yàn)證軟件的安全要求。最后,將車載智能計(jì)算平臺安裝到實(shí)際車輛中,進(jìn)行軟件安全要求的驗(yàn)證與確認(rèn)。

?嵌入式軟件的測試方法

?嵌入式軟件測試用例的得出方法

07?人工智能
通過實(shí)施完善的開發(fā)流程可降低車載智能計(jì)算平臺人工智能的系統(tǒng)性安全風(fēng)險。車載智能計(jì)算平臺人工智能的開發(fā)包含需求分析、算法設(shè)計(jì)、數(shù)據(jù)采集和標(biāo)注、模型訓(xùn)練、測試驗(yàn)證以及運(yùn)行等流程。

人工智能的需求分析應(yīng)包含算法的基本功能需求和功能安全要求(如算法精度目標(biāo)、算法Fail-Operational等)。算法設(shè)計(jì)階段應(yīng)考慮采用多算法、多模型、多幀數(shù)據(jù)、多傳感器等多種冗余機(jī)制的組合以提升安全性。數(shù)據(jù)采集和標(biāo)注階段應(yīng)確保數(shù)據(jù)標(biāo)注精度、數(shù)據(jù)場景分布,并避免數(shù)據(jù)錯標(biāo)和漏標(biāo),從而確保模型訓(xùn)練不受影響。模型訓(xùn)練階段采用業(yè)界成熟、文檔全面的人工智能框架。測試驗(yàn)證階段對所有需求進(jìn)行閉環(huán)的測試,同時全面考慮各種潛在應(yīng)用場景及環(huán)境影響因素,進(jìn)行長距離的實(shí)車試驗(yàn)。根據(jù)測試結(jié)果不斷重復(fù)進(jìn)行數(shù)據(jù)的采集、標(biāo)注、模型訓(xùn)練和測試驗(yàn)證的階段,通過迭代的方式逐步提高人工智能的安全性。在運(yùn)行階段,應(yīng)持續(xù)地對實(shí)際運(yùn)行數(shù)據(jù)和人工智能的安全性進(jìn)行監(jiān)控,通過分析實(shí)際運(yùn)行數(shù)據(jù)對人工智能算法和模型不斷優(yōu)化。

08?軟件階段常用工具介紹
a、Polyspace

Polyspace Bug Finder可以識別嵌入式軟件C和C++代碼中的運(yùn)行時錯誤、并發(fā)問題、安全漏洞和其他缺陷。使用靜態(tài)分析(包括語義分析),Polyspace Bug Finder可分析軟件控制流、數(shù)據(jù)流和進(jìn)程間行為。通過在檢測到缺陷之后立即高亮顯示缺陷,可在開發(fā)過程的早期階段鑒別和修復(fù)錯誤。Polyspace Bug Finder可檢查是否符合編碼規(guī)范,如MISRA C、MISRA C++、JSF++、CERT C、CERT C++和自定義命名規(guī)范。它可以生成報(bào)告,其中包括發(fā)現(xiàn)的錯誤、代碼違規(guī)和代碼質(zhì)量指標(biāo),如圈復(fù)雜度。Polyspac eBug Finder可與Eclipse IDE配合使用進(jìn)行代碼分析。

Polyspace軟件截圖

b、Tessy

Tessy軟件源自戴姆勒—奔馳公司的軟件技術(shù)實(shí)驗(yàn)室,由德國Hitex公司負(fù)責(zé)全球銷售及技術(shù)支持服務(wù),是一款專門針對嵌入式軟件動態(tài)測試的工具。它可以對C/C++代碼進(jìn)行單元、集成測試,可以自動化搭建測試環(huán)境、執(zhí)行測試、評估測試結(jié)果并生成測試報(bào)告等。多樣化的測試用例導(dǎo)入生成方式和與測試需求關(guān)聯(lián)的特色,使Tessy在測試組織和測試管理上也發(fā)揮了良好的作用,目前,Tessy廣泛應(yīng)用汽車電子主流客戶中。Tessy滿足各類標(biāo)準(zhǔn)(如ISO 26262、IEC61508)對測試的需求,比如Tessy可以滿足ISO 26262中各個測試等級對模塊測試的要求,當(dāng)然,Tessy本身也通過了TüV的認(rèn)證,證明該軟件是安全可靠的,可以在安全相關(guān)的軟件研發(fā)過程中使用。

Tessy 軟件截圖

c、Helix QAC

Helix QAC是靜態(tài)代碼分析工具,依據(jù)C和C++編碼規(guī)則自動掃描代碼對規(guī)則的違背。在開發(fā)過程的早期就可以用它來檢測缺陷,因?yàn)榇藭r修改代碼是最方便也最經(jīng)濟(jì)的。Helix QAC自動化強(qiáng)制實(shí)施代碼編程標(biāo)準(zhǔn),比如,MISRA保證代碼的合規(guī)性。Helix QAC識別必須修改的缺陷,提供詳細(xì)的指導(dǎo),幫助開發(fā)人員修改問題。這是不需要運(yùn)行程序的。開發(fā)人員既然獲得了即時的上下文反饋,他們將因此從錯誤中獲得學(xué)習(xí),下一次編寫新的代碼(或者評審代碼)時,能力將得到提升。Helix QAC自動審查代碼,確保它們符合用戶選擇的編碼標(biāo)準(zhǔn)。合規(guī)性報(bào)告可視化地提醒用戶哪些代碼需要多加留意。Helix QAC支持多種C和C++編碼標(biāo)準(zhǔn),提供相應(yīng)的合規(guī)性模塊,也支持標(biāo)準(zhǔn)的客戶化定制。

?Helix QAC軟件截圖


汽車電子與軟件 主要介紹汽車電子軟件設(shè)計(jì)相關(guān)內(nèi)容,每天分享一篇技術(shù)文章!
評論
  • 文:杜杰編輯:侯煜當(dāng)?shù)貢r間7月28日,美國特朗普政府落地最新科技封鎖政策,美國聯(lián)邦通信委員會(FCC)正式更新《受管制清單》,新增兩大類設(shè)備——境外生產(chǎn)的先進(jìn)機(jī)器人設(shè)備、境外生產(chǎn)的聯(lián)網(wǎng)電力逆變器。FCC在官方情況說明書中明確,該類境外制造產(chǎn)品,“會對美國國家安全或美國民眾的人身安全構(gòu)成無法承受的風(fēng)險”。本次新規(guī)設(shè)置明確豁免機(jī)制:經(jīng)美國國防部(DoW)、電力逆變器品類經(jīng)美國國土安全部(DHS)審核并授予“有條件批準(zhǔn)”,認(rèn)定對應(yīng)設(shè)備品類不存在重大安全風(fēng)險,即可獲得準(zhǔn)入豁免。同時政策嚴(yán)格執(zhí)行新老劃斷原
    華爾街科技眼 2026-08-03 21:28 376瀏覽
  • 在物聯(lián)網(wǎng)從“萬物互聯(lián)”邁向“萬物智聯(lián)”的進(jìn)程中,LTE Cat.1憑借其在速率、成本與網(wǎng)絡(luò)覆蓋之間的完美平衡,正成為中低速物聯(lián)網(wǎng)市場的絕對主力。隨著2G/3G網(wǎng)絡(luò)的逐步退網(wǎng)以及新國標(biāo)對終端設(shè)備智能化、定位功能的強(qiáng)制要求,Cat.1模組迎來了爆發(fā)式的增長窗口。在這一關(guān)鍵節(jié)點(diǎn),基于華為海思Hi2131芯片設(shè)計(jì)的LTE Cat.1模組,憑借其在能效、射頻、架構(gòu)及物理規(guī)格上的底層創(chuàng)新,成功打破了“高性能必高功耗”的傳統(tǒng)魔咒,為行業(yè)提供了極具競爭力的連接最優(yōu)解。核心技術(shù)優(yōu)勢:重塑Cat.1能效與連接標(biāo)桿海
    用戶1778981989717 2026-08-05 21:04 214瀏覽
  • 導(dǎo)語在現(xiàn)代高速數(shù)字電路設(shè)計(jì)中,信號的完整性已不僅是理想波形推演,而是一場與物理非理想特性正面博弈的工程實(shí)踐。濾波器芯片作為凈化傳輸鏈路的關(guān)鍵屏障,其核心挑戰(zhàn)在于:能否有效識別并濾除那些隱匿在電平跳變過程中的亞納秒級瞬態(tài)脈沖干擾,這類干擾持續(xù)極短,卻足以在高速鏈路中引發(fā)誤觸發(fā)。然而,傳統(tǒng)函數(shù)發(fā)生器受限于采樣率與邊沿速率,根本無法忠實(shí)復(fù)現(xiàn)如此狹窄且陡峭的異常波形。針對此困境,德思特TS-AWG7000系列任意波形發(fā)生器以17 GS/s采樣率與50 ps原生邊沿速度,為瞬態(tài)脈沖提供精細(xì)刻畫,配合SPG
    德思特測試測量 2026-08-05 14:06 5瀏覽
  • 做藍(lán)牙音箱的工程師大概都碰過這個局面。產(chǎn)品要連手機(jī)放歌,要本地播開機(jī)提示音和按鍵音,還要接 App 做配網(wǎng)和狀態(tài)上報(bào)。三件事拆開,早先的常規(guī)做法是音頻藍(lán)牙一顆料、數(shù)傳藍(lán)牙一顆料、本地播放再掛一顆小 MCU 加一片 Flash。板子越畫越大,BOM 越算越貴,待機(jī)電流和固件工作量也跟著漲。WT2605C 出來以后,這套需求可以集成到一顆芯片,就是 WT2605C-32N,該芯片采用QFN32 封裝,4×4 毫米,把音頻藍(lán)牙、BLE 數(shù)傳和 MP3 本地播放三樣全包了。對藍(lán)牙音箱來說,最實(shí)在的好處就
    唯創(chuàng)知音語音芯片 2026-08-06 15:14 427瀏覽
  •                                                                        
    廣州鐵金剛 2026-08-06 17:44 230831瀏覽
  • 一、方案簡介在Buildroot構(gòu)建的嵌入式Linux系統(tǒng)中部署Flutter應(yīng)用,主流有兩套成熟的開源方案,分別適配不同的顯示場景與開發(fā)需求:方案一:flutter-elinux(Sony開源方案)由索尼官方維護(hù)的嵌入式Linux Flutter工具鏈,既支持DRM/GBM直接渲染,也兼容Wayland、X11等多種顯示后端,場景適配性更廣。方案二:flutter-pi(輕量級嵌入器)一款輕量級Flutter引擎宿主程序,僅基于底層DRM/GBM接口實(shí)現(xiàn)渲染,無需依賴桌面環(huán)境,資源占用更低,更
    飛凌嵌入式 2026-08-07 09:34 251瀏覽
  •        很多人只見過封裝在SMD外殼里的小尺寸晶振,卻不知道一顆2016、1612甚至1210封裝的微型石英晶振,從一塊巴掌大的石英原礦,到最終能穩(wěn)定起振的成品,要經(jīng)過十幾道精密工序。它內(nèi)部的石英晶片厚度最薄不到20微米,比普通A4紙的1/5還薄,整個生產(chǎn)過程里哪怕0.1微米的誤差,都會直接廢掉整批產(chǎn)品,這也是小尺寸晶振過去長期依賴進(jìn)口,國內(nèi)廠商花了十幾年才啃下量產(chǎn)硬骨頭的核心原因。1. 原石定向切割:0.01度的角度誤差都不能有小尺寸晶振的第一步,
    TKD泰晶科技 2026-08-07 08:43 576瀏覽
  • 產(chǎn)品使用18V供電,配套4串鋰離子電池,需要設(shè)計(jì)一個充電器。因?yàn)檩斎?8V,電池最高 16.8V,壓差僅 1.2V。因?yàn)閴翰钐?。使用開關(guān)型的充電控制芯片不穩(wěn)定。嘗試自行設(shè)計(jì)一個。整體采用分立三極管 + TL431架構(gòu),分4個功能單元:使能控制回路、限流環(huán)路、TL431 精密恒壓反饋環(huán)路、PNP 功率管主功率輸出回路;實(shí)現(xiàn)完整鋰電池充電邏輯。使能控制回路按鍵按下:5V 電壓經(jīng) R12 (2kΩ) 送入 NPN 管 Q3 基極,Q3 飽和導(dǎo)通,對地拉低 R1、R2 組成的分壓控制節(jié)點(diǎn)電位;該節(jié)點(diǎn)直
    southcreek 2026-08-07 13:45 528瀏覽
  • 做儲能項(xiàng)目,你是怎么選控制器的?隨著工商業(yè)儲能、電網(wǎng)側(cè)儲能的規(guī)模化落地,作為儲能EMS“大腦”的嵌入式控制器,直接決定了整套系統(tǒng)的運(yùn)行穩(wěn)定性、數(shù)據(jù)可靠性與項(xiàng)目落地效率。不少從業(yè)者都踩過類似的坑:接口數(shù)量不足要額外加裝擴(kuò)展模塊、戶外高溫導(dǎo)致設(shè)備宕機(jī)、電磁干擾引發(fā)數(shù)據(jù)丟包、軟件生態(tài)薄弱拖慢開發(fā)周期……選對儲能控制器,核心要盯準(zhǔn)四個關(guān)鍵維度。首先看接口能力:全鏈路覆蓋,才是降本的核心。一套完整的儲能系統(tǒng),需要同時對接PCS、BMS、智能電表、溫濕度傳感器、除濕機(jī)、煙感消防主機(jī),還要連接急停開關(guān)、斷路器
    飛凌嵌入式 2026-08-11 08:46 229瀏覽
  • 摘要東莞市恒創(chuàng)連接器有限公司(HCHGCONN)是位于廣東東莞的連接器源頭制造工廠,專注于連接器國產(chǎn)替代、小間距大電流連接器、線對板連接器、線對線連接器、板對板連接器、電源連接器及定制連接器開發(fā)。公司面向工業(yè)自動化、新能源儲能、BMS、汽車電子、AI服務(wù)器、GPU供電、通信設(shè)備、醫(yī)療設(shè)備和智能家居等場景,提供從產(chǎn)品選型、替代評估、樣品驗(yàn)證到批量交付的一站式連接方案。恒創(chuàng)可支持 Molex、TE Connectivity、JST、Hirose、Samtec 等國際品牌部分系列的國產(chǎn)替代評估。常見替
    HC003 2026-08-07 10:14 269瀏覽
  • 讓微弱脈沖信號更清晰——鎖相放大器集成Boxcar平均器在脈沖激光、泵浦-探測、時間分辨光譜、飛行時間質(zhì)譜等實(shí)驗(yàn)中,真正需要測量的信號往往只出現(xiàn)在一個很短的時間窗口內(nèi),卻被淹沒在遠(yuǎn)大于它的噪聲和背景之中。 針對這類穩(wěn)定重復(fù)的微弱脈沖與瞬態(tài)信號,賽恩科儀為OE2052雙通道數(shù)字鎖相放大器帶來全新的Boxcar Averager功能升級:在鎖相檢測之外,進(jìn)一步提供從周期波形觀察、門控測量到多周期平均的完整數(shù)字Boxcar測量鏈路。 Boxcar平均器,如何從噪聲中“截取”目標(biāo)信號?Boxcar平均器
    SSI_賽恩科儀 2026-08-07 15:49 50259瀏覽
  • 樓宇自控里的“巴別塔”一棟智慧樓宇、一個產(chǎn)業(yè)園區(qū)里,暖通空調(diào)運(yùn)行著廠商私有協(xié)議,照明系統(tǒng)遵循專屬通信標(biāo)準(zhǔn),變配電、門禁安防各成體系——設(shè)備間數(shù)據(jù)壁壘森嚴(yán),上位平臺對接全靠定制化 “翻譯” 開發(fā),不僅成本高企,交付周期也難以管控。這就是樓宇自控行業(yè)多年的痛點(diǎn):協(xié)議林立、封閉林立。而破局的鑰匙,早在30多年前就已經(jīng)寫好了——BACnet。作為ASHRAE制定的樓宇自控國際標(biāo)準(zhǔn)協(xié)議,BACnet是如今全球樓宇自控系統(tǒng)(BAS)互聯(lián)互通的“通用語言”。新風(fēng)機(jī)、冷源群控、變配電、照明、門禁,凡是需要被樓宇
    飛凌嵌入式 2026-08-10 09:26 306瀏覽
  • 做電池供電攝像頭、可視門鈴、戶外安防的同學(xué)應(yīng)該都踩過這個坑:攝像頭要拍,ISP、sensor、無線模塊全得開著,整機(jī)電流動輒幾百 mA。一節(jié) 18650 撐不了幾天,用戶投訴“怎么又沒電了”。有人會說:加個 PIR 人體紅外不就行了?問題是 PIR 怕熱、怕寵物、怕隔著亞克力/玻璃殼,而且只能感知“有溫差的人體移動”,靈敏度飄忽。真正省電的思路應(yīng)該是:讓攝像頭平時徹底睡死,只有“前面有人/有動靜”時才被一鍵喚醒——而負(fù)責(zé)這個“看門”角色的,最合適的是一顆低功耗雷達(dá)。一、為什么是雷達(dá),而不是 PI
    唯創(chuàng)知音語音芯片 2026-08-07 14:44 262瀏覽
我要評論
0
點(diǎn)擊右上角,分享到朋友圈 我知道啦
請使用瀏覽器分享功能 我知道啦
主站蜘蛛池模板: 白宫发言人与记者发生争执| 法国少女农场| 极寒之城免费完整版在线观看| 刑侦12国语免费观看| 《妙手》短剧全集免费观看| 华为见非凡品牌盛典| 金银梅韩国| 我们十七岁| 婶婶韩国| 漂亮的小姨韩剧免费观看完整版 | 辣目洋子跳不要生气舞| 战舰监狱| 周生如故电视剧免费观看西瓜| 酒店1-5集全集免费| 千日的约定电视剧| 为我播放| 女超人麦乐迪无删减免费版| 出狱脱节| 酒店1至5集免费| 重返20岁迅雷下载| 《美丽妻子替夫还债》剧情| 大地5资源在线观看高清国语版| 超级教师3免费版电视剧在| 星球大战系列| 明月照我心电视剧免费观看| 战狼7免费高清版999在线观看视频下载 | 爱上同学妈妈| 海洋之恋番外篇| 迪哥闯世界全集| 巜性的暴行BD中字电影| 唐朝浪漫英雄剧情介绍| 1996年杨敏思版电视剧第三集 | 《maruzzella》完整版在线观看| 女子特警队全集| 军情观察室直播| 做aj的电视剧大全| 维多利亚一号周楚楚| 《品味人生》全集免费看 | 坎贝奇《品味人生无憾》完整版免费在线观看| 蜜桃成熟时李慧珍粤语| 海绵发卷| 人挤人!五一首日故宫游客爆满| 科学的超电磁炮| 三姐妹开诊所意大利满天星| 我们都要好好的在线观看| 余罪第一季全集免费| 《出差遇到前任》全集在线观看| 大胸年轻继坶在线播放| 初尝禁果| 色鬼电影| 用一生爱你| 晋州市| 聊斋先生全集| 郝板栗《千金》免费看 | 朋友的妈妈二| 美国1-7| 斗破苍穹167在线观看| 美国1985g点原版中文| 美景之屋2中国版电视剧| 《无能丈夫》日剧高清版| <办公室蓝色隐身帽子>电影| 新妓生传国语版全集| 《得闲谨制》在线观看| 义姐不良| 高清《房奴试爱》| 永不磨灭电视剧免费西瓜| 无憾电影全集免费观看 | 西西弗斯神话电视剧免费观看| 扒灰漂亮儿媳妇| 《激战丛林》-罗莎·卡拉乔洛免费观| 都是天使惹的祸剧照| 现在我们相爱吗| 酒店1-90集在线观看| 夜班经理 迅雷下载| 好妈妈1| 爱唯侦察高清版哪里看 | 哪吒在线观看| overflower第1集到第8集免费观看| 卧谈会有趣| 新生悬疑剧在线观看| 女超人麦乐迪在线播放| 吴艳妮家庭背景| 佐佐木麻衣| 卖百科全书的人未删减| 台湾街舞| 儿子媳妇中字头| 动漫《落魄贵族琉璃川》免费观看| 全能少女力挽狂澜短剧 | 《替弟还债》免费播放| 星际穿越洛丽塔| 斗罗大陆电视剧第二部| 电影《法国空乘4》免费| 幸福最晴天女主角| 黎明2011红馆演唱会| 不良义姐真人版全集在线观看| 创造营2024在哪里看| 妻子的浪漫旅行第五季| 售楼小姐的秘密韩国电视剧| 贤妻 影音| 甄嬛传71集在线观看| 色降无码| 长相思在线观看| 我外母唔系人粤语| 寒门赘婿全集免费| 歼灭天际线日韩版有中文吗| 游戏风云神曲| 爱我就别想太多免费全集电视剧全 | 麦乐迪女超人满天星版v1.4| 夺命鹰爪功电影| 电影激战丛林无删减版免费看| 731部队电影完整版| 电视剧大家庭在线观看| 雅安市| 小胖的异想天开| 无人观看完整电视剧在线观看| 女战狼10国语版在线播放免费观看 | 美容院特别待遇| 你是我的命中注定全集| 悬崖电视剧在线观看免费完整版| 济公传 郭德纲2013| 无人区在线高清电视剧| 刺客伍六七3玄武国篇| 黑帮少爷爱上我第11集免费观看| 啥事佩奇| 再见李可乐电影在线看免费| 义姐不是| 果果别动队| 南洋十大邪术 电影| 咒怨 白老妇| 爱人 韩国电影快播| 暗藏玄鸡| 死神来了8免费高清播放下载| 密爱2014在线观看| 恩典电影| 韩国好姑娘免费视屏播放| 客从何处来 易中天| 楚剧大全| 涩涩屋观看| 加勒比海盗3电影| 婚礼大作战| 法国女超人麦乐迪满天星版本| 张警官9分11秒| 古灵精探b粤语| 《高压监狱3》法国| 独立日 电影| 美女战争| 初体验5电影免费观看完整版| 有女不愁嫁| 公司新来的女员工| 村上沙兽皇免费版在线观看| 蜘蛛侠3英雄无归在线免费观看| 刺激战场雪地地图| 《金花瓶》免费观看完整版电视剧| 游击兵工厂全集| 玄奘之路纪录片全集免费观看| 一起嗟嗟嗟免费观看30分钟电视剧 | 美国版荷尔蒙| 疾风知劲草下一句| 我的瑜伽女教练完整版| 小公主苏菲亚第四季免费观看| 需要爸爸的种子美国电影播放器电影 | 老公的上司来家里韩国电影| 爱的妇产科4| 跟我走吧| 柔铺团之极宝乐鉴普通话完整版电影百度云盘 | 恶魔的牢笼电影| 天使的契约2罗丽·星克莱尔| 《苍蓝战士奥特曼》免费观看| 驱魔天师| 棒棒TV| 美丽小蜜桃2绝对满天星值得一看| 金金丁字广场舞私人订制| 真白蛇传| 密绝1950| 连丽如东汉演义| 浪卡子县| 一家人不说两家话全集| 性与早餐| 《娜塔莎》电影在线观看| 加勒比海盗女| 《以法之名》全集1_36| 欧美黑白配视频在线免费观看| 电影《捍战2》| 女销售靠睡觉卖房子电视剧叫什么| 崛起之第三帝国| 我的最爱粤语高清| 你好世界樱花在线观看| 日本一卡二卡在线播放| 红鞋子电影| 学生妈妈5字| 降魔的2.0| 战狼6少女版完整版| 五号房仙女屋免费观看电视剧| 全城美女都要嫁给我短剧免费观看 | 速度与激情9在线观看完整版免费| 部长来家做客HD电影| 石家庄园博园地址| 道师爷3电影在线观看完整版| 爱情有点蓝歌曲| 超人迪加国语| 幽游白书在线玩| 善良的小姨子在线播放| 韩剧办公室蓝色隐身帽子动漫| 我的水蜜桃好软水好多| 夏娃的诱惑2| 人猿泰山1995版未删减版电视剧免费观| 好姐妹日本完整观看| 王杰2001香港演唱会| 电影乃雀主演| 哥布林杀手| 命悬一枪电影| 法国空姐2024年免费完整版| 色戒完整未删减版在线观看| 贞观之治演员表全部 | 韩剧看了又看| 大唐女巡案| 耶伦抵京 中美双方握手近20秒 | 范特西强吻奶酪图片| jul-945丈夫不在的三天| 女部长出差的滋味HD| 庆余年第二季免费看全集| 长安的荔枝有电视剧吗| 高清100分钟免费看电影,黑白配中文在线观看 | 人猿泰山1995意大利版| 新醉打金枝优酷| 延禧攻略70集免费播放西瓜 | 海贼王(真人版) 第二季| 巴黎圣母| 美发店的待遇5HD| 旧版包青天| 七尺男儿| 社长夫人的美貌电影免费观看| 进击的巨人oad| 惊变快播| 单身插班生| 按摩三少妇| 实习医生格蕾第七季| 高清《猫之茗》免费全集| 私人航空法国电影完整版在线观看| 青苹果 电影| 嫂嫂三角裤湿湿| 《白衣绳索牙医生》剧情介绍 | 发电俏娇娃在线观看| 精绝古城免费完整版| 特殊美容院待遇3| 真犯 电影| 橘梨纱star 424种子| 法国版《古墓丽影》免费观看| 广州杀人王之人皮日记| 年轻妻子剧情介绍| 长津湖电影完整版免费观看| 神雕侠侣古天乐| 惠州市| 《妓院里的中国姑娘》BD高清高清在线| 缙云县| 爆旋陀螺第一部粤语| 娘家的故事第四部| 《丰满的女学生》| 朋友的妈妈在线免费| 肉蔻之香法国版| 综艺免费观看| 中国女警的一级播放| 女版美国队长满天星免费观看| 太平年1-40集免费观看完整版| 食人神之山在线观看完整版| 特殊保险推销员5| 为爱远嫁终成空短剧免费观看全集 | 《激战丛林》洛可希佛帝在线观看| 随缘太极张三丰| 电影观看免费观看完整版高清| 九门电影| 男女在一起愁愁愁电视剧全完整版 | 午夜电影播放器| 胜利事件牵扯明星| 袁弘刘诗诗吻戏| 律师的堕落| 使徒行者2在线观看| 七月的舞步| 霍元甲电视剧1983老版| 维生素love水香| 外姓兄弟| 暗线电视剧| 女版《壮志凌云》在线观看| 一夜禁爱| 喜爱夜蒲3国语完整版| 高清致命录像带:万圣节| 湖南下了特大暴雪| 混战两姐妹国语版免费观看中文| 铁道游击队| 中国游客在日本遭抢劫被砍伤| 不完美的受害者| 人世间电视剧免费观看| 睫毛膏3| 屠夫网电影免费观看影视大全| 高清《山河月明》45集免费观看| 慢性呕吐实验室原版| 怪兽训练营在线观看| 狼心不轨| 游彩虚村| 久别的草原在线观看免费直播 | 最美的时光第一集| 哇嘎高清完整版免费观看| 新成长的烦恼第2季| 星克莱尔总统夫人电影在线观看| 《唐朝诡事录》在线观看| 以爱为营白鹿主演36集在线观看| 拉娜罗迪斯满天星免费观看| 向幸福出发主持人刘心悦| 《太平年》免费观看| 电影《牙医姐妹》完整版| 深圳华强北手机批发| 纯白交响曲h| 七时吉祥电视剧免费观看| 凌云志志(法国)满天星在线看 | 高清《慕尼黑》| 《妽妽的丰满大胸》| 妹妹在线观看| 为何新增病例越来越多?上海回应 | 老公的私房钱电视剧剧情免费观看| 电视剧重生之门免费观看完整版| 三年成全免费高清在线观看国语| 《嫌疑人x的献身》| 扶余县| 玫瑰骑士电视剧免费观看完整版| 山村姑娘| 律政俏佳人电视剧在线观看免费| 好事成双电视剧免费观看全集| 富婆的秘密免费观看电视剧 | 善良的麦子| 七月的舞步| 青春珊瑚岛| 九天玄帝诀| 贝拉1980电影| 妈咪直播打扑克| 《和妽妽的关系》HD| 大象传谋| 缘分天空动漫在线观看第二季| 韩剧《隐身帽子》| 喜爱夜蒲dvd| 爱欲韩国电影| 青河绝恋电视剧| 《在姨母家的客厅》中字易易亲| 古惑仔在线观看| 速度与激情9在线观看免费完整版| 和讨厌的部长出差旅| 麦香电视剧剧情介绍| 秦岚八卦| 吴艳妮回应造谣者被拘留| 《血恋3之血河重生》 | 一龙一猪| 电视剧海上繁花免费观看| 跟表哥发生了不该发生的事| 富婆的秘密免费观看电视剧 | 医院特殊待遇5中文版免费阅读| 美国式禁忌19| 精灵梦叶罗丽第十季免费观看完整版| 人猿泰山意大利版| 你好杀人犯| 冷血人狼完整版| 爱情不设限第一季无删减版在哪看| 金银梅5一10日语| 绽放的许开心在线观看免费完整版| 无忧渡电视剧在线观看全集| 特殊游泳教练在线观看整板| 浪漫医生金实福| 《欢乐颂》2免费观看| 色欲情狂| 外卖员的特殊待遇在线观看| 黑帮大佬365日| 滑稽时代国语高清| 傻王闯天下全集| 满天星女军医| 隐藏大佬:外卖小哥全集免费| 19岁大学生电视剧| 正月十六的讲究| 女版斯巴达在线观看| 《子夜归》38集完整版资源 | 碧血盐枭粤语| 釜山行2在哪里可以看| 阿宾房东太太| 电视剧绝对权力| 甜蜜惩罚完整版| 地下交通站第三部| 漂亮的瘦子3大结局| 热力公司怼居民称凭啥给你热下去| 追龙 粤语| 舔B拨弄深入抽插上司| 《女兵俘虏营》越南版在线看| 暮光之城2:新月| 沙漠神枪| 白峰电影全集免费看| 爱情公寓第3| 千斤百分百| 玉观音27集完整版免费| 大象的眼泪 电影| 侯玉洁牧师讲道视频| 第一点血2| 幸福触手可及百度百科| 法国空乘5免费高清原声满天星美版百度| 21世纪性格爱情指南全8集中文 | 完美世界全集在线观看| 三宫椿主演的电影最高的爱人| 霹雳布袋戏刀龙传说| 盖世帝尊动漫在线观看完整版免费| 49ai| 勇者无惧剧情介绍| 电影网站在线| 《家访老师》在线观看吴梦梦| 大学生女学生HD | 哈儿司令| 铁石心肠泰语版电视剧| 武汉市| 锵锵锵锵观看在线观看电视剧| 破密 电视剧| 僵尸新娘| 女版战狼6免费观看高清下载| 《奇怪的美容院2》的完整演员表| liumyanyuji| 火口的两人完整版视频观看| 《义子侵犯》寺岛志保| 美女出丑| 乌海电影在线观看完整版免费| 笑傲江湖29| 战狼6免费高清| 苏小小电视剧| 小姐韩国免费观看完整版电影| 石首市| 邪恶游戏| 姐姐立正向前走| 刘秀电视剧全50集| 手机电影在线播放| 战狼6免费播放观看在线视频| 北京遇上西雅图海清| 她的潮汐| 邪恶教师| 别墅换妻| 三十极夜2:黑暗的日子| 外出免费观看| 田耕纪电视剧免费观看完整版| xl司令动漫第一季全集在线观看免费播放| 动感之星蓉儿| 画皮之阴阳法王完整版免费观看| 我的女邻居秘密在线观看| 《可疑诊疗室:美容院待遇》5| 通灵日记| 山城的灯光战胜了火光| 一生守护电视剧全集百度影音| 满天星版《荣誉守则》在线 | 宛如我心| 姐妹牙医电影在线| 喜爱夜蒲国语版高清| 我是特种兵之利刃出鞘片尾曲| 大梦归离电视剧免费观看全集高清| 电视剧海天之恋| 车致| 韩剧爱情是什么| 铠甲勇士1部全集| 湛江市| 恋语轻唱动漫免费观看完整版| 一世好命| 蜀中桃子姐| 肉蔻之香无删减版在线观看完整版| 高清《热爱》电影完整版| 棋魂第二部| 地下室骑马| 极度兽性在线观看| 仙帝弃少:凡人皆俯首全集免费| 蛇姬恋》| 永乐大帝电视剧全集免费观看| 庆余年第二季免费完整版| 《轮到妹妹》韩剧在线看| 两个人的BD高清在线观看免费韩国 | 台风烟花已上岸 即将登陆| 楼上女邻居电视剧全集| 相反的你和我全集观看| 千年僵尸王国语版高清| 台湾《电影小凤新婚下》| 火线警告第一季| 驯龙高手1电影免费观看| 大笑江湖电影优酷| 不良义姐在线播放| 斗气冤家好兄弟第二部| 矿桥第8集体检超棒| 高清盐沼之下| 摩登原始人1994满天星版| 冠军勋章怎么用| 美国的忌讳4中字| 黑雀特工免费观看完整版| 私人女性监狱免费观看地址| 择天记第三季| 神勇双响炮国语| 白色月光电视剧免费观看| 赤板栗电影完整版| 刘伯温传奇电视剧| 思春期1~4集动漫无删减| 1995版人猿泰山意大利版本| 恶魔少爷别吻我第二季| 张警官三部曲高清免费播放| 楼下女友请签收在线观看免费| 韩剧我的野蛮王妃| 电影《卖房的销售》| 鬼灭之刃游郭篇在线观看| 江南平寇记| 厚颜无耻韩国动漫观看免费| 19岁大学生免费观看视频| 走向妇产科之路电影| 天若有情 刘德华| 好想做一次大结局在线观看| 弟债妻还真人版| 《苍蓝战士奥特曼》免费观看| 给我完整版在线观看| 圣经创世纪| 欧美《壮志凌云:满天星》| 海底两万米| 王者好气啊| 深海之惊蛰| 小小水蜜6电视剧免费观看高清 | 灵蛇爱国语版| 法网柔情剧情| 女超人麦迪斯| 姨妈的诱惑电影| 新金瓶梅下百度影音| 妻子的姐姐在线| 《不忠》原版未删减| 三年全成全在线播放免费观看 | 功夫熊猫3中英双字幕| 妹妹皇后| 宇将军被磊真实| 我 机器人| 按摩师被弄到高潮A片| 巜公妇之诱感肉欲HD在线播放| 《缘来天注定》泰剧| 《新金莲外传》在线观看| 高考结束儿子表白妈妈| 白石茉莉| 电视剧今生有你全集免费观看| 老婆出差接待傲慢客户| 非诚勿扰20140118| 小姬无人宠| 环翠峪门票| 《睫毛膏4》美国电影| 58天完整版免费观看| 致命录像带:万圣节| 婚姻保卫战电视剧1| 温暖的村庄电视剧全集在线观看| 燃烧的夜晚| 日本战狼8免费播放视频大全| 余波电影在线观看视频完整版高清| 极限挑战大电影下载| 锵锵锵锵锵锵锵免费观看完整版大全 | 女超人麦乐迪免费浏览观看完整版网站| 七侠五义人间道在线观看| 日本年轻的继拇3| 毛驴县令之一奶同胞| 电影长津湖完整版播放| 堕落的律师电影完整版剧情| 变身动漫| 新版寒冰出装| 哈尔滨爆火官方坦言已准备一年| 八戒网剧8免费观看播放| 《驯服小峓子》中字板在线观看| 高清《黎明之前》| 沙漠女王1983意大利| 超小厨美食| 罗丽星克莱尔123全集| 坠落的审判电影| 宝丽金20周年演唱会| 一次邂逅| 新闻女王电视剧在线观看免费| 《男按摩师做乳房按摩》在线观看视| 伪名媛混圈法则| 爱情雨国语版全集| c字裤内衣秀全透明| 宁夏卫视节目表| 激战从林h版在线播放| 迪迦奥特曼第52集| 3d肉脯团高清完整版| 难得一身好本领| 《办公室的故事》| 交换的一天2韩国中汉字普通话 | 箭在弦上徐二航| DTF圣路易日记未删减| 女大学生兼职| 垂帘听政电影| 哇嘎电影高清完整版免费看| 聊斋之花弄月| 中原镖局之天地英豪| 少女情怀免费播放| 綦江县| 隔壁邻居很美味日本伦理在线观看免费高清 | 赈灾晚会| 幽灵公主高清| 卖百科全书的女人在线观看| 桃花映江山免费观看全集| 厚颜无耻无删减版| 新世界电视剧| 一起愁愁愁在线观看免费高清| 安拉拉斋电影在线观看免费播放| 疯狂的石头免费观看完整版电影| 百万人推理| 长相依原唱| 村上沙兽皇电影2| 改运转运第一人:风水之王短剧全集| 金瓶梅完整版百度影音| 快乐星球第5部| 叶罗丽精灵梦第二季全集| 电影替夫还债3免费观看全集高清版| 年轻的母亲1在完整有限中字| 世缘之舟泰剧在线观看| 布兰迪《不正当军事行为》| 桓楚 余英| 憨豆先生的大灾难 电影| 新金银1-5普通话免费播放| 错点鸳鸯| 新媳妇的美好时代| 部长出差电影| 林师父在首尔| 春色寄情人电视剧全部免费版| 高清留存的爱未删减| 高清《猎杀之后》电影| 爱我几何莫妮卡完整版在线播放| 天国的阶梯中文版| 无颜之月1~5集无删减观看策驰 | 电视剧《寻路》| 毒液3免费观看完整版高清中文版| 锵锵免费完整观看免费| 刻舟求剑免费| 青青娱乐| 回家顺子| 邻家特工国语版高清百度影音| 《高庄监狱》免费观看| 百妖谱5什么时候出| 全南县| 袖珍妈妈电视剧全集| 非洲姑娘高清播放| 寒战2免费| 工地上的女人免费观看电视剧| 华丽上班族粤语| 余生有涯在线观看免费全集| 多田有花义母的写作背景和背景介绍| 一拳超人最强之男觉醒| 朝鲜金雪美| 男女愁愁愁愁免费看| 炫迪传奇全集播放| 棺山古墓免费观看| 三姐妹瑜伽健身西班牙| 东京猫猫全集| my盛lady电视剧| 魔人扎克| 成人糗百| 刺客567| 无限挑战110716| 电影《千金女神》郝板丽| 罗丽星克莱尔作品在线播放| 莲花楼电视剧40集播放| 印度合伙人| 卓帕卡布拉| 美国伦理蜜桃4| 三年中国国语免费观看中文版下载-百度电影高清电影在线-B032AV | 欢乐喜剧人 第三季| 《马上天下》电视剧| 韩国金牌销售完整版| 封神英雄榜2第二部| 电视剧红高粱九儿被上第几集| 使徒行者2粤语在线观看| 郑州奥斯卡影城| 战狼9加拿大版高清版 | 全面追缉令| 央金兰泽最新歌曲| 《女警察坠落2》| 天海翼在线观看视频| 少女免费观看完整电视剧| 赘婿在线观看完整版| 河南法治频道在线直播7:50| 厨房的激情| 金银悔1-5HD国语全集免费| 赛尔号大电影下载| 电视剧幸福的眼泪| 表妹韩剧免费观看全集高清版韩剧| 《棘手狂情》电影| 公媳韩国| 高清辣妈辣妹2| 陆弃娘传短剧全集免费观看高清| 狂飙电影免费观看完整版| 年辖:市辖区| 《法国空乘6》免费| 埃及与长赐号船东达成和解| 下众的爱| 行尸走肉第二季第二集| 色即是空第一部| 日本电影混血精油按摩| 追光者40集全免费| 命定之爱电视剧| 捉妖战记| 凤山市| 裙子里面有怪兽| 火域凤凰| 销售的销售秘密3HD中字| 十二使者全集免费播放| 高清《房奴试爱》| 杀手保镖| 东京复仇者动漫第二季在线观看| 金银瓶1-5集免费观看第9季| 黑龙江尚志九江村整村失联| 一战再战全集观看| 光荣时代| 战狼16欧式少女版资源百度云| 《何以渡清欢》短剧免费播放 | 谈情说案电视剧全集| 大头儿子| 金瓶双艳百度影音| 长风渡电视剧40集免费观看高清| 杨思敏1一5集手机版| 超级玛丽电影| 97电视剧在线播放免费观看| 柳舟记 电视剧| 大清十二刑| 南皮县| 水润女人全免费高清电视剧免费观看 | w5w5 cc| 为啥是我得癌症| 霍比特人主题曲| melody makes《女超人》免费播放 | 《交换别人的麦子3》的剧情简介是什| 你是迟来的欢喜电视剧免费观看| 潘金莲之前生后世| 猪哥亮访问秀| 功夫熊猫盖世传奇第二季| 需要爸爸播种在线观看免费| 小时代折纸时代电影| 左右不逢源第二季| 与黑帮大佬的365日| 狂飙电视剧40集在线观看免费播放| 部长出差的日子在线| 法国女版顶级飞行员哪里看| 高清《禁忌的恋爱关系》在线播放| 后院露营| 和女邻居做爰2在线观看| 狂飙免费播放| 《屠宰森林》| 都市风水师全集| 东北二人转魏三全集| 张雪峰建议大学举行入学考| 电影《少爷与女佣》完整版| 爱你几何在线观看| 麦乐迪马克思女超人在线观看完整免费高清原声满天星百 | 《女兵俘虏营》越南版在线看| 虐爱电视剧| 《暮光之城4:破晓(下)》| 少女的5| 韩剧《鬼宫》全集免费| 《法国护士长》伦理| 玉琳国师之再世情缘| 奥尔多占星者| 龙珠国语版| 斗罗大陆动漫在线观看免费| 美女搜查官| 奇妙发型屋免费完整版| 电影《逆罪》免费观看| 美国大选11月5日宣布结果| 韩剧《大力女子都奉顺》| 新热血高校| 浪漫女家教电影在线观看全集| 激情的从林| 万古狂帝| 悄悄地喜欢你免费观看| 电影 昨天| 韩剧玻璃之城国语版| 21世纪爱情性格指南全| 牙医赤子板栗完整版在线观看| 海天盛筵haobc| 唐人街探案3枪版资源在线观看| 叛逆者免费| 插曲的痛30集全免费观看第二部| 女侓师的堕落在线观看| 情迷六月花 电影| 有情饮水饱国语版| 大地5资源在线观看高清国语版| 瞒天过海:美人计| 满天星爱丽丝梦游辣境| 电影《意》在线观看| 怨妇2电影免费中文字幕看完整版| 电视剧神话免费观看完整版| 顺义地震| 墨水心下载| 和讨厌的前男友一起出差电影| 地心引力豆瓣| 威卡兰特的日记| 灵异侦缉档案2国语| 十二猴子第一季| xl司令免费全集观看| 淫方程式1~2集在线观看| 曰批视频免费40分钟试看| 《恋恋红尘》电视剧| 《欲乱上班族》在线观看| 马腾你别走电影完整版在线观看| 爱丫爱丫免费国语高清在线看| 双人按摩调情术免费观看完整版| 侵略!乌贼娘| 年轻善良的子3| 从结婚开始恋爱电视剧免费| 珠帘玉幕46集全免费| 公肉奉公HD中字| 坎贝奇《品味人生》在线播放| 《李瓶儿之真爱无悔》全集播放 | 《有翡》全集在线观看| 火龟怎么抓| 猎狼者 电视剧| 近代国士| 好雨时节在线观看| 《送醉酒同学回家》| 女子护卫队满天星1973剧情解析| 犬夜叉完结篇全集国语版| 教授和他的女大学生| 粉红顽皮豹图片| 阿尔涅的事件簿全集观看| 电影无憾坎贝奇完整版| 李采潭外遇的妻子| 妹妹情人| 觉醒年代免费观看| 猎屠电影在线| 婚礼大作战| (丰满的继牳2)理伦片在线观看| 《伯爵夫人和园丁| 动漫《我的妈妈》泰语第二集| 青春草视频在线观看| 法政先锋第三部粤语| 天堂中文在线资源库用| xl司令动漫第一季无马全集在线观看完整版| 鲜花盛开的村庄电视剧| 拆弹专家2完整版播放网站| 艳姆动漫第6集免费| 韩剧富翁的诞生| 来宾市| 天海翼女教师在线观看| 乡村爱情5| 绝命任务| 《插曲30分钟在线观看》| 中国刑警电视剧| 《神奇女侠》免费观看| cekc1| 电视剧蛮好的人生免费观看全集高清 | 宁安如梦剧免费观看策驰| 台剧浪漫女家教在线观看全集| 周天 空竹| 46集电视连续剧情满四合院| 善良的妈妈9中字开头7个字| 台北女子图鉴演员表| 乡村小老板:致富带全村全集免费| 暖暖 在线观看 免费| 日本战狼20免费播放最新一期|