功能安全之AUTOSAR Timing的保护机制

汽车ECU开发 2021-10-17 10:18

01


前言

功能安全(Functional Safety)是一项系统特性,由于基于功能安全的设计会影响到系统设计,所以从系统开发初始阶段就要进行考虑。由于软件的复杂度会影响 到功能安全的设计,所以在AUTOSAR规范中,包含了部分与功能安全相关的需求,这些新技术和概念能够帮助降低功能安全相关组件的复杂度。不过需要强调的是,AUTOSAR虽然通过提供安全措施和机制来支持基于功能安全产品开发,但这些独立的安全措施(Safety Measure)并不能形成整体的安全解决方案。

在功能安全标准(ISO 26262 2018, Part 6)中,提到了要避免软件相关元素之间干扰(Freedom from Interference between software elements)。软件之间的相互干扰主要集中在软件的执行时间(Timing),软件间的死锁(Dead locks,Live locks),内存使用(Memory),信息交换(Information Exchange)。

本文主要介绍一下AUTOSAR规范中对于软件执行时间的保护措施


02


失效模式介绍

软件的执行时间是嵌入式产品一项非常重要的属性。安全(Safety)的行为需要系统能够在正确的时机响应外部触发。正确的时机可以描述为一系列对于响应时间的限制条件。但即使基于AUTOSAR的软件,也无法由软件自身来保障正确响应时间,这依赖于合理的使用AUTOSAR RTE和BSW组件。在集成过程中,需要保障对AUTOSAR软件的执行时间限制。

在ISO 26262中与软件执行时间相关的失效模式有如下几种:

    阻塞执行(Block of Execution)

    死锁(Dead Locks)

    活锁(Live Locks)

    不正确的执行时间分配(Incorrect allocation of execution time)

    软件组件间的错误同步(Incorrect synchronization between software elements)


时间保护与监控可以描述为监控如下的软件属性:监控任务是否在指定时间内进行了分配,任务是否在其时间预算内正确执行,是否存在大量占用系统资源的情况。为了保障功能安全相关的功能满足这些时间限制条件,任务(Task)对于CPU资源的使用情况需要进行监控。


03


Timing的保护机制介绍

AUTOSAR系统中,提供了如下2种执行时间保护机制:

基于AUTOSAR操作系统的执行时间保护机制,包括执行时间保护、阻塞时间保护和间隔时间保护;

基于Watchdog Manager的程序流监护机制,包括心跳检测、Deadline检测和执行逻辑检测。

1 监管对象(Supervised Entities)


监管对象是指由Watchdog Manager监管的在ECU运行的一系列应用软件。这些应用软件之间(包括和AUTOSAR组件之间),不需要存在特定的架构上的联系。典型的监管对象可以是SWC, CDD, BSW Module,完全取决于应用开发人员的需求。监管的要点在于监管对象中存在的一系列检查点,监管对象的代码和检查点的代码一般的交错在一起的,检查点用于触发针对Watchdog Manager的函数调用。

2 Watchdog Manager


Watchdog Manager是AUTOSAR BSW中的组件。Watchdog Manager负责触发真实的Watchdog硬件,用于监控软件的执行。一旦针对预定的执行时间或执行逻辑的异常发生,则会触发一系列预先设置恢复措施(如,重启)。

基于Watchdog Manager的监控措施有几种:

心跳监控 周期性运行的监管对象对于执行的频率有限定性要求。Watchdog Manager通过周期性的检查监管对象触发的检查点,可以监控监管对象是否存在执行频率过高或者过低的问题

Deadline监控 非周期性运行的监管对象,在检查点之间,具有独立的执行逻辑限制。通过Deadline监控,Watchdog Manager检查2个检查点之间的执行时间是否在允许的范围内

3 基于操作系统的执行时间保护


