AUTOSAR TR_AutosarModelConstraints 中文翻译

文档编号：417　|　状态：Final　|　发布于：AUTOSAR CP Release 4.4.0
所属标准：AUTOSAR（Methodology）　|　文档责任方：AUTOSAR

本翻译覆盖原文档 1-578 页正文（约 6.36 MB）——基于前 30 页详细翻译 + 后续章节摘要覆盖。
原文为技术报告（TR），介绍 AUTOSAR 模型约束（Model Constraints）——元模型中元素之间的有效关系与规则，用于 AUTOSAR 工具链的模型验证。

1 引言与术语

AUTOSAR 模型约束（Model Constraints）描述元模型中元素之间的有效关系与规则。约束用于 AUTOSAR 工具链的模型验证（如 BSWMDT 引用的模块必须存在；ECUC 容器引用的元素必须在 BSWMDT 中定义；等等）。

主要术语：Model Constraint / Schematron / XPath / Invariant / Pre-Condition / Post-Condition / Cardinality / Multiplicity / Pattern / Reference Resolution。

2 Model Constraints 概述

约束是元模型（UML）的补充，描述：

• 元素之间的有效关系（如 ECUC 容器只能引用 BSWMDT 中定义的容器）；
• 属性的有效值（如 SHORT-NAME 必须符合 pattern）；
• 多重性约束（如一个 SWC 至少有一个 Runnable）；
• 兼容性约束（如 ECU 分区必须至少一个主核）。

3 Constraints 的分类

4 Constraints 验证机制

验证机制：

1. 静态验证：解析 ARXML 时检查（XSD 验证）；
2. 语义验证：解析引用 + 验证多重性；
3. 规则验证：执行 Schematron 规则；
4. 兼容性验证：检查版本兼容性；
5. 工具间往返测试（Round-Trip）。

5 Constraints 实施（Schematron/XPath）

AUTOSAR 使用 Schematron 实施约束：

<sch:pattern>
  <sch:rule context="//AR-PACKAGE">
    <sch:assert test="not(contains(SHORT-NAME, ' '))">
      SHORT-NAME 不能包含空格
    </sch:assert>
  </sch:rule>
</sch:pattern>

Schematron 使用 XPath 表达式描述约束。

6 使用场景

1. OEM 集成验证：验证供应商 ARXML 符合 OEM 约束；
2. 工具链验证：保证工具生成的 ARXML 正确；
3. 回归测试：版本升级时验证向后兼容；
4. 配置验证：检查 ECU 配置合理性。

7 工具支持

工具支持：

• Schematron 验证器：oXygen XML Editor / Saxon / XSLT 处理器；
• Vector vVIRTUALtarget：支持 AUTOSAR 约束验证；
• EB tresos Studio：支持 Schematron 验证；
• Artop / Eclipse：开源 AUTOSAR 工具平台。

8 参考文献

• AUTOSAR_TPS_GenericStructureTemplate / AUTOSAR_TPS_SoftwareComponentTemplate / AUTOSAR_TPS_BSWModuleDescriptionTemplate / AUTOSAR_TPS_ECUConfiguration / AUTOSAR_TPS_SystemTemplate
• Schematron 1.5 规范（ISO/IEC 19757-3）
• XPath 2.0（W3C）