863_AUTOSAR_TPS_GenericStructureTemplate14_公式语言2

我就是我 2022-09-16 05:51 73阅读 0赞

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

继续学习AUTOSAR，看一下官方的文档。

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16][]

4.7.2.1 公式处理器的实现细节

以下实现细节适用：

公式和模型元素之间的连接

上面提到的公式语言有一个产生式规则（参考），需要进一步指定。 此产生式表明，此时需要解析对模型元素的引用。

有多种选择可以实现这一点。 一个例子是用等效的文本表示代替模型参考，例如上面的代码表达。

但是无论它是如何实现的，都需要从 xml 文件中加载公式，并将参数指定为模型参考。 不允许接受包含此类文本表示的 AUTOSAR 工件。

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 1][]

公式语言的用例特定扩展

此专业化的上下文作为重新定义以下令牌的 ANTLR 规范的片段：

– ExtKeyword - 这提供了类似于 epsilon 的附加关键字

– ExtUnaryFuncName - 这为一元函数提供了附加名称

– ExtBinaryFuncName - 这为二元函数提供了附加名称

通过其他运算符扩展公式语言是不可能的。

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 2][]

因此扩展了表 4.62 中的函数列表。 清单 4.6 给出了定义附加关键字的示例。

![ecf2168a362e4de39f439f0f92be8c95.png][]

引用/字符串引用的结果

– 引用应产生一个数字/布尔值。

– stringReference 应产生一个字符串值。

![8a5f3856696c41b59d96b57100437217.png][]

中止逻辑表达式

如果第一个操作数产生了结果，则使用布尔 AND 或 OR 的表达式计算将被中止，以便第二个操作数不再更改总结果（如在 C 中）。 这种行为出现在表达式中，例如：defined(sysc(SY\_COUNT)) && sysc(SY\_COUNT) > 1 因为在这里，如果未定义 SY\_COUNT，则不会执行对 "> 1" 的检查，因此避免了不需要的错误消息 。

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 3][]

True and false

就像在 C 中，整数“0”分别是浮点“0.0”和“-0.0”被解释为假。 在布尔表达式中，所有其他值都被视为真。

该语言还提供了产生 1 的文字“真”和产生 0 的“假”，以在表达式中表达文字布尔值。

强烈建议不要将布尔运算 ||、&&、^^、==、!= 应用于浮点值。 由于浮点操作数保存精确整数（在数学意义上）数字的能力有限，这些操作的结果可能具有（因为实现细节在这里有巨大影响）难以预测的值。

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 4][]

操作优先级

C++1 的优先规则适用并在语法中建模：乘法和除法优先于加法和减法。 指数运算符 (\*\*) 优先于这些其他数学运算符。

一元减号的优先级高于所有其他运算符。 有关优先级的完整列表，请参阅 \[10\]。

示例： – -2\*\*3 变为 -8 = (-2)\*\*3 – -log(2.718281828)\*\*2 对应于 (-log(2.718281828))\*\*2，因此等于 +1。

![2b49ac4d51b54f3696cfb7e9b5878ad6.png][]

从左到右的求值

二元运算符应从左到右（从左到右结合）进行评估求值。 例如 2 == 2 == 2 应计算为 (2 == 2) == 2。

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 5][]

XOR 的结合性

布尔 XOR 运算符^^ 是 C 中没有对应运算符的附加运算符。如果其中一个操作数被解释为假而另一个被解释为真，则布尔 XOR 的结果为“1”。 如果两个操作数具有相同的值，而与该值是真还是假无关，则布尔 XOR 的结果为“0”。 除了布尔 AND (&&) 和布尔 OR (||) 之外，布尔 XOR 总是计算两个操作数。 这是因为布尔 XOR 的结果不能仅通过评估例如 第一个操作数。

提示：在硬件电路中，有时会使用具有两个以上输入的异或门。 对于这样的硬件异或门，当且仅当输入之一为“1”且所有其他输入为“0”时，输出为“1”。 算术表达式中的 XOR 运算符是二元运算符，因此其行为与硬件 XOR 门不同。 这特别意味着根据从左到右的关联性，例如 1^^1^^1 被解释为 (1^^1)^^1 产生“1”。

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 6][]

移位操作

执行移位操作时，第一位或最后一位（取决于移位的方向）填充“0”。

左移意味着位向更高的值移动。 右移意味着位向较低的值移动。

只要我们在 \[TPS\_GST\_00008\] 定义的范围内，就会执行移位。

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 7][]

实施者应在结果的预期大小位数上应用掩码。 例如，如果 0b1111 << 1 仍应产生 4 位，则用户应写入 (0b1111 << 1) & 0b1111 以获得 0b1110 的预期结果。 如果没有掩码，结果将是 0b11110，即 5 位。

基于公式处理器的 32 位整数实现的示例（请注意，未显示所有前导零位）：

– 0b0001 << 1 返回 0b00010

– 0b1111 >> 1 返回 0b0111

– 0b1111 << 1 返回 0b11110

– 0b1111 << 2 返回 0b111100

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 8][]

公式表达式中的类型

类型的算术表达式的是上面的范围之一

注意：32位实现的范围是有符号整数（-2147483648..2147483647）和无符号整数（0..4294967295）的集合并集，其结果是（-2147483648..4294967295）。同样的过程也适用于64位实现。

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 9][]

符号的处理

\[TPS\_GST\_00359\] 符号的处理根据\[TPS\_GST\_00008\]，公式处理器的实现需要在整数值的情况下提供额外的符号处理。

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 10][]

Epsilon关键词

epsilon 表示用于支持浮点值比较的实现特定常量。 它表示可以由给定实现表示的最小增量。

例如，不是将浮点数与零进行比较，而是应该使用 abs(sysc(x)) < epsilon ?  0 : 1

这部分主要是看了一些语言的实现，看起来，这么一个架构如果要做工具链的匹配背后的工作还是很大的。突然间，也多少有点认可这些工具厂商的工具价值了，中间的工作量的确是不少啊！

[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/7340104c38ad4193bbbacf0e0d7d6b32.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 1]: /images/20220828/c1825f4d924245b08ec4dd6c41e04f8c.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 2]: /images/20220828/e5b861332c00409197ace6a85ed5a784.png
[ecf2168a362e4de39f439f0f92be8c95.png]: /images/20220828/a4234c695fe3444b87f6ccc5418f5ca8.png
[8a5f3856696c41b59d96b57100437217.png]: /images/20220828/8104a367f885491293e488bc91397acd.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 3]: /images/20220828/e40ea5dc5dfa45238839bcda8b44865a.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 4]: /images/20220828/dfdc9f3ac8984e239a1ad5a097dc32f5.png
[2b49ac4d51b54f3696cfb7e9b5878ad6.png]: /images/20220828/d1e6970d47bf4bb894fd33093ff94057.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 5]: /images/20220828/bb887de89a6349f0a9b02ae6d9bda9d0.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 6]: /images/20220828/dc53d9c465ff41c88f37a48d5226aefd.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 7]: /images/20220828/40d787e190b949b8b07f2751972571f8.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 8]: /images/20220828/779a381cc9f8499e9a2ed372996ac6e9.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 9]: /images/20220828/0fbd881a47404a28906a187cd9c74b1f.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 10]: /images/20220828/6141427cdf6f4d04b70a4eb915e163e6.png