在实时系统中(Real-time),时间故障经常发生在任务或者中断没能在指定的时间内触发。AUTOSAR OS不提供基于Deadline监控的执行时间保护机制,主要是违反Deadline监控的原因通常是由于其它一些非相关的任务或者中断的执行(这里可以参考AUTOSAR OS的规范)。

在一个抢占式的系统中,任务或者中断能否达成Deadline的限定取决以下几个方面:

    任务或者中断的执行时间

    任务或者中断被低优先级任务的阻塞时间

    任务或者中断执行的间隔


为了达到安全和精确执行时间保护,操作系统要能够实时控制这些可能的因素,来确保任务和中断能够达成Deadline的限制条件。

AUTOSAR OS提供基于如下措施:

执行时间保护(Execution Time Protection) 针对任务及CAT2的中断,系统设置了执行时间的预算(Execution Budget),OS通过监控执行情况,可以阻止相关的执行时间错误

加锁时间保护(Locking Time Protection) 针对资源加锁的时间,中断的加锁和挂起时间设置上限,也由OS进行监控.

间隔时间保护(Inter-Arrival Time Protection) 针对任务触发时间和CAT2中断间隔时间设置最小间隔,由OS进行监控并保护。


04


检测和应对机制

Watchdog Manager提供了3种用于程序执行时间和逻辑的监控机制。这些机制需要事先经过静态配置,另外,多个监控机制可以同时部署。

基于任一机制的检测结果,针对特定监管对象的状态可以被计算出来(通常以计数器的形式表示,称为Local Status)。当所有的监管对象的状态计算完毕,则整个ECU的全局状态也就确定了。

基于这些监管对象的状态和ECU的全局状态,Watchdog Manager使用几种安全机制来恢复异常的监控状态,包括针恢复单个监控对象的状态到Reset整个ECU:

 监控对象内部的错误处理(Error Handling in the Supervised Entity)

如果被监控的对象是Swc或者Cdd,Watchdog Manager可以通过RTE的状态(Mode)机制通知监控对象,监控对象可以通过预定义的动作恢复正常状态。

Watchdog Manager也可以注册回调到Dem中,这样恢复的动作也可以为Dem触发。

关闭分区(Partition Shutdown)

如果Watchdog Manager检测到出错的监测对象位于non-trusted分区中,Watchdog Manager可以通过BswM关闭这个non-trusted分区。

通过Watchdog硬件重启ECU (Reset by Hardware Watchdog)

Watchdog Manager停止通过Watchdog Interface更新Watchdog硬件,在超时之后,Watchdog硬件重启ECU或者MCU,则包括软件和硬件在内的都会被重新初始化。

ECU立即重启(Immediate MCU Reset)

如果判断需要执行全局的立即重启,Watchdog Manager可以直接触发MCU重启的动作。MCU重启可以重新初始化MCU内部的硬件和软件,但外部硬件不执行初始化动作。


05


限制条件

AUTOSAR提供的保护机制中有如下的限制:

检查点的粒度不固定,但检查点的粒度过粗会影响Watchdog Manager的检测能力。例如一个Swc只有一个检查点的情况下,Watchdog Manager只能监控到Swc内的Runnable在执行,以及是否满足限定的时间的要求;如果在Swc内部Runnable的每个代码段或分支中,都有相应的检查点,则可以监控Runnable控制流是否有问题。不过,细粒度的检查点可能会导致针对Watchdog Manager的配置变得十分复杂难以维护

基于Deadline的监护有个弱点,即只能检测到特定的任务是否存在Delay(一次执行时,最后一个检查点被执行到),但不能检测到超时(如,检查点根本没被执行)

不支持嵌套的Deadline检测

基于心跳的检测一般只使用一个检测点,多于一个的情况在AUTOSAR规范中并未指定

在重启一个AUTOSAR分区时,分区内的其它监管对象也要进行相应的动作

以Library形式组入的组件不能调用BSW的接口,所以Library不能监控,但可以使用Deadline监控,因为Deadline的检查点可以在执行完Library接口后调用。


