GOTC2023基于CSA的車規(guī)安全檢測工具-zchecker OpenSDV 軟件定義汽車專場

全球開源技術(shù)峰會伍華林2023年05月28日全球開源技術(shù)峰會Source:ARKInvestmentManagementLLC,“AlandOpenAl,https://arkinv.兆松科技-軟硬件協(xié)同設(shè)計服務(wù)提供商及硬件系統(tǒng)設(shè)計RTL設(shè)計與仿真軟硬件協(xié)同設(shè)計流程軟硬件協(xié)同設(shè)計流程&虛擬開發(fā)板&虛擬開發(fā)板NN次調(diào)整系統(tǒng)驗證深藍(lán)色為兆松工深藍(lán)色為兆松工具覆蓋階段硬件后端設(shè)計全球開源技術(shù)峰會2-6Projectdependentsafetym5-8EvaluationofthehardwareofISO262628-16Integrationofsafety9-7Analysisofdependentfal6.gSoftwareLinitverifem5-6Specifcationofha8-5Interfaceswithin8-6Specificationandma8-7Configuration8-10Documentationmana8-11Confidenceintheus8-12Qualiicationofsoftwarecomponents8-13Evaluationofhardwareelements9-5RequirementsdecompositonwithrespecttoASIltalloring2-7Safetymanagementregardingproduction,operation,servicean7.Production.operaton.全球開源技術(shù)峰會THEGLOBALOPENSOURCETECHNOLOGYCONFERtesting6-11Testingofthe7ASIL-DComplianceSoftwareEnabler-zchecker喜THEGLOBALOPENSOURCETECHNOLOGYCONFERAbstract全球開源技術(shù)峰會AST:HowCompilerSeesYourCodel23456789}3FunctionDeclθx7fa24b079c20FunctionDeclθx7fa24b079c20foo'int(int)’l-ForStmt0x7fa24b079ee8<line:4:3,line:6:3>0<col:23>'int'lvalue<col:23>'int'lvalue-Compoundstmt0x7fa24b079ed0<col:31,line:6:3><line:5:5,col:10>'int''+='ComputeLHSTy='int'FunctionDecl0x7fd4e30b15FunctionDecl0x7fd4e30b15`-VarDec10x7fd4e30b16d8<col:3,col:12>col:12usedy`-ImplicitCastExpr0x7fd>t':'unsignedint'<IntegralCast>0x7fd4e30b17b0<col:10>'in0x7fd4e30b1758<col:10>'uint16_t'0x7fd4e30b1778<col:14>'uint16_short'<LValueToRValue>short'lvalueVar0x7fd4e30b16d8'y''uint16_t':'unsignedshort'short'<LValueToRValue>short'lvalueParmVar0x7fd4e30b14e8'x''uint16_t':'unsigneds`-VarDeclaxZfd4e30b16d8<col:3,c`-ImplicitCastExpr0x7fd4e30b1798<col:10>'uint16_t':'unsigned`-DeclRefExpr0x7fd4e30b1758<col:10>'uint16_t':'unsignedshort'lvalueVar0x7-ImplicitCastExpr0x7fd4e30b17`-ImplicitcastExpr0x7fd4e30b17c8<col:14>'uint16_t':'unsigned`-DeclRefExpr0x7fd4e30b1778<col:14>'uint16_t':'unsignedshort'lvalueParmVar0x75X+y4Xy2121個