Для того, чтобы легче было изучать АДА. Чтобы писать программы, на которые можно получить сертификат. Или есть программы на Обероне, с успешным опытом получения этих сертификатов?
Цитата:
Некорректная работа таких систем представляет угрозу здоровью или жизни людей (например, может привести к аварии на транспорте), может нанести существенный ущерб окружающей среде
(в частности, посредством выброса на вредном производстве) или чревата значительным экономическим ущербом (таким как потерей космического аппарата). Компьютеров, критически важных для безопасности, становится все больше, и отсутствие ошибок в их встроенном ПО приобретает все большую значимость. Поэтому различные отрасли ввели сертификацию ПО по специальным отраслевым стандартам безопасности, таким как DO-178 (авионика), IEC 61508 (промышленное оборудование), IEC 60880 (атомная энергетика), EN 50128 (железнодорожные системы), ISO 26262 (автоэлектроника) и IEC 62304 (медицинское оборудование).
Из статьи с сайта controlengrussia.com