Вход Наше всё Теги codebook 无线电组件 Поиск Опросы Закон Четверг
8 мая

О смысле всего сущего 0xFF Средства и методы разработки Мобильная и беспроводная связь Блошиный рынок Объявления

Микроконтроллеры PLD, FPGA, DSP AVR PIC ARM, RISC-V Технологии Кибернетика, автоматика, протоколы Схемы, платы, компоненты

Средства и методы разработки

Evgeny_CD^{Архитектор} (28.02.2020 00:49 - 00:53, просмотров: 1663)

[Язык программирования SPARK] С подачи OlegPowerC -> --> ADA с какими-то модификациями. http://caxapa.ru/981960.html
http://caxapa.ru/980998.html
https://en.wikiped …_(programming_language) Брать вроде тут. Bare Metal (ARM, RISC-V) - это для нас, как я понял. https://www.adacor …com/gnatpro/comparison https://blog.adaco …spark-on-arm-cortex-m4 http://www.inspire …ntation_And_Tools.html

Ответить

- OlegPowerC, можешь поделиться опытом и ощущениями от использования языка? - Evgeny_CD(28.02.2020 00:56)
  - Опыт пока маленький - выложу что нибудь стоещее на GitHub а ощущение отличное, от SPARK особенно - OlegPowerC(28.02.2020 01:14)
    - Вот проект на ADA например (STM32) - OlegPowerC(28.02.2020 01:17, ссылка)
      - Ничего себе! Интересно, насколько больше кода надо писать для реализации в будущем формальной верификации? - Evgeny_CD(28.02.2020 01:22)
      - Не мой Ж-) - OlegPowerC(28.02.2020 01:17)