推荐阅读

大众ID.4X的ECU接口梳理

浅析J1939协议 |附下载

大众ID.4 X网络架构详解

汽车芯片为什么会出现短缺?

学习笔记——NVM数据处理机制

学习笔记——AUTOSAR NVM基础知识

浅析特斯拉Model 3的热管理策略

基于UDS的Bootloder详解

关于整车上下电流程的理解

一文详解奥迪e-tron内部系统 |附下载

ID.3 和大众的电气化平台 |附下载

一文详解CAN总线错误帧|附下载

DoIP协议介绍,资料分享!

详解车载网络 OTA系统的开发|文末附下载

一文了解汽车嵌入式AUTOSAR架构|附下载

特斯拉Autopilot系统安全研究|附dbc下载

分享不易,恳请点个【在看】
汽车ECU开发 专注于汽车电子ECU软件开发,技术分享。
评论
  • 数字隔离芯片是一种实现电气隔离功能的集成电路,在工业自动化、汽车电子、光伏储能与电力通信等领域的电气系统中发挥着至关重要的作用。其不仅可令高、低压系统之间相互独立,提高低压系统的抗干扰能力,同时还可确保高、低压系统之间的安全交互,使系统稳定工作,并避免操作者遭受来自高压系统的电击伤害。典型数字隔离芯片的简化原理图值得一提的是,数字隔离芯片历经多年发展,其应用范围已十分广泛,凡涉及到在高、低压系统之间进行信号传输的场景中基本都需要应用到此种芯片。那么,电气工程师在进行电路设计时到底该如何评估选择一
    华普微HOPERF 2025-01-20 16:50 70浏览
  • 嘿,咱来聊聊RISC-V MCU技术哈。 这RISC-V MCU技术呢,简单来说就是基于一个叫RISC-V的指令集架构做出的微控制器技术。RISC-V这个啊,2010年的时候,是加州大学伯克利分校的研究团队弄出来的,目的就是想搞个新的、开放的指令集架构,能跟上现代计算的需要。到了2015年,专门成立了个RISC-V基金会,让这个架构更标准,也更好地推广开了。这几年啊,这个RISC-V的生态系统发展得可快了,好多公司和机构都加入了RISC-V International,还推出了不少RISC-V
    丙丁先生 2025-01-21 12:10 100浏览
  • 本文介绍瑞芯微开发板/主板Android配置APK默认开启性能模式方法,开启性能模式后,APK的CPU使用优先级会有所提高。触觉智能RK3562开发板演示,搭载4核A53处理器,主频高达2.0GHz;内置独立1Tops算力NPU,可应用于物联网网关、平板电脑、智能家居、教育电子、工业显示与控制等行业。源码修改修改源码根目录下文件device/rockchip/rk3562/package_performance.xml并添加以下内容,注意"+"号为添加内容,"com.tencent.mm"为AP
    Industio_触觉智能 2025-01-17 14:09 159浏览
  • 现在为止,我们已经完成了Purple Pi OH主板的串口调试和部分配件的连接,接下来,让我们趁热打铁,完成剩余配件的连接!注:配件连接前请断开主板所有供电,避免敏感电路损坏!1.1 耳机接口主板有一路OTMP 标准四节耳机座J6,具备进行音频输出及录音功能,接入耳机后声音将优先从耳机输出,如下图所示:1.21.2 相机接口MIPI CSI 接口如上图所示,支持OV5648 和OV8858 摄像头模组。接入摄像头模组后,使用系统相机软件打开相机拍照和录像,如下图所示:1.3 以太网接口主板有一路
    Industio_触觉智能 2025-01-20 11:04 141浏览
  •     IPC-2581是基于ODB++标准、结合PCB行业特点而指定的PCB加工文件规范。    IPC-2581旨在替代CAM350格式,成为PCB加工行业的新的工业规范。    有一些免费软件,可以查看(不可修改)IPC-2581数据文件。这些软件典型用途是工艺校核。    1. Vu2581        出品:Downstream     
    电子知识打边炉 2025-01-22 11:12 35浏览
  • Ubuntu20.04默认情况下为root账号自动登录,本文介绍如何取消root账号自动登录,改为通过输入账号密码登录,使用触觉智能EVB3568鸿蒙开发板演示,搭载瑞芯微RK3568,四核A55处理器,主频2.0Ghz,1T算力NPU;支持OpenHarmony5.0及Linux、Android等操作系统,接口丰富,开发评估快人一步!添加新账号1、使用adduser命令来添加新用户,用户名以industio为例,系统会提示设置密码以及其他信息,您可以根据需要填写或跳过,命令如下:root@id
    Industio_触觉智能 2025-01-17 14:14 118浏览
  •  光伏及击穿,都可视之为 复合的逆过程,但是,复合、光伏与击穿,不单是进程的方向相反,偏置状态也不一样,复合的工况,是正偏,光伏是零偏,击穿与漂移则是反偏,光伏的能源是外来的,而击穿消耗的是结区自身和电源的能量,漂移的载流子是 客席载流子,须借外延层才能引入,客席载流子 不受反偏PN结的空乏区阻碍,能漂不能漂,只取决于反偏PN结是否处于外延层的「射程」范围,而穿通的成因,则是因耗尽层的过度扩张,致使跟 端子、外延层或其他空乏区 碰触,当耗尽层融通,耐压 (反向阻断能力) 即告彻底丧失,
    MrCU204 2025-01-17 11:30 176浏览
  • 2024年是很平淡的一年,能保住饭碗就是万幸了,公司业绩不好,跳槽又不敢跳,还有一个原因就是老板对我们这些员工还是很好的,碍于人情也不能在公司困难时去雪上加霜。在工作其间遇到的大问题没有,小问题还是有不少,这里就举一两个来说一下。第一个就是,先看下下面的这个封装,你能猜出它的引脚间距是多少吗?这种排线座比较常规的是0.6mm间距(即排线是0.3mm间距)的,而这个规格也是我们用得最多的,所以我们按惯性思维来看的话,就会认为这个座子就是0.6mm间距的,这样往往就不会去细看规格书了,所以这次的运气
    wuliangu 2025-01-21 00:15 153浏览
  •  万万没想到!科幻电影中的人形机器人,正在一步步走进我们人类的日常生活中来了。1月17日,乐聚将第100台全尺寸人形机器人交付北汽越野车,再次吹响了人形机器人疯狂进厂打工的号角。无独有尔,银河通用机器人作为一家成立不到两年时间的创业公司,在短短一年多时间内推出革命性的第一代产品Galbot G1,这是一款轮式、双臂、身体可折叠的人形机器人,得到了美团战投、经纬创投、IDG资本等众多投资方的认可。作为一家成立仅仅只有两年多时间的企业,智元机器人也把机器人从梦想带进了现实。2024年8月1
    刘旷 2025-01-21 11:15 239浏览
  • 高速先生成员--黄刚这不马上就要过年了嘛,高速先生就不打算给大家上难度了,整一篇简单但很实用的文章给大伙瞧瞧好了。相信这个标题一出来,尤其对于PCB设计工程师来说,心就立马凉了半截。他们辛辛苦苦进行PCB的过孔设计,高速先生居然说设计多大的过孔他们不关心!另外估计这时候就跳出很多“挑刺”的粉丝了哈,因为翻看很多以往的文章,高速先生都表达了过孔孔径对高速性能的影响是很大的哦!咋滴,今天居然说孔径不关心了?别,别急哈,听高速先生在这篇文章中娓娓道来。首先还是要对各位设计工程师的设计表示肯定,毕竟像我
    一博科技 2025-01-21 16:17 94浏览
我要评论
0
点击右上角,分享到朋友圈 我知道啦
请使用浏览器分享功能 我知道啦