Novel Control Flow Checking Implementations for Automotive Software

2023 19th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD) Pub Date : 2023-07-03 DOI:10.1109/SMACD58065.2023.10192166

Francesco Cosimi, J. Sini, Antonio Arena, M. Violante

{"title":"Novel Control Flow Checking Implementations for Automotive Software","authors":"Francesco Cosimi, J. Sini, Antonio Arena, M. Violante","doi":"10.1109/SMACD58065.2023.10192166","DOIUrl":null,"url":null,"abstract":"Safety-critical applications shall be implemented on highly dependable systems, and a part of their reliability is based on checking if the software is executed correctly. Various techniques are available for this purpose, like Control Flow Checking (CFC). Many CFC algorithms can be found in the literature, but their detection performances are assessed in theoretical scenarios, when implemented in Assembly language. The international standard on functional safety for automotive applications is ISO26262. It mandates to develop using high-level programming languages and the computation of the Diagnostic Coverage (DC). The DC measures the effectiveness of the chosen hardening method, in order to detect various Failure Modes (FMs). This paper discusses two alternative solutions, one software-only, and the other involving customized hardware, for these concerns: (i) address the FMs affecting the computation units described by Table 30 of part 11 of the ISO26262 (ii) guarantee the Freedom From Interference between the hardening method and the monitored entity.","PeriodicalId":239306,"journal":{"name":"2023 19th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2023-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2023 19th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SMACD58065.2023.10192166","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

Abstract

Safety-critical applications shall be implemented on highly dependable systems, and a part of their reliability is based on checking if the software is executed correctly. Various techniques are available for this purpose, like Control Flow Checking (CFC). Many CFC algorithms can be found in the literature, but their detection performances are assessed in theoretical scenarios, when implemented in Assembly language. The international standard on functional safety for automotive applications is ISO26262. It mandates to develop using high-level programming languages and the computation of the Diagnostic Coverage (DC). The DC measures the effectiveness of the chosen hardening method, in order to detect various Failure Modes (FMs). This paper discusses two alternative solutions, one software-only, and the other involving customized hardware, for these concerns: (i) address the FMs affecting the computation units described by Table 30 of part 11 of the ISO26262 (ii) guarantee the Freedom From Interference between the hardening method and the monitored entity.

查看原文本刊更多论文

汽车软件控制流检测的新方法

安全关键型应用程序必须在高度可靠的系统上实现，其可靠性的一部分是基于检查软件是否正确执行。有多种技术可用于此目的，如控制流检查(CFC)。在文献中可以找到许多CFC算法，但它们的检测性能是在理论场景中评估的，当用汇编语言实现时。汽车应用功能安全的国际标准是ISO26262。它要求使用高级编程语言进行开发，并计算诊断覆盖率(DC)。直流测量所选硬化方法的有效性，以检测各种失效模式(FMs)。针对这些问题，本文讨论了两种替代解决方案，一种是纯软件解决方案，另一种是涉及定制硬件的解决方案:(i)解决影响ISO26262第11部分表30所述计算单元的fm问题(ii)保证加固方法和被监控实体之间不受干扰。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

2023 19th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD)

自引率

0.00%

发文量