системы реального времени

  • ХабрахабрФото [Перевод] Управление робототехникой в реальном времени с помощью языка Lean

    [Перевод] Управление робототехникой в реальном времени с помощью языка Lean

    Подразделение Microsoft Research недавно опубликовало предварительный релиз Lean 4. Предыдущие версии Lean были сосредоточены на том, чтобы быть помощником по доказательствам — программным инструментом, который облегчает разработку строгих математических доказательств с помощью интерактивной совместной работы человека и машины. До сих пор язык Lean в основном применялся для оцифровки теоретической математики. Главная цель Lean 4 — сделать Lean хорошим языком программирования, а не просто помощником…

    Читать далее »
  • ХабрахабрФото RTOS или не RTOS вот в чем вопрос

    RTOS или не RTOS вот в чем вопрос

    На написание данной статьи меня побудила длинная ветка комментариев (дискуссией это я назвать, к сожалению, не могу) к моей недавней статье “Многообразный мир embedded systems и место Embox в нем”. Меня в нескольких местах упрекнули в том, что я путаю RTOS и Embedded OS, что я назвал LynxOS, QNX и VxWorks не RTOS, хотя на мой взгляд, я такого, конечно,…

    Читать далее »


Кнопка «Наверх»