4. 离线程序结构解析与迁移可行性评估
离线编程产出的程序包，本质上是一套“可执行文件 + 数据 + 配置”的组合体。把它迁移到现场真实控制器之前，必须先做一次结构解析：搞清楚程序由哪些模块构成、哪些指令依赖离线环境、哪些数据在现场会失效。这一步做扎实，现场调试才不会变成“边跑边改、越改越乱”。本节围绕程序模块、例行程序、子程序、中断程序、数据文件、运动与逻辑指令分类、不可迁移指令识别，以及迁移风险等级划分展开。
一、程序模块的层级结构
主流机器人离线编程环境（如 ABB RobotStudio 的 RAPID、KUKA 的 KRL、FANUC 的 TP/KAREL）在程序组织上高度相似，通常呈现四层结构：程序模块（Module）是文件级容器，一个模块对应一个 .mod 或 .prg 文件；例行程序（Routine）是模块内的可调用单元，分为主程序 main、普通例行程序、以及带返回值的函数；子程序是被其他例行程序调用的下级例行程序，用于封装重复动作；中断程序（Trap/Interrupt）是事件触发的特殊例行程序，由中断号或信号上升沿激活。
解析时建议按“模块 → 例行程序 → 调用关系”逐层展开，先画出调用树，再标注每个例行程序的类型（主程序/普通/中断/函数）。调用树能直接暴露两个问题：是否存在离线环境专有的调用入口，以及是否存在现场不存在的被调用模块。
二、例行程序与子程序的迁移差异
例行程序本身是“壳”，迁移风险主要来自其内部实现。主程序 main 通常包含初始化、循环调度和中断注册，现场迁移时需重点检查初始化段是否引用了离线专有的系统变量。普通例行程序若只包含运动与逻辑指令，迁移风险低；但若内部调用了仿真专用函数（如碰撞检测、路径可视化），则必须替换或删除。
子程序的风险点在于参数传递方式。离线环境中子程序常通过全局变量传参，而现场控制器可能要求显式形参。例如离线程序里 Pick 子程序直接读取全局 g_pickPos，现场若未定义同名全局变量，调用即报错。解析时应逐个记录子程序的输入输出依赖，形成“参数映射表”。
三、中断程序的特殊处理
中断程序是迁移中最容易被忽视的部分。离线仿真中，中断常被用来模拟传感器触发或安全门信号，其触发源是虚拟信号；现场迁移后，触发源必须改为真实 I/O 或系统事件。解析中断程序时需确认三件事：中断号是否与现场控制器一致、中断服务内容是否包含不可迁移指令、中断使能/禁止的时序是否与现场安全逻辑冲突。若中断程序仅用于仿真演示，建议在现场版本中直接禁用而非强行移植。
四、数据文件的迁移评估
数据文件承载了 robtarget（目标点）、jointtarget（轴配置）、speeddata（速度数据）、tooldata（工具数据）、wobjdata（工件数据）等核心参数。迁移时按以下优先级处理：
- 目标点数据：离线生成的点位基于离线模型，现场必须用实际 TCP 重新示教或校正，不能直接沿用。
- 工具与工件数据：若现场工具与离线模型一致，可迁移框架但需重新标定 TCP；若工具不同，必须重建。
- 速度与加速度数据：可迁移数值，但需根据现场节拍和负载重新验证。
- 轴配置数据：离线生成的轴配置在现场可能因机械限位或奇异点而不可达，需逐点检查。
五、不可迁移指令识别清单
不同品牌的离线环境都有“仿真专用”指令，它们在现场控制器上不存在对应实现。识别方法：将离线程序中的所有指令与现场控制器的指令集手册逐条比对，标记出无对应项的指令。常见不可迁移指令包括：仿真环境中的路径可视化指令、虚拟碰撞检测指令、离线专用的日志输出指令、以及依赖离线数据库的查询函数。
六、迁移风险等级划分
综合以上分析，可将程序元素划分为三个风险等级，便于现场调试时按优先级处理：
| 风险等级 | 判定依据 | 典型对象 | 处理策略 |
|---|---|---|---|
| 低风险 | 指令集完全兼容，数据仅需微调 | 标准运动指令、逻辑指令、通用 I/O | 直接迁移，现场抽检 |
| 中风险 | 指令兼容但参数依赖现场标定 | 工具数据、工件数据、速度参数、轴配置 | 迁移后逐项重新标定与验证 |
| 高风险 | 存在不可迁移指令或中断逻辑冲突 | 仿真专用指令、中断程序、第三方插件调用 | 重写或替换，现场单独测试 |
实际评估时，建议对每个例行程序打上风险标签，并统计各等级占比。若高风险模块超过总数的 20%，说明离线程序对仿真环境依赖过深，现场迁移工作量将显著增加，此时应考虑重构而非逐条修补。
结构解析与可行性评估的价值，在于把“能不能迁、迁哪里、怎么迁”三个问题在动手之前就回答清楚。离线程序不是现场程序的草稿，而是需要经过翻译和验证的源材料。只有把模块层级、指令分类、数据依赖和风险等级都梳理明白，现场调试才能从“试错”转向“验证”。