системы реального времени
-
Хабрахабр
[Перевод] Управление робототехникой в реальном времени с помощью языка Lean
Подразделение Microsoft Research недавно опубликовало предварительный релиз Lean 4. Предыдущие версии Lean были сосредоточены на том, чтобы быть помощником по доказательствам — программным инструментом, который облегчает разработку строгих математических доказательств с помощью интерактивной совместной работы человека и машины. До сих пор язык Lean в основном применялся для оцифровки теоретической математики. Главная цель Lean 4 — сделать Lean хорошим языком программирования, а не просто помощником…
Читать далее » -
Хабрахабр
RTOS или не RTOS вот в чем вопрос
На написание данной статьи меня побудила длинная ветка комментариев (дискуссией это я назвать, к сожалению, не могу) к моей недавней статье “Многообразный мир embedded systems и место Embox в нем”. Меня в нескольких местах упрекнули в том, что я путаю RTOS и Embedded OS, что я назвал LynxOS, QNX и VxWorks не RTOS, хотя на мой взгляд, я такого, конечно,…
Читать далее »