Skip to main content

协议概述

了解 ALL、语言引擎、FSP 与设备边界。

接口契约

传输无关的三段结构、修订和系统任务。

编译/解释器

生成类型化中间程序。

仿真器

验证参数、状态和系统围栏。

执行器

下发操作并核验实际结果。

FSP 概述

理解对象、操作和系统三段模型。

接口定义

查看被动设备接口的完整请求与响应。

错误与诊断

统一错误代码、状态和恢复语义。

安全要求

对象、操作和系统的安全围栏。

符合性

实现声明和最小测试要求。