1. SavaTrig库概述：面向工业自动化的IEC 61131-3标准触发器实现

SavaTrig是一个专为Arduino平台设计的轻量级逻辑触发器库，其核心目标是将IEC 61131-3可编程逻辑控制器（PLC）标准中定义的五种基础触发器行为，无缝移植到资源受限的8位/32位微控制器环境中。该库并非简单的布尔逻辑封装，而是严格遵循工业自动化领域对时序行为、状态保持、边沿检测和优先级处理的工程要求，解决了嵌入式开发者在实现按钮消抖、脉冲计数、双稳态控制及安全互锁等典型场景时反复编写状态机代码的痛点。

在传统Arduino开发中，实现一个可靠的上升沿检测往往需要维护前一周期的输入状态变量、添加防抖延时逻辑、处理中断与主循环的同步问题；而构建一个带复位优先的RS锁存器则需手动管理多个条件分支与状态变量。SavaTrig通过高度内聚的函数接口，将这些复杂的状态转换逻辑封装为单次函数调用，开发者仅需关注信号源（如 digitalRead() 返回值）与触发器输出的语义关联，无需关心底层状态存储与时序判定细节。所有函数均设计为无副作用、无动态内存分配、无阻塞等待，完全适配Arduino loop() 的循环执行模型——每次调用即完成一次完整的状态采样、边沿判断与输出更新，时间开销稳定在数十纳秒量级（以AVR ATmega328P为例，RT/FT函数汇编指令数<15条），确保在毫秒级循环周期内不引入可观测延迟。

该库的工程价值在于其“工业级语义”的精确落地：它不提供模糊的“按键按下”抽象，而是明确区分 R_TRIG （仅在0→1跳变瞬间输出高电平1个周期）、 F_TRIG （仅在1→0跳变瞬间输出高电平1个周期）、 T_TRIG （每来一次上升沿翻转输出）、 RS_TRIG （复位优先锁存）与 SR_TRIG （置位优先锁存）。这种对IEC标准的忠实实现，使得基于SavaTrig编写的Arduino控制逻辑，其行为可直接映射到主流PLC（如Siemens S7、Rockwell Logix）的梯形图程序，极大降低了从原型验证到工业现场部署的技术迁移成本。

2. 核心触发器功能详解与工程实现原理

2.1 R_TRIG（上升沿触发器）：精准捕获信号启动时刻

R_TRIG （在SavaTrig中简写为 RT() 函数）的核心功能是检测输入信号从逻辑低电平（ false / 0 ）向高电平（ true / 1 ）的瞬时跳变，并在跳变发生的 当且仅当一个Arduino主循环周期内 ，将输出置为 true ，其余时间保持 false 。这一行为严格对应IEC 61131-3标准中对 R_TRIG 的定义，其本质是一个单周期脉冲发生器，用于标记事件的“开始”。

工程实现原理 ：
RT() 函数内部维护一个静态（ static ）布尔变量 prev_input ，用于存储上一次调用时的输入状态。每次调用时，执行三步原子操作：

1. 读取当前输入值 curr_input ；
2. 判断是否满足 prev_input == false && curr_input == true （即0→1跳变）；
3. 更新 prev_input = curr_input ，为下次调用准备。

此设计的关键在于 状态存储的局部性与无锁性 ：所有状态变量均声明为函数内 static ，避免全局变量污染命名空间；状态更新与输出判定在同一函数作用域内完成，无需临界区保护，彻底规避多任务环境下的竞态风险。其C++实现骨架如下：

bool RT(bool input) {
    static bool prev_input = false; // 静态变量，首次调用初始化为false
    bool output = (prev_input == false && input == true); // 上升沿检测
    prev_input = input; // 更新历史状态
    return output;
}

典型应用场景与代码示例 ：

• 按钮计数 ：将机械按钮接入数字引脚，每按一次产生一个上升沿， RT() 输出 true 仅维持一个 loop() 周期，配合计数器实现无重复计数。
• 单次初始化 ：在系统上电后首次检测到某个使能信号时，执行一次性的硬件配置（如初始化SPI外设、加载EEPROM参数），避免在 setup() 中无法响应动态信号的问题。

