791_AUTOSAR_RS_TimingExtensions1_时序分析扩展需求1

怼烎@ 2022-09-11 13:13 123阅读 0赞

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

继续学习AUTOSAR文档，开始看一个新的文档《AUTOSAR\_RS\_TimingExtensions》。

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16][]

1 本文档的范围

本文档收集了对时序模型的要求并将其合并到 AUTOSAR 模板中。

时序模型的主要目标是扩展带有时序信息的 AUTOSAR 模板，以便分析和验证系统的时序行为。

AUTOSAR 时序扩展规范 \[1\] 将满足本文档中收集的要求。

接下来的套话以及表格等，直接跳过了。

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 1][]

4 需求

本章描述了作为 AUTOSAR 时序扩展规范基础的所有需求。

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 2][]

4.1 时序特性

AUTOSAR 模板应提供描述系统动态的时序属性的方法，这些属性由计算、通信和其他硬件资源的消耗决定。

AUTOSAR 模板中时序属性的描述是分析和验证系统时序行为或其在流程早期预测的必要先决条件。

用例：时序行为的分析和验证、修改影响的早期预测、支持硬件尺寸、系统配置优化。

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 3][]

4.2 时序约束

AUTOSAR模板应提供描述时序约束的方法，例如具有明确定义语义的软件和硬件延迟、输入/输出延迟、同步和可运行执行顺序约束。此外，应明确描述时序约束的范围和边界。

AUTOSAR 模板中时序约束的描述是正式捕获对系统时序行为的期望和限制的必要先决条件，这些期望和限制指导系统生成过程并可用于验证给定的系统配置。

用例：时序行为的分析和验证、硬件尺寸支持、系统配置优化。

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 2][]

4.3 时序约束的可选性

AUTOSAR 模板中时序约束的使用是可选的。

通常，时序约束仅针对有限数量的 e.g. 指定安全相关的子系统，但不适用于整个系统。

用例：时序行为的分析和验证。

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 4][]

4.4 事件链

AUTOSAR 模板应提供描述时序特定事件链的方法。 事件链用作附加时间约束的主题。 它描述了两个可观察事件（称为刺激和响应）之间的时间相关性，它们具有功能依赖性。

事件链是定义时序约束的范围和语义的必要先决条件。

用例：时序行为的分析和验证。

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 5][]

4.5 事件链的结构

应该可以在层次结构中组织事件链。 也就是说，事件链可以由任意的事件子链构成。 层次结构的叶子是原子事件链。 原子事件链是在刺激和响应由交互语义明确定义的意义上定义的。

分层事件链结构支持时序约束的可扩展性和可演化性。

用例：时序行为的分析和验证。

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 6][]

4.6 事件链的触发行为

AUTOSAR 模板应提供描述事件链的触发行为（例如周期性、偶发性和任意性）的方法。

事件链时序约束的分析和验证需要对相应刺激和响应事件的发生特征进行假设。

用例：时序行为的分析和验证。

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 7][]

4.7 事件链的同步

AUTOSAR 模板应提供方法来描述多个事件链与可能独立的激励和响应事件同步的时序约束。

当考虑冗余通信时，同步是一个关键问题。

用例：时序行为的分析和验证。

小结：这里的冗余应该说的是不同的通信方式吧？不然，信号的传输应该没有同步过程才是。

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 8][]

4.8 多个异步时基

AUTOSAR 模板应提供描述多个异步时钟/时基及其相互关系的方法。

在网络系统中，即使对于多个异步时基，描述同步事件也是合理的。

用例：时序行为的分析和验证。

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 9][]

4.9 收发器通信中的环回信号流

应该可以在 VFB 级别上注释 SWC 之间的连接，以指示需要缓冲发送方-接收方通信。

当软件组件使用发送方-接收方通信连接在一起工作时，在这个组合中隐含了一个自然的信号流，其中一个软件组件产生一些数据，然后由另一个软件组件使用和进一步处理。 当这样的设置还包含信号的环回时，不再可能确定在一次传递期间要处理哪个信号流以及应缓冲哪个信号流作为下一次执行的环回。

用例：一种过滤算法，它使用多个软件组件实现，并将算法结果作为输入反馈。 当这个环回信号流被注解时，其他软件组件之间的关系可以按顺序排列，并且可以确定所涉及的可运行实体的执行顺序。

闭环控制系统中时序行为的分析和验证。

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 4][]

4.10 时序属性和约束的有效性

AUTOSAR 模板应提供描述时序属性和约束有效性的方法，例如，用于某种硬件或软件配置。

要正确利用时序属性和约束，有必要了解获取它们的上下文：例如，WCET 仅对特定实现和目标平台有效。

用例：时序行为的分析和验证。

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 10][]

4.11 模式依赖

AUTOSAR 模板应提供描述时序属性和约束对系统和 ECU 级别定义的操作模式的依赖性的方法。

根据模式，系统的行为可能会发生变化，这会对系统的时序特性产生影响。

用例：时序行为的分析和验证。

对刚刚这一部分做一个简单的小结。这部分对于时序的属性、约束等做了一些说明。同时，对于事件相关的要求做了描述。最后，提出了一个关于模式切换影响到时序功能的的一个模板要求。

[https_github.com_GreyZhang_hack_autosar]: https://github.com/GreyZhang/hack_autosar
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16]: /images/20220828/9db5e6cbc24a483e8bd0868fb7a3cf4e.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 1]: /images/20220828/b685667ca3dd4ff6ba2e16b0f2384bde.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 2]: /images/20220828/554f5761fd314b4e882808d87b7e5ab9.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 3]: /images/20220828/f271097e16134d7d9692d2fed12ca9c4.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 4]: /images/20220828/1b49678764ee4512b0e944da7a37304c.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 5]: /images/20220828/83e1170372d64b5e908ab38633a5c627.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 6]: /images/20220828/ae38a328ed4049efbeb346910816c45b.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 7]: /images/20220828/bc050d699cd841b08501bcce3abf23e2.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 8]: /images/20220828/d340598250fa4bcf87fb626e4b59299c.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 9]: /images/20220828/de67b32a1a6d483fba1e18185e878f41.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 10]: /images/20220828/876cb4e6c0384d419e186e8b5310d00a.png