AI 中文总结
针对嵌入式系统异构串行通信协议的需求，提出与协议无关的统一消息模型及配套方法，经工业工具验证可支撑自动化工具链的相关工作。
AI 中文摘要
现代嵌入式系统日益复杂，通常集成控制器、传感器、执行器及支撑子系统等大量异构设备，因此其开发与集成涉及从标准化方案到部分标准化、完全项目自定义格式的多种串行通信协议。此类系统的高效开发愈发依赖自动化工具链，而工具链需要清晰、统一且可机器处理的形式化基础。本文提出一种与协议无关的统一消息模型，用于显式且确定性地描述串行消息，该模型基于数据类型、原子消息元素（容器）及完整消息结构的形式化定义。除模型本身外，本文还介绍了基于该模型的实用方法，包括用于表达结构约束、支持确定性自动化的可配置消息类型，以及面向工程应用的可配置用户表示，以实现便捷的阅读与编辑。所提模型与方法通过在工业工具环境中实现得到验证，结果表明该方法可支持机器可读的接口控制文档开发、传输层软件的自动化生成，以及标准化与弱形式化串行协议的实际工程工作。综上，所提模型、方法及工具实现为异构串行通信开发的自动化工具链提供了实用基础。
英文摘要
Modern embedded systems are becoming increasingly complex and typically integrate numerous heterogeneous devices, such as controllers, sensors, actuators, and supporting subsystems. As a result, their development and integration involve a wide variety of serial communication protocols, ranging from standardized solutions to partially standardized and fully project-defined formats. Efficient development of such systems increasingly depends on automation toolchains, which in turn require a clear, unified, and machine-processable formal basis. This paper proposes a unified, protocol-agnostic message model for explicit and deterministic description of serial messages. The model is based on formal definition of data types, atomic message elements (containers), and complete message structure. In addition to the model itself, the paper introduces methods for practical work with it, including configurable message types for expressing structural constraints and supporting deterministic automation, as well as configurable user representations for engineering-oriented reading and editing. The proposed model and methods are demonstrated through implementation in an industrial tool environment. The results show that the approach can support machine-readable interface control document development, automated generation of transport-layer software, and practical engineering work with both standardized and weakly formalized serial protocols. Taken together, the proposed model, methods, and tool implementation provide a practical foundation for automation toolchains in heterogeneous serial communication development.
CommentsSubmitted to Software and Systems Modeling (SoSyM)
