SNIP_ADAPTIVE_CAN_FIGURE_Figure_14_5

Figure 14.5: Modeling of Arbitration [TPS_MANI_03518] LogicalExpression definition ⌈ A LogicalExpression defines one logicalOperator which will be applied to a set of inputs defined by the healthChannelArgument and logicalExpressionArgument. ⌋ (RS_MANI_00023, RS_MANI_00032) Thus the result of a LogicalExpression can again be used as the input to another LogicalExpression. There are some concerns which need to be formalized at a later point in time to make the definition of LogicalExpressions unambiguous: • using more that 2 inputs for a LogicalExpression may lead to ambiguous definitions for some logicalOperators 344 of 458 — AUTOSAR CONFIDENTIAL — Document ID 713: AUTOSAR_TPS_ManifestSpecification