Embedded

Архив рубрики ‘embedded’

24
Апр
2026

Как я разрабатывал отказоустойчивый промышленный контроллер. Ч1

Я, автор , независимый исследователь, разработчик SCADA системы Gatherlog

Опубликовано в embedded, fault-tolerant, fpga, асутп, изобретения, микроконтроллеры

19
Апр
2026

Design by Contract в эпоху AI: как контракты Мейера защищают криптографию там, где тесты молчат

Design by Contract Мейера не взлетел в 1986 из-за двойной работы. AI-агент убирает вторую половину. Я построил PKI-систему с аппаратным TRNG, формальными контрактами на криптографию и открытым репозиторием, чтобы это проверить. 1. Проблема: AI ломает быстрее, чем люди чинят

Опубликовано в ai, Design by Contract, embedded, NIST, PKI, TRNG, безопасность, контракты, Криптография

11
Ноя
2025