// 示例：使用RT()实现单次按钮计数
const int BUTTON_PIN = 2;
int click_count = 0;

void loop() {
    bool button_state = digitalRead(BUTTON_PIN) == HIGH;
    if (RT(button_state)) { // 仅在上升沿为true时执行
        click_count++;
        Serial.print("Button clicked! Count: ");
        Serial.println(click_count);
    }
    delay(10); // 模拟循环周期，实际项目中应避免delay()
}

2.2 F_TRIG（下降沿触发器）：可靠捕捉信号结束时刻

F_TRIG （SavaTrig中为 FT() 函数）与 R_TRIG 互为镜像，专注于检测输入信号从高电平（ true ）向低电平（ false ）的跳变，并在跳变发生的 唯一一个主循环周期内 输出 true 。其工程意义在于精确标记事件的“结束”，例如按钮释放、传感器信号消失或定时器超时。

工程实现原理 ：
FT() 的实现逻辑与 RT() 高度对称，仅将跳变条件由 0→1 改为 1→0 。同样依赖 static 变量 prev_input 存储历史状态，通过 prev_input == true && input == false 判定下降沿。该设计保证了与 RT() 相同的零开销、无竞争特性。

bool FT(bool input) {
    static bool prev_input = false;
    bool output = (prev_input == true && input == false); // 下降沿检测
    prev_input = input;
    return output;
}

典型应用场景与代码示例 ：

• 脉冲宽度测量 ：将 RT() 与 FT() 组合使用，配合 millis() 或 micros() 计时器，可精确计算外部信号的高电平持续时间。 RT() 记录起始时间戳， FT() 记录结束时间戳，差值即为脉宽。
• 释放动作触发 ：在智能家居中，长按按钮进入配网模式，松开按钮时触发配网流程启动，此时 FT() 的输出作为配网指令的使能信号。

// 示例：使用RT()和FT()测量脉冲宽度
const int SIGNAL_PIN = 3;
unsigned long pulse_start = 0;
bool is_measuring = false;

void loop() {
    bool signal_state = digitalRead(SIGNAL_PIN) == HIGH;
    
    if (RT(signal_state)) { // 检测到上升沿，记录起始时间
        pulse_start = micros();
        is_measuring = true;
    }
    
    if (FT(signal_state) && is_measuring) { // 检测到下降沿，计算脉宽
        unsigned long pulse_width = micros() - pulse_start;
        Serial.print("Pulse width: ");
        Serial.print(pulse_width);
        Serial.println(" us");
        is_measuring = false;
    }
}

2.3 T_TRIG（翻转触发器）：实现双稳态切换控制

T_TRIG （SavaTrig中为 TT() 函数）是一种边沿触发的双稳态器件，其输出状态在每次接收到输入信号的 上升沿 时发生翻转（ true ↔ false ）。该行为完美模拟了物理世界中的“自锁按钮”或“脉冲继电器”，是实现“单键开关”（如灯光控制、模式切换）的理想工具。

工程实现原理 ：
TT() 内部维护两个 static 变量： prev_input 用于边沿检测， output_state 用于存储当前输出状态。其状态转移逻辑为：当检测到上升沿（ prev_input==false && input==true ）时，对 output_state 执行异或（XOR）操作（即 output_state = !output_state ），否则保持原状。此设计确保输出状态仅在有效边沿到来时改变，对输入电平的持续时间、抖动完全免疫。

bool TT(bool input) {
    static bool prev_input = false;
    static bool output_state = false;
    
    if (prev_input == false && input == true) { // 上升沿触发翻转
        output_state = !output_state;
    }
    prev_input = input;
    return output_state;
}

典型应用场景与代码示例 ：

• 单按钮灯光控制 ：一个物理按钮控制一盏LED的亮/灭切换， TT() 的输出直接驱动LED引脚或继电器控制信号。
• 运行/停止模式切换 ：在电机控制中， TT() 输出作为主控使能信号，避免因按钮粘连导致的误启停。

