IEC 62529:2012 — 信号与测试定义标准(IEEE Std 1641)

IEC 62529:2012 等同于 IEEE Std 1641-2011,定义了信号、测试要求和测试相关信息的正式规范。它代表了从传统的基于文本的测试规范(如 ATLAS,IEEE 716)向正式的、机器可读的、面向对象的信号建模框架的范式转变。该标准提供了三个集成要素:基本信号组件,以数学方式定义基本信号类型;测试信号框架,用于从 BSC 组合复杂信号;以及信号建模语言,一种基于 XML 的语法,用于在工具和 ATE 平台之间交换信号定义。

💡 核心洞察: IEEE 1641 将测试规范从人类可读的文档转变为机器可执行的信号模型。在 1641 中定义的正弦波不仅携带幅度和频率值,还携带数学函数、公差带和测量条件——从而能够从需求自动生成测试程序。

一、信号建模框架

1.1 基本信号组件(BSC)

BSC 是信号模型的原子构建块。每个 BSC 是一个定义信号随时间变化的数学函数。标准定义了 50 多种 BSC,分类为:直流信号、周期信号、调制信号、噪声信号和控制信号。每个 BSC 都有正式的数学定义,并定义了幅度精度、频率稳定性、相位噪声和谐波失真的公差参数。

<!– IEEE 1641 SML 示例:正弦波激励 –>
<Signal name=”stimulus”>
  <Sin>
    <Amplitude unit=”V”>1.0</Amplitude>
    <Frequency unit=”Hz”>1e6</Frequency>
    <Offset unit=”V”>0.0</Offset>
    <Phase unit=”rad”>0.0</Phase>
  </Sin>
</Signal>

1.2 测试信号框架(TSF)

TSF 提供了一种从 BSC 和其他 TSF 组合复杂、应用特定信号的机制。TSF 本质上是一个可重用的信号模板,由其测试要求参数化。例如,”DDR3 读取突发”TSF 可能由时钟 BSC、数据选通 BSC 和多个数据通道 BSC 组成,参数包括突发长度、CAS 延迟和驱动强度。TSF 可以按领域组织到库中,使领域专家能够以标准化、可重用的形式封装其信号知识。

⚠️ 工程注意: 虽然 BSC 库很全面,但实际测试信号通常需要自定义 BSC。标准通过 UserDefined BSC 定义了扩展机制,但用户定义的 BSC 无法由标准工具验证,且可能无法跨 ATE 平台移植。将自定义 BSC 限制在确实无法由标准组件建模的信号上。

二、信号建模语言与 ATML 集成

表 1 — IEEE 1641 BSC 类别与示例信号
类别 BSC 名称 参数 典型应用
直流 DC 电压、电流 电源、偏置电压
周期 Sin 幅度、频率、相位、偏移 模拟激励、载波
周期 Square 幅度、频率、占空比、偏移 数字时钟、PWM
周期 Pulse 幅度、延迟、宽度、周期 雷达脉冲、数字触发
调制 AM 载波、调制、深度 RF 通信测试
调制 FM 载波、调制、偏差 FM 广播、FMCW 雷达
噪声 WhiteNoise RMS、带宽 SNR 测量、误码率测试
控制 Event 时间、动作 同步、触发

2.1 SML XML 语法与工具互操作性

信号建模语言是 1641 信号模型的 XML 实现。SML 文件是测试设计工具和 ATE 平台之间的交换格式。SML 模式为所有信号参数定义了严格的类型:物理量携带单位,公差可以指定为绝对值、相对值或统计值,条件可以包括温度、湿度和时间约束。基于 XML 的格式可以针对 1641 模式进行验证,确保信号定义在被 ATE 运行时引擎使用之前在语法上是正确的。

2.2 与 ATML(IEEE 1671)的集成

IEEE 1641 和 IEEE 1671(自动测试标记语言 ATML)被设计为互补对。ATML 提供了描述测试站、被测单元、测试结果和测试程序文档的框架。IEEE 1641 提供了 ATML 引用的信号定义。在典型的 ATML 测试描述中,<Test> 元素引用了用于激励和测量动作的 IEEE 1641 信号定义,实现了无需硬件特定细节的完整测试要求规范。这种关注点分离——ATML 负责测试管理,1641 负责信号科学——是现代自动测试系统的基础。

