729_AUTOSAR_TR_TimingAnalysis15_熟悉分析的属性方法

约定不等于承诺〃 2022-09-05 12:38 78阅读 0赞

全部学习汇总： [https://github.com/GreyZhang/hack\_autosar][https_github.com_GreyZhang_hack_autosar]

继续梳理《AUTOSAR\_TR\_TimingAnalysis》。

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2dyZXlfY3Nkbg_size_16_color_FFFFFF_t_70][]

时序分析的属性和方法

简介

本节描述时序用例（见第 3、4 和 5 章）和时序任务之间的一般关系。 本章详细介绍了计时任务、计时属性和计时方法。

前几章中介绍的时序用例（例如“新网络的设计和配置”）（与 ECU、网络或端到端视图相关）通常包含几个较小的步骤（列在每一个用例“主要场景下”）。 其中一些步骤从根本上与计时相关，并在几个用例中重新出现。

我们将这些步骤称为“时序相关任务”，并在第 6.3 节中更详细地概述它们。

一项特别重要的与时序相关的任务是执行表 6.13 中定义的时序分析。这个与时序相关的任务可以再次包含一个“时序方法”（参见第 6.5 节，它更详细地说明了如何解决这个任务，即通过模拟或静态分析。

时序方法的输入（例如“通信矩阵”或“测量的核心执行时间”）来自系统规范或观察真实系统。一些方法将时序属性作为输出（例如“传输消息的最坏情况响应时间”）进行评估，可以针对时序约束（例如，该功能可能要求帧传输在 10 毫秒内完成）期间进行评估。计时任务验证计时。

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2dyZXlfY3Nkbg_size_16_color_FFFFFF_t_70 1][]

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2dyZXlfY3Nkbg_size_16_color_FFFFFF_t_70 2][]

工具中计时方法和计时属性的实现超出了本文档的范围，但是十分重要。 该方法和时序术语如图 6.1 和 6.2 所示。

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2dyZXlfY3Nkbg_size_16_color_FFFFFF_t_70 3][]

时序属性的简单语法

为了避免在以下部分重复时序属性和方法的类似定义，本文档采用通用方法。时间属性用支持的占位符来描述，例如“<schedulable>”和“<resource>”。 “<resource>”可以是例如 “CPU”或“CAN总线”，以及“<schedulable>”可以是相应的“RunnableEntity”、“BswScheduableEntity”或“frame”。

并非这些术语的所有组合都会导致相关/有效的定义。 因此，实际实例与定义一起列出。 然而，出于实用性的原因，该文档目前并未将占位符结构形式化为完整且一致的语法（但在未来版本中可能会进行这种改进）。

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2dyZXlfY3Nkbg_size_16_color_FFFFFF_t_70 4][]

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2dyZXlfY3Nkbg_size_16_color_FFFFFF_t_70 5][]

资源和调度程序

<Resources> 是执行 <schedulables> 所必需的。 他们可以根据在线或离线调度方案，随时间在多个 <schedulable> 之间进行调度。<Resources> 具有计算、存储、传输或接收信息的能力。

<Resources>可以分为两类：<unary resources>，在任何给定时间只能执行一个<schedulable>；<multi resources>，可以并行执行多个<schedulable>。

<schedulable> 在 <resource> 上计算、存储或传输信息。为了取得进展，必须在调度过程中为其分配 <resource>。

其实，这些概念跟OS中的概念是差不多的。

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2dyZXlfY3Nkbg_size_16_color_FFFFFF_t_70 6][]

注意：<Multi Resources> 不包含在文档中的任何现有定义中。

可调度的时间由它的 <activate> 和它的 <terminate> 事件定义。<activate> 是 <schedulable> 准备好执行其操作的时刻，而 <terminate> 是它完成的时刻。

<schedulable> 可能包含 <subschedulables> 以区分不同的操作。

小结：其实，我一直想了解一下多核的处理，看起来这里是直接跳过了，有点可惜。虽然我直接看多核可能会很多看不懂，但是能够有一定的科普性信息看看也是好的。第二点就是这两个开始结束的标识，在现在我接触的ETAS的OS中其实这样的接口到处都是，看起来可能就是为了满足这样的标准框架而设计的。

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2dyZXlfY3Nkbg_size_16_color_FFFFFF_t_70 7][]

类似的时序测试图，其实我在OS的测试中也是见到过的。这里面居然涉及到这么多的时间区间概念！

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2dyZXlfY3Nkbg_size_16_color_FFFFFF_t_70 8][]

推导方法