// 示例：单按钮控制LED亮灭
const int BUTTON_PIN = 4;
const int LED_PIN = 13;

void setup() {
    pinMode(BUTTON_PIN, INPUT_PULLUP); // 内部上拉，按钮按下为LOW
    pinMode(LED_PIN, OUTPUT);
}

void loop() {
    // 注意：BUTTON_PIN为低电平有效，需取反
    bool button_pressed = digitalRead(BUTTON_PIN) == LOW;
    bool led_state = TT(button_pressed); // 每次按下翻转LED状态
    
    digitalWrite(LED_PIN, led_state ? HIGH : LOW);
}

2.4 RS_TRIG（复位优先锁存器）：构建安全关键型互锁逻辑

RS_TRIG （SavaTrig中为 RS() 函数）是一种双输入的双稳态锁存器，具有 SET （置位）和 RESET （复位）两个独立控制端。其核心特征是 复位优先（Reset-Dominant） ：当 SET 与 RESET 同时为 true 时，输出强制为 false 。这一设计源于工业安全规范——在紧急停机（E-Stop）与正常启动（Start）信号可能同时出现的场景下，必须确保“停止”指令拥有最高优先级，防止设备意外启动。

工程实现原理 ：
RS() 函数不依赖输入边沿，而是对当前输入电平进行组合逻辑运算。其真值表直接映射为C语言的条件表达式：

• 若 reset == true ，输出必为 false （优先级最高）；
• 否则，若 set == true ，输出为 true ；
• 否则，输出保持上一周期状态（通过 static 变量 output_state 实现）。

此实现完全符合IEC 61131-3对 RS 触发器的定义，且无任何隐含状态泄漏。

bool RS(bool set, bool reset) {
    static bool output_state = false;
    
    if (reset) {
        output_state = false; // 复位优先
    } else if (set) {
        output_state = true;  // 置位
    }
    // else: 保持原状态
    return output_state;
}

典型应用场景与代码示例 ：

• 电机安全控制 ： SET 连接启动按钮， RESET 连接急停按钮。即使启动按钮被卡住（ set==true ），只要急停被按下（ reset==true ），电机立即停止。
• 输送带联锁 ：多段输送带中，任一环节故障（ reset==true ）将强制整条线停止，不受其他段启动信号影响。

// 示例：电机启停安全控制
const int START_BTN = 5;
const int STOP_BTN = 6;
const int MOTOR_CTRL = 9;

void loop() {
    bool start_signal = digitalRead(START_BTN) == HIGH;
    bool stop_signal = digitalRead(STOP_BTN) == HIGH;
    
    bool motor_run = RS(start_signal, stop_signal); // 停止信号优先
    
    digitalWrite(MOTOR_CTRL, motor_run ? HIGH : LOW);
    
    // 可选：添加状态指示
    digitalWrite(LED_BUILTIN, motor_run ? HIGH : LOW);
}

2.5 SR_TRIG（置位优先锁存器）：实现高可靠性任务执行逻辑

SR_TRIG （SavaTrig中为 SR() 函数）同样是双输入锁存器，但其优先级策略与 RS_TRIG 相反：当 SET 与 RESET 同时为 true 时，输出强制为 true 。这种“置位优先（Set-Dominant）”特性适用于那些 任务执行比过程终止更为关键 的场景，例如消防泵启动、报警器激活等，确保在传感器故障或信号干扰导致 RESET 误触发时，关键安全功能仍能可靠执行。

工程实现原理 ：
SR() 的逻辑与 RS() 对称：首先检查 set ，若为 true 则输出 true ；否则再检查 reset ，若为 true 则输出 false ；否则保持原状态。其简洁的条件链保证了确定性的优先级执行顺序。

bool SR(bool set, bool reset) {
    static bool output_state = false;
    
    if (set) {
        output_state = true;  // 置位优先
    } else if (reset) {
        output_state = false; // 复位
    }
    return output_state;
}

典型应用场景与代码示例 ：