最佳实践: 构建测试需求库时,使用 IEEE 1641 BSC 定义信号,并将相关测试需求分组到 ATML 测试描述中。这种架构支持跨平台测试程序复用:同一个 1641 信号定义可以在低成本的 PXI 系统上执行制造测试,也可以在高性能模块化 ATE 上执行表征测试,仅需更换仪器驱动层。

三、工程设计要点

3.1 从 ATLAS 向 IEEE 1641 迁移

ATLAS 是 1970 年代至 2000 年代占主导地位的测试规范语言,特别是在航空航天和国防领域。IEEE 1641 是其现代继承者:ATLAS 是过程式的、基于文本的、与特定仪器能力绑定的,而 1641 是声明式的、基于模型的、独立于仪器的。从 ATLAS 到 1641 的迁移涉及将过程式语句转换为声明式信号模型。已完成此迁移的组织报告称,新平台的测试程序开发时间减少了 40–60%,因为 1641 模型可以在仪器升级过程中无需修改地重用。

3.2 信号定义中的不确定度建模

IEEE 1641 的一个独特功能是其内置的不确定度建模。每个信号参数可以携带表示与标称值允许偏差的公差规范。这些公差可以以多种方式表示:绝对、相对、统计或基于分布。在测试执行期间,ATE 系统可以将其测量的不确定度预算与要求的公差进行比较,并自动调整通过/失败判定的置信水平。这一能力在校准和计量应用中尤为宝贵,因为测量不确定度必须被严格量化。

3.3 真实部署:F-35 案例

IEEE 1641 的最大部署是 F-35 闪电 II 自动测试系统。F-35 项目在其整个全球物流网络中采用 1641 作为标准信号建模语言,涵盖多个国家的 30 多种测试站类型。F-35 的 TSF 库包含 5,000 多个信号模型,涵盖 RF、数字、模拟、液压和气动测试。这一部署证明了基于 1641 的测试程序可移植性是可以大规模实现的——一个用 1641 定义的测试需求可以在全球任何经认证的测试站上执行,消除了对特定测试站测试程序集的需求。

🚨 关键陷阱: IEEE 1641 的灵活性可能导致多个工程师对同一物理信号进行不同建模。例如,”5 V 电源”可以建模为 DC BSC、Constant BSC 或用户定义的 PowerSupply TSF。如果没有严格的配置管理和 TSF 库治理,信号模型的扩散会削弱复用效益。强制组织内每种信号类别采用单一建模方法。

四、常见问题解答

❓ Q1: IEEE 1641 仅适用于模拟信号,还是也涵盖数字信号?

IEEE 1641 涵盖模拟和数字信号。对于数字信号,标准定义了时钟信号、数据模式和数字调制的 BSC。然而,对于具有数百万向量的复杂数字测试模式,标准建议使用 STIL 处理模式数据,使用 1641 处理信号上下文。

❓ Q2: 有效实施 IEEE 1641 需要哪些培训?

有效实施需要了解:底层每个 BSC 的数学信号模型、SML 的 XML 模式设计、ATML 集成模式以及领域特定的 TSF 库设计。大多数 ATE 供应商提供 3–5 天的培训课程。组织通常需要在试点项目中积累 3–6 个月的实践经验后才能达到高效使用水平。

❓ Q3: IEEE 1641 能否用于非电气信号?

可以。信号模型与物理量无关。压力信号可以使用与电压信号相同的 BSC 建模——物理量通过单位属性指定。F-35 部署就包括了液压和气动信号模型。

❓ Q4: IEEE 1641 如何处理信号同步和时序?

时序和同步使用 Event 和 Gate BSC 以及任何 BSC 上可用的 Sync 属性建模。Events 定义瞬时动作,Gates 定义信号活动的时间窗口。复杂的时序关系通过信号图连接 BSC 来建模。

发表回复

您的邮箱地址不会被公开。 必填项已用 * 标注