Émetteur-récepteur HF — transitions sûres
Machine d’états RX/TX et séquençage
Formaliser les passages réception, préparation émission, émission active, défaut et récupération.
Organisation fonctionnelle
RX→Demande PTT→PREPARE_TX→Relais prêts→Bias PA→TX_ACTIVE→Défaut→FAULT→RECOVERY
Point critique : Le PTT ne doit jamais être traité comme un simple booléen qui active immédiatement le PA.
États minimaux
RX représente la configuration de réception normale.
PREPARE_TX réalise les commutations et vérifications.
TX_ACTIVE n’est atteint que lorsque tous les interverrouillages sont validés.
Transitions
Chaque transition a une condition d’entrée et une action de sortie.
Un timeout empêche de rester bloqué dans un état intermédiaire.
Les défauts interrompent la transition en cours.
Retour RX
L’excitation RF est supprimée en premier.
La polarisation PA est ensuite coupée.
Les relais reviennent enfin en réception.
Repères d’ingénierie
TX autorisé = PTT demandé ∧ bande valide ∧ relais prêts ∧ T° OK ∧ ROS OK
Timeout de transition → FAULT
État initial au boot = RX sécurisé
Contrôles systématiques
- Conserver RX comme état sûr par défaut.
- Valider chaque commande avant action matérielle.
- Mesurer le pire temps d’exécution.
- Tester les capteurs invalides et pertes de communication.
- Associer chaque correction à un test de régression.
Procédure recommandée
Validation : toute panne logicielle simulée doit ramener le matériel vers un état réception sûr et explicite.