> уже не первый год от них добится пытаемся. :)

Еще надо к питанию не подключать, чтобы уж наверняка.

>> А так то тесты конечно да, но опять же ресурсов не бесконечно
>> и обвешивать все тестами - нафиг надо.
> Не понимаю как без модульных, системных, стресс тестов (в том числе климатических
> и прочее) можно тогда говорить о "Critical" и личной ответственности? Глупо
> быть обвиненным в кривости изделия, не проверив его в полном объеме.

Если говорить об этом - вы кого пытаетесь за дурака держать? Ну невозможно в полном объеме протестировать любую мало-мальски сложную систему. Все кто в теме об этом прекрасно в курсе. То что мой decision making на предмет что тестить хуже тойотовского - можно поспорить :)

А, на поржать, в этом вашем пыхтонрасте то на что налетела тойота не особо то и чинится. Раст видите ли на системе без MMU так вообще от переполнения стэка не поможет особо - а там тоже вот так вот запросто пойдет и перепишет переменные и кучу. В большой системе MMU возбухает на основании сегментов, но в более мелких МК - MPU есть не всегда и не у всех.

Я даже нашел костыль на тему. Но черт возьми, это что? Специальный линкер? Какой-то экспериментальный? Спецом для? Серьезно? Блин, на сях это стандартным линкером из тулчейна можно обыграть если надо. Не то чтобы совсем без костылей, но не таких же, йпрст...

> То не тот пакетный менеджер, ничего в систему не ставит, посмотрите как
> оно сделано. Мы же о cargo говорим?

О карго, конечно. Я не доверяю хипстерам норовящим мне нагадить мне куда-то сбоку каким-то мусором. А то что оно не в систему - отлично, у меня какой-то мусор мимо системного пакетника. А потом припрутся рубисты, питонисты, ноджыэсеры... и в конце концов сделают мою систему одной большой помойкой.

> Что могу - расскажу. :)

Я тут случайно наткнулся на пример. Подофигел малость. Ощущения системы вообще по сути нет.

> машину, если допустимо. Как минимум выдает тревогу оператору машины. Речь о
> шахтных и карьерных погрузчиках, самосвалах, буровых машинах и т.п.

Это уже неплохо. Хоть я и не понимаю как вы при этом расписываетесь что эта шляпа может сделать в хучшем случае и чего делаете по поводу конской скорости релиза тулчейнов.

> Куда же без грабель и особенностей, есть они, но пока ни во что критичное не вляпывались.

Смотря что за критичное считать.

> Правила разработки в целом те же, что и для safe-critical систем на
> C, язык просто другой.

И субъективно - его навороченность совсем не в плюс, а правила особо не отработаты и не особо проверены. И копаясь вопросом как мне свои фирмвари улучшить сделав защиту от stack overflow я наткнулся на то нечто от растовиков. Долго фигел. Такое все же не в моем вкусе, я в МК предпочитаю быть близко к железу а не абстрагироваться от него хрен знает чем.

> Например память только статическая, без аллокаторов, детерминизм всех вычислений, время
> всех операций считается по worst-case и т.д. и т.п.

Ну раз так - а как вы узнаете использование стэка в worst case? И как конопатите его переполнение? Путем покупки крЮтого и дорогого камня с MPU? :)

> 1. На удивление не было граблей пока с линковкой с C кодом,
> просто работает как надо. Все-таки тесно интегрировано с llvm/clang, нечему ломаться.

А я в GCC руку набил - так что ну вообще ничерта с этого не выигрываю. Для меня это чуждая экосистема, мне самому не особо нужная. И ее зависимость от целого гугла и эпла на почти все и вся меня нервирует. Тем более что ни тем ни другим мелкие кортексы вообще не уперлись.

> Наверное лечится подбором параметров оптимизации llvm, не проверял. Но редко нужен
> отладчик, 95% багов ловится тестами!

Вот кстати у меня на си примерно так же. Только что вычислил забавный баг просто позырив дизасм.

> 3. После C компиляция медленная конечно, текущий проект в релизе собирается 7
> минут, дебаг побыстрее минуты 2. Терпимо, тем более что релиз сам
> не собираешь, это забота билд-сервера.

Как-то энтерпрайзно очень.

> 4. Поддержка со стороны IDE вменяемая только в IntelliJ/CLion, в остальных есть грабли.

Говоря за себя я МК для мелких вещей предпочитаю, без всяких ртосов и проч. Для наворотов у меня линухи на одноплатинках есть.

p.s. ах да, в процессе этого всего я как раз и узнал на чем именно лоханулась тойота... %)