不同的时序属性可以通过不同的方法推导出来，但并不是每个属性都可以用每种方法正确推导（但通常是近似的）。例如，在仿真过程中，可以观察到消息负载，但很难推导出真正的最坏情况延迟。出于本文档的目的，我们区分了上面图表中的方法（有关更多详细信息，请参阅计时方法的定义、描述和分类。

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2dyZXlfY3Nkbg_size_16_color_FFFFFF_t_70 9][]

Statistical Qualifier（统计的限定？）

许多计时属性可以定制为不同的<Statistical Qualifiers>。 例如，在一种情况下，人们可能对消息的平均延迟感兴趣，而在另一种情况下对最大延迟感兴趣（例如，如果它是时间关键的消息，例如主动转向示例中的总时间）。 这样做的基础是通过例如确定延迟随时间的时间发展。 模拟并导出相关数量，如平均延迟。 这可以更广泛地用于确定任意数量（“x-over-Time”）的时间发展以及分布及其动量的推导。

为此，引入了上面的列表中的 <Statistical Qualifiers>。

x-over-time 和分布取决于相关的计时方法、输入参数和边界条件。 相比之下，分析方法将时序属性作为单个值（例如，最坏情况）提供。（最佳）最坏情况表示具有（最小）最大系统要求的系统状态，有时被应用算法高估。然而，在此上下文中，（最小）最大值表示此处计时属性的实际观察值。

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2dyZXlfY3Nkbg_size_16_color_FFFFFF_t_70 10][]

约束类型

最后，根据 TIMEX 中的定义，时序属性的实际值可以解释为需求（分析的先验），或者最坏情况可以视为系统规范的保证（分析的后验）。

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2dyZXlfY3Nkbg_size_16_color_FFFFFF_t_70 11][]

图 6.4 描绘了时间属性的值（及其随时间的发展及其分布）与约束之间的相互作用。 计时属性的值来自计时方法。一些统计限定符显示在分布的左侧。此处，保证来自对相关的时序属性（在性能规范中定义的更一般情况下）的最坏情况分析，而在这种情况下无法满足此时序属性的外部要求（在要求规范中定义）。

对这一部分信息做一个小结：看过的这一部分主要是在引入各种可以用于监控的属性，不同的参数是如何定义的，在时序维度上应该如何表示等。对于监控方法，没有一个特别明确的描述，如同章节中的描述，这部分很重要但是超出了这份文档的范围。其实，可以理解，这部分应该出现在我们自己工程实施的环节中。

[https_github.com_GreyZhang_hack_autosar]: https://github.com/GreyZhang/hack_autosar
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2dyZXlfY3Nkbg_size_16_color_FFFFFF_t_70]: /images/20220829/b2da95445e9d4587a45d1276dcd6899b.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2dyZXlfY3Nkbg_size_16_color_FFFFFF_t_70 1]: /images/20220829/565ecd331b91461faf11e6540f8e9666.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2dyZXlfY3Nkbg_size_16_color_FFFFFF_t_70 2]: /images/20220829/54e9da6d4892429398dc8a1b35a5ac6c.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2dyZXlfY3Nkbg_size_16_color_FFFFFF_t_70 3]: /images/20220829/d1869cb2e6a24f0a9ba2b863930e0f4c.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2dyZXlfY3Nkbg_size_16_color_FFFFFF_t_70 4]: /images/20220829/69c71f40260042548ff05021a56b599a.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2dyZXlfY3Nkbg_size_16_color_FFFFFF_t_70 5]: /images/20220829/d36d53810c95497e99d7072e0557db4f.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2dyZXlfY3Nkbg_size_16_color_FFFFFF_t_70 6]: /images/20220829/2873e043dcfd43f299de286c83e31516.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2dyZXlfY3Nkbg_size_16_color_FFFFFF_t_70 7]: /images/20220829/89cf1fcdcdfd4613b6c4680de2d4439a.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2dyZXlfY3Nkbg_size_16_color_FFFFFF_t_70 8]: /images/20220829/fbbee883bfbe41f6a10b718e0c50aa47.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2dyZXlfY3Nkbg_size_16_color_FFFFFF_t_70 9]: /images/20220829/553a62641b3c4cb38664e15164251195.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2dyZXlfY3Nkbg_size_16_color_FFFFFF_t_70 10]: /images/20220829/35438e77639c4ec89d089e183a3ebd85.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2dyZXlfY3Nkbg_size_16_color_FFFFFF_t_70 11]: /images/20220829/3957973e91ba448f820ccec747396201.png