c语言标准输入st,ST语言中定时器转换为C语言的研究

⑴ 初始状态Init。表示定时器不工作，初始化定时器各参数。

⑵ 工作状态Work。表示定时器处于运行时，时钟开始计时，且在该状态下始终满足ET处于范围(0，PT)。

⑶ 输出状态Tout。表示ET=PT，改变定时器输出值Q。

再将定时器内部计算过程模拟为变迁，通过改变变迁使能的顺序，达到定时器输入/输出动作切换的目的，从而實现ST语言中定时器到时间自动机的转换。

基于上述对ST定时器建模原理的阐述，结合IEC61131-3标准对定时器的定义，在建模实现过程中将定时器定义为结构体类型，如表1所示。IN为输入的使能变量，PT为输入的预设时间变量，ET为输出的当前已计时间变量，Q为输出的输出值变量。

针对不同功能的定时器具体建模，从而得到各类定时器的时间自动机模型。本文以TON为例构建的定时器模型如图2所示。

2 C语言中定时器函数建模

对于定时器转换后的C函数，本文采用中间形式的表示方法，将相应的定时函数转换为时间自动机。C语言中的定时器函数是根据定时器特性所实现的，这里以TON函数为例，该函数实现的伪代码如表2。由于ST中功能块的输出结果是可以存取的，因此在C函数中输出变量的类型为指针数据类型。函数体中的CurTime()函数返回系统当前时间。

2.1 建模原理

C程序到时间自动机的转换采用中间表示(Intermediate Representation， IR)的形式。根据时间自动机语法和语义，IR具有满足条件Ci(TA中的guard)和赋值Ai(TA中的迁移)两个表达式。赋值表达式Ai具有“v：=e”形式，其中v是变量，e是表达式。条件C和表达式e定义如下(其中◇为比较操作)