Как проверить интересные исходные коды, имеющие отношение к космонавтике? Есть ли что-то открытое?
Мне хочется написать статью, с названием наподобие "Как ошибки в коде Си++ отправились в гости в космос / на марс". Сейчас я поясню, что я имею в виду и почему пишу сюда, в надежде что сообщество сможет мне как-то помочь или дать подсказки.
Я работаю в компании, которая занимается созданием статического анализатора кода для поиска ошибок в Си/Си++ приложениях. С целью популяризации технологии статического анализа мы проверяем различные проекты и пишем про найденные ошибки. Разработчики с интересом читают наши статьи. Всегда интересно посмотреть, какие ошибки наделали разработчики из проекта X.
Надо понимать, что мы не хотим высмеять кого-то из разработчиков. Мы просто показываем, что опечатку может сделать кто угодно и что всегда неплохо подстраховаться. Мы на примерах показываем, как полезно использовать методологию статического анализа. Взглянуть на эти статьи можно по адресу: http://www.viva64.com/ru/a/0084/
Нам пишут люди, предлагая проверить тот или иной проект. В частности, наши читатели предложили попробовать проверить исходные коды James Webb Telescope или ещё лучше - Mars rover autonomous driving system.
И действительно, давайте взглянем на список, который ведёт Bjarne Stroustrup о крутых Си++ проектах: http://www.stroustrup.com/applications.html
Оказывается, C++ побывал на марсе (ищите в списке по слову NASA). А ещё есть доклад CppCon 2014:
Mark Maimone "C++ on Mars: Incorporating C++ into Mars Rover Flight Software":
В общем я и мои коллеги загорелись идей попробовать найти хотя бы парочку ошибок в таком интересном и надежном программном обеспечении, как программа для управления марсоходом. Впрочем, телексом не менее интересен.
Самое важное - как заполучить эти или аналогичные исходники. Возможно, от действующих аппаратов исходники нам никто не даст. Но вдруг можно получить исходные тексты предыдущих версий программ или от аппаратов, которые прекратили своё функционирование.
С этим я и обращаюсь к сообществу. Помогите и подскажите, с кем можно пообщаться на эту тему. Бессмысленно же просто писать письмо в NASA. А здесь, возможно, есть кто-то, кто имеет ко всему этому отношение или знает такого человека. Буду благодарен за информацию, контакты и любую помощь. Думаю, могут получиться интересные заметки. Комментарии можно оставлять здесь, или вы можете напрямую связаться с нами здесь: http://www.viva64.com/ru/about-feedback/
P.S. Про github.com/nasa я знаю. Но там нет ничего интересного на Си/Си++.
Вообще, космонавтика — это стратегическая отрасль, так что попасть туда очень сложно. Участвуйте во всяческих семинарах, и там вам, возможно, улыбнётся удача.
Дело не в том, лучше оно будет летать или нет. Дело в популяризации нашего продукта. :)
И да мы знаем, что там уже используется, например, Coverity. Но это ничего не значит.
Читатели хотят, чтобы мы что-то этакое проверили и написали статьи. Значит надо постараться им дать, что они хотят. Вот я и провожу изыскания на эту тему.
Я понимаю, что здесь этот вопрос не по адресу скорее всего. Но на всякий случай. Вдруг. Не угадаешь, как оно иногда выйдет и где какой полезный контакт удастся получить.
Ды вроде хорошо. Даже начинаем себе позволять становиться спонсорами разных мероприятий. Например, в ближайшее время, желающие смогут в очередной раз встретиться и поговорить с нами, например 22–23 октября на SECR ( http://2015.secr.ru/ ). Будем рады.
Мы проверяем многие проекты: http://www.viva64.com/ru/a/0084/
Но раз народ требует зрелищ на космическую тему, мы попробуем что-то сделать.
Т.е. пускай он живёт со всеми багами и прочим? Крайне неразумное мнение. Кокрастыке очень даже полезно будет прогнать что-нибудь эдакое.
Т.е. пускай он живёт со всеми багами и прочим? Крайне неразумное мнение. Кокрастыке очень даже полезно будет прогнать что-нибудь эдакое.
в космонавтике нет и быть не может опенсорса, все разработки в этой отрасли исключительно проприетарны, однако стоят столько, что без спонсирования обойтись невозможно. И если налогоплательщики США увидят, что триста тысяч юсд потратили на забагованный код, и еще за этим последуют протесты активистов, которые против запуска аппаратов с ритэгами и глючным софтом на борту, то за тобой, мой маленький прогонятель, очень быстро придет ФСБ (если у тебя хватит ума в это время находиться в РФ, а если ты будешь за пределами РФ, то я тебе вообще не завидую) и закроет тебе все возможности прогонять что-нибудь еще. И правильно сделает, тащемто