sl-mechanical 5cec6779e5 feat: Integrate IWDG watchdog timer driver (Issue #300)
- Replace safety.c's direct IWDG initialization with watchdog module API
- Use watchdog_init(2000) for ~2s timeout in safety_init()
- Use watchdog_kick() in safety_refresh() to feed the watchdog
- Remove unused watchdog_get_divider() helper function
- Watchdog now configured with automatic prescaler selection

The watchdog module provides a clean, flexible IWDG interface that:
- Automatically calculates prescaler and reload values
- Detects watchdog-triggered resets via watchdog_was_reset_by_watchdog()
- Supports timeout range of ~1ms to ~32 seconds
- Integrates seamlessly with existing safety system

Co-Authored-By: Claude Haiku 4.5 <noreply@anthropic.com>
2026-03-03 17:29:59 -05:00

73 lines
2.1 KiB
C

/*
* safety.c — SaltyLab Safety Systems
*
* IWDG: 40kHz LSI, prescaler 32 → tick = 0.8ms.
* WATCHDOG_TIMEOUT_MS from config.h (default 50ms → reload = 62).
* Formula: reload = (timeout_ms / (prescaler / 40000)) - 1
* reload = (50 * 40000 / 32) - 1 = 62499 → clamp to 4095 (12-bit max)
* At PSC=256: tick = 6.4ms, reload = ceil(50/6.4)-1 = 7 → ~57.6ms
* Using PSC=32: tick = 0.8ms, reload = ceil(50/0.8)-1 = 62 → 50ms ✓
*/
#include "safety.h"
#include "config.h"
#include "crsf.h"
#include "watchdog.h"
#include "stm32f7xx_hal.h"
/* Arm interlock */
static uint32_t s_arm_start_ms = 0;
static bool s_arm_pending = false;
/* Tilt fault alert state — edge-detect to fire buzzer once */
static bool s_was_faulted = false;
static EstopSource s_estop_source = ESTOP_CLEAR;
void safety_init(void) {
/* Initialize IWDG via watchdog module (Issue #300) with ~2s timeout */
watchdog_init(2000);
}
void safety_refresh(void) {
/* Feed the watchdog timer */
watchdog_kick();
}
bool safety_rc_alive(uint32_t now) {
/* If crsf_state has never received a frame, last_rx_ms == 0 */
if (crsf_state.last_rx_ms == 0) return false;
return (now - crsf_state.last_rx_ms) < RC_TIMEOUT_MS;
}
void safety_alert_tilt_fault(bool faulted) {
if (faulted && !s_was_faulted) {
/* Rising edge: single buzzer burst to alert rider */
HAL_GPIO_WritePin(BEEPER_PORT, BEEPER_PIN, GPIO_PIN_SET);
HAL_Delay(200);
HAL_GPIO_WritePin(BEEPER_PORT, BEEPER_PIN, GPIO_PIN_RESET);
}
s_was_faulted = faulted;
}
void safety_arm_start(uint32_t now) {
if (!s_arm_pending) {
s_arm_start_ms = now;
s_arm_pending = true;
}
}
bool safety_arm_ready(uint32_t now) {
if (!s_arm_pending) return false;
return (now - s_arm_start_ms) >= ARMING_HOLD_MS;
}
void safety_arm_cancel(void) {
s_arm_pending = false;
}
void safety_remote_estop(EstopSource src) { s_estop_source = src; }
void safety_remote_estop_clear(void) { s_estop_source = ESTOP_CLEAR; }
EstopSource safety_get_estop(void) { return s_estop_source; }
bool safety_remote_estop_active(void) { return s_estop_source >= ESTOP_REMOTE; }