• 火灾报警系统 ：烟雾传感器输出 set 信号，手动消音按钮输出 reset 信号。当火灾发生（ set==true ）时，无论是否按下消音（ reset==true ），警报必须持续鸣响（ output==true ），直至火情解除（ set==false ）后消音才生效。
• 水泵强制启动 ：当水位传感器失效（ reset 信号丢失）时，操作员可通过硬线按钮（ set ）强制启动水泵，保障供水安全。

// 示例：火灾报警器（置位优先）
const int SMOKE_SENSOR = A0;
const int SILENCE_BTN = 7;
const int ALARM_PIN = 10;

void loop() {
    // 模拟传感器：模拟值>500视为火警
    int sensor_val = analogRead(SMOKE_SENSOR);
    bool fire_alarm = (sensor_val > 500);
    
    bool silence_pressed = digitalRead(SILENCE_BTN) == HIGH;
    
    // 火警信号（set）优先于消音（reset）
    bool alarm_active = SR(fire_alarm, silence_pressed);
    
    digitalWrite(ALARM_PIN, alarm_active ? HIGH : LOW);
}

3. API接口规范与参数配置详解

SavaTrig库提供五个纯函数式API，无类封装，无构造函数，最大限度降低内存与CPU开销。所有函数均声明为 inline （若编译器支持）或通过宏定义优化，确保调用开销趋近于零。下表详述各API的签名、参数语义、返回值及关键约束：

函数名	原型	参数说明	返回值	关键约束
RT	bool RT(bool input)	input : 当前输入信号电平（ true =高， false =低）	true 仅在 input 由 false → true 跳变时返回，否则 false	输入必须为稳定电平；高频噪声需在硬件或 loop() 外预处理
FT	bool FT(bool input)	input : 当前输入信号电平	true 仅在 input 由 true → false 跳变时返回，否则 false	同 RT ，对输入稳定性有相同要求
TT	bool TT(bool input)	input : 当前输入信号电平	输出状态在每次 input 上升沿时翻转；初始状态为 false	仅响应上升沿，对下降沿及电平持续时间无响应
RS	bool RS(bool set, bool reset)	set : 置位信号； reset : 复位信号	reset 为 true 时输出 false （最高优先级）；否则 set 为 true 时输出 true ；否则保持原状态	set 与 reset 不可同时为 true （若发生，按复位优先处理）
SR	bool SR(bool set, bool reset)	set : 置位信号； reset : 复位信号	set 为 true 时输出 true （最高优先级）；否则 reset 为 true 时输出 false ；否则保持原状态	set 与 reset 不可同时为 true （若发生，按置位优先处理）

参数配置与工程实践要点 ：

• 输入信号预处理 ：SavaTrig不内置硬件消抖，工程师需根据传感器特性选择预处理方式。对于机械按钮，推荐在 loop() 中采用“多次采样+阈值判断”软件消抖（如连续5ms读取相同值）；对于光电开关等数字传感器，可直接使用 digitalRead() 。
• static 变量生命周期 ：所有函数内部 static 变量在Arduino上电后初始化一次，其值在 setup() 与 loop() 间持久存在，无需额外初始化。
• 实时性保障 ：为确保边沿检测精度， loop() 周期应显著大于MCU时钟周期（如16MHz AVR上 loop() 周期建议>100μs），避免因循环过快导致相邻周期间无法分辨真实边沿。
• 多实例支持 ：每个函数可被同一信号源多次调用（如一个按钮同时驱动 RT() 和 TT() ），因各自维护独立 static 状态，互不干扰。

4. 与嵌入式生态系统的集成实践

4.1 与HAL/LL库协同工作（以STM32为例）

在基于STM32CubeMX生成的HAL工程中，SavaTrig可无缝集成于 HAL_GPIO_ReadPin() 或 HAL_GetTick() 获取的信号流中。例如，使用HAL库读取GPIO引脚状态并驱动 RT() ：

// STM32 HAL + SavaTrig 示例
#include "main.h"
#include "sava_trig.h" // SavaTrig头文件

extern GPIO_TypeDef* BUTTON_GPIO_Port;
extern uint16_t BUTTON_Pin;

