Лагунов (27.02.2020 10:29, просмотров: 607) ответил fk0 на A под Go, Ada, C есть что ли, верификация эта? "Мамой клянус"? C++ позволяет хотя бы не вошкаться руками с адресами, битами и байтами и наделать меньше ошибок, в основном логических. А в голом C всё отлаживать нужно, каждую мелочь (которая либо-
- На SPARK можно сделать pre post условия и прога не скомпилится если такое будет возможно. Ну на C тоже если использовать Frama-C например. - OlegPowerC(27.02.2020 11:35)
- Бензоколонка человеческим голосом сообщит. То есть в голом Си она тупо зависнет, а тут что-то пробормочет, а потом зависнет :-) - SciFi(27.02.2020 10:35)
- Это к слову об использовании WDT, тут не раз холивар поднимался разными людьми... POV_(215 знак., 27.02.2020 23:35,
)
- Во-первых не обязательно прошивка кривая. Вследствии воздействия на МК внешних факторов, например, произошёл сбой в работе CPU и зацикливание его на некотором участке кода. Прибор не выполняет своих функций. Хорошо, если это настольный прибор fk0(1055 знак., 28.02.2020 00:34)
- и да, и такое было. Льет и выключается только рубильником (но очень редко). И девочки там все обученные. Рубильником щелкают мгновенно! :-) - Лагунов(28.02.2020 09:23)
- Это "за всё хорошее против всего плохого". Я просто не сталкивался с таким? и потому не понимаю о чем речь, не приходилось решать проблемы которых не знаю. - POV_(28.02.2020 00:37, )
- Во-первых не обязательно прошивка кривая. Вследствии воздействия на МК внешних факторов, например, произошёл сбой в работе CPU и зацикливание его на некотором участке кода. Прибор не выполняет своих функций. Хорошо, если это настольный прибор fk0(1055 знак., 28.02.2020 00:34)
- ну говорушечный модуль у меня есть. Если вставлю в HardFault_Handler фразу, то да. :-) - Лагунов(27.02.2020 16:30)
- Это к слову об использовании WDT, тут не раз холивар поднимался разными людьми... POV_(215 знак., 27.02.2020 23:35,