Gretel Builder

Gretel Builder là trình biên tập trực quan máy trạng thái hữu hạn (FSM) được Logitale phát triển nội bộ cho firmware nhúng. Gretel mô hình hóa trực quan vòng đời ứng dụng — trạng thái, chuyển tiếp, điều kiện, hành động — và tạo ra một dự án C hoàn chỉnh, sẵn sàng biên dịch, tuân thủ các quy tắc MISRA-C được áp dụng trong ngành ô tô, hàng không vũ trụ và y tế. Bộ kiểm tra tích hợp (tính nhất quán của chuyển tiếp, tính duy nhất của định danh, hệ thống phân cấp tổng hợp) và lớp trừu tượng phần cứng đồng nhất (HAL) tách biệt logic nghiệp vụ khỏi SoC. Đa nền tảng: ESP32 và nRF52 được hỗ trợ và xác minh trên phần cứng thực; STM32 đang trong lộ trình. Mục tiêu: giảm các lỗi cấu trúc của firmware bằng cách hiển thị chúng ngay từ giai đoạn thiết kế, thay vì khi thực thi.