Страничка эмбеддера, Форум

Компания AdaCore объявила конкурс среди разработчиков встраиваемых систем на основе ARM. Подробнее см.

http://www.makewithada.org/

Хорошая попытка, AdaCore. Однако, на Си эмбедить мы не бросим, 1488.

One of the most dramatic examples of checking being too draconian is the Ariane rocket destruction. Ada threw an exception when a value went out of bounds. That variable was not even required at the time. It could have been a random generated value and it would not have mattered. But Ada cared so much about one little variable that it blew up the rocket. That would never have happened with C (sure other problems might have).(c)

That would never have happened with C

Можно поспорить. Все зависит не от языка а от инструментов. Си- предельно эффективный язык, а ада, как и паскаль - попытка сделать более безопасный язык. Но сейчас инструменты позволяют и в си проверить все эти исключения.

Ariane 5... Сколько лет прошло...

Да, там было переполнение. Но не в этом возможно суть. Модуль, допустивший переполнение был позаимствован с предыдущего поколения ракеты и не был предназначен для работы в режиме штатном для нового поколения ракеты. И может оно к лучшему, что ракета самоуничтожилась?