uint32_t button_clicks = 0;

void HAL_TIM_PeriodElapsedCallback(TIM_HandleTypeDef *htim) {
    if (htim->Instance == TIM2) { // 1ms定时器中断
        bool button_state = (HAL_GPIO_ReadPin(BUTTON_GPIO_Port, BUTTON_Pin) == GPIO_PIN_SET);
        if (RT(button_state)) {
            button_clicks++;
        }
    }
}

4.2 在FreeRTOS任务中安全使用

SavaTrig函数本身无阻塞、无动态内存分配，天然适合FreeRTOS环境。在任务中调用时，需注意：

• 若信号源来自共享外设（如I2C传感器），需在读取信号前获取相应互斥信号量；
• RT() / FT() 的单周期脉冲特性，在RTOS中仍保持精确，因其判定基于任务执行时的瞬时采样，而非绝对时间。

// FreeRTOS任务示例
void vTriggerTask(void *pvParameters) {
    const TickType_t xDelay = pdMS_TO_TICKS(10); // 10ms周期
    
    for(;;) {
        // 假设button_state由共享队列或全局变量提供，已加锁保护
        bool button_state = get_button_state(); 
        if (RT(button_state)) {
            xQueueSend(trigger_queue, &button_state, 0); // 发送触发事件
        }
        vTaskDelay(xDelay);
    }
}

4.3 与传感器驱动的典型集成模式

以DHT22温湿度传感器为例，其数据线为单总线， digitalRead() 返回值不稳定。此时应将SavaTrig置于传感器驱动之上层逻辑中，仅对已解析出的有效数据（如温度变化超过阈值）进行触发：

// DHT22 + SavaTrig 温度越限报警
float last_temp = 0.0;
const float TEMP_THRESHOLD = 30.0;

void loop() {
    float current_temp = dht.readTemperature(); // 假设dht为DHT对象
    if (isnan(current_temp)) return;
    
    // 仅当温度首次超过阈值时触发（上升沿）
    bool temp_exceeded = (current_temp >= TEMP_THRESHOLD);
    if (RT(temp_exceeded)) {
        activate_alarm(); // 启动声光报警
    }
    
    last_temp = current_temp;
}

5. 工程调试与常见问题排查

5.1 边沿检测失效的根因分析

• 现象 ： RT() / FT() 始终不返回 true 。
• 根因与解决 ：
  1. 输入未稳定 ： digitalRead() 在信号跳变过程中被调用，返回中间电平。 解决 ：增加硬件RC滤波或软件消抖。
  2. loop() 周期过短 ：MCU在信号跳变前后两次采样均得到相同电平。 解决 ：确保 loop() 执行时间 > 信号建立时间（通常>10μs）。
  3. 引脚配置错误 ：未启用内部上拉/下拉，导致浮空输入。 解决 ： pinMode(pin, INPUT_PULLUP) 或 INPUT_PULLDOWN 。

5.2 锁存器状态异常的诊断

• 现象 ： RS() / SR() 输出不随输入变化。
• 根因与解决 ：
  1. 输入极性错误 ：将常开按钮误接为常闭逻辑。 解决 ：用万用表验证 digitalRead() 返回值与物理状态对应关系。
  2. 优先级误解 ：期望 RS() 在 set=1, reset=1 时输出 1 。 解决 ：重读IEC标准，确认复位优先设计意图。
  3. static 变量被意外重置 ：在非标准启动流程（如看门狗复位）中，部分平台 static 变量可能未正确初始化。 解决 ：在 setup() 中显式调用一次 RS(false,false) 强制初始化。

5.3 资源占用实测数据（AVR ATmega328P @ 16MHz）

函数	Flash占用	RAM占用	最大执行周期（CPU cycles）
RT / FT	24 bytes	1 byte ( static bool)	12
TT	32 bytes	2 bytes ( static bool ×2)	18
RS / SR	28 bytes	1 byte ( static bool)	14

所有函数均未使用堆栈（stack）变量，RAM占用恒定，无运行时增长风险，完全满足超低功耗嵌入式应用需求。