Gretel Builder

Gretel Builder est un éditeur visuel de machines à états finis (FSM) développé en interne par Logitale pour le firmware embarqué. Gretel conçoit graphiquement le cycle de vie de l'application — états, transitions, conditions, actions — et génère un projet C complet, prêt à compiler, conforme aux règles MISRA-C en vigueur dans l'automobile, l'aéronautique et le médical. Validateurs intégrés (cohérence des transitions, unicité des identifiants, hiérarchie des composites) et abstraction matérielle uniforme (HAL) pour découpler la logique métier du SoC. Multi-plateforme : ESP32 et nRF52 supportés et vérifiés sur du hardware réel ; STM32 sur la roadmap. L'objectif : réduire les erreurs structurelles du firmware en les rendant visibles à la conception, plutôt qu'à l'exécution.