Здравствуйте, cppguard, Вы писали:

C>Учусь в магистратуре на инженерном направлении, дальше планирую заниматься роботами как промышленными, так и автономными. До этого работал 15 лет программистом. Летом нужно пройти стажировку. У меня появилась идея попробовать поработать с беспилотниками с целью перенять опыт разработки для таких специфичных систем. Планирую увидеть: интересные системы сборки и доставки ПО на авто, необычное (читай как более надёжное) тестирование и верификация, AUTOSAR, MISRA, Coq, Idris, Ada Spark и другие ругательства. Стоит ли с таким настроем продолжать, или там будет (грубо) полтора RPi, прикрученных гвоздями, на которых крутится несвежий OpenCV?

Не знаю про все эти ругательства, но вообще в яндексе единая котобаза для всего (ну, или для большинства всего, вероятно, такие штуки, как яндекс-трусики отдельно где-то лежат), своя система контроля версий, своя система сборки. Там всё довольно специфично. А, еще строки свои, COW