用于控制与信号应用的形式说明语言

PiSPEC是一种专门用于控制与信号工程的形式语言。 该语言可详细说明应用设计以及测试和安全要求。特点是，PiSPEC可使您创建独立于应用的通用说明。这些说明可以通过（定义轨道布置图、区域划分以及信号和道岔分布）应用配置，用于自动生成应用说明。 PiSPEC可用于开发三种形式的说明。

通用安全说明

这些说明对应用安全要求做出规定。例如，安全要求规定两个相反的信号灯不得不顾应用输入同时进行示象。

通用测试说明

这些说明对应用安全要求做出规定。例如，一种测试要求规定列车通过铁路轨道之后的5秒内，轨道电路的路锁应开启。

通用设计说明

这些说明对包括路锁、车速显示标志、信号示象与要求显示以及指示标志在内的一切应用设计细节和因素的系统功能加以规定。