Справочник функций

Ваш аккаунт

Войти через: 
Забыли пароль?
Регистрация
Информацию о новых материалах можно получать и без регистрации:

Последние темы форума

Показать новые сообщения »

Почтовая рассылка

Подписчиков: 11833
Последний выпуск: 19.06.2015

Как проверить интересные исходные коды, имеющие отношение к космонавтике? Есть ли что-то открытое?

16K
17 июля 2015 года
Andrey2009
16 / / 14.06.2009
Текст предназначался для Reddit и YC, но решил на всякий случай разместить и здесь. Вдруг кто-то что-то подскажет.

Мне хочется написать статью, с названием наподобие "Как ошибки в коде Си++ отправились в гости в космос / на марс". Сейчас я поясню, что я имею в виду и почему пишу сюда, в надежде что сообщество сможет мне как-то помочь или дать подсказки.

Я работаю в компании, которая занимается созданием статического анализатора кода для поиска ошибок в Си/Си++ приложениях. С целью популяризации технологии статического анализа мы проверяем различные проекты и пишем про найденные ошибки. Разработчики с интересом читают наши статьи. Всегда интересно посмотреть, какие ошибки наделали разработчики из проекта 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 я знаю. Но там нет ничего интересного на Си/Си++.
16K
17 июля 2015 года
Andrey2009
16 / / 14.06.2009
Что-то ссылка на видео неудачно вставилсь. Вот оно:

6
18 июля 2015 года
@pixo $oft
3.4K / / 20.09.2006
Удачнее не стало :D А вообще, здесь это искать мало смысла. На таких людей надо выходить самим.
Вообще, космонавтика — это стратегическая отрасль, так что попасть туда очень сложно. Участвуйте во всяческих семинарах, и там вам, возможно, улыбнётся удача.
395
18 июля 2015 года
grgdvo
320 / / 04.07.2007
Ребята, ну что-то у вас совсем дела плохи что ли?? Слежу за вашими постами периодически... ну вот сейчас ни в какие ворота не лезет... ну что за банальность: коды космических кораблей. В мире достаточно софта, который требует и рефакторинга, и анализа производительности, и анализа чистоты, от которого зависит роботоспособность миллионов хостов и встраиваемых устройств....
222
19 июля 2015 года
Ramon
1.0K / / 16.08.2003
Там и без вас уже пилят и статически анализируют. Лучше летать оно не стало и не станет, ибо ошибки там не в том, что может поймать ваш магический анализатор.
16K
19 июля 2015 года
Andrey2009
16 / / 14.06.2009
Цитата: Ramon
Там и без вас уже пилят и статически анализируют. Лучше летать оно не стало и не станет, ибо ошибки там не в том, что может поймать ваш магический анализатор.

Дело не в том, лучше оно будет летать или нет. Дело в популяризации нашего продукта. :)
И да мы знаем, что там уже используется, например, Coverity. Но это ничего не значит.
Читатели хотят, чтобы мы что-то этакое проверили и написали статьи. Значит надо постараться им дать, что они хотят. Вот я и провожу изыскания на эту тему.
Я понимаю, что здесь этот вопрос не по адресу скорее всего. Но на всякий случай. Вдруг. Не угадаешь, как оно иногда выйдет и где какой полезный контакт удастся получить.

16K
19 июля 2015 года
Andrey2009
16 / / 14.06.2009
Цитата: grgdvo
Ребята, ну что-то у вас совсем дела плохи что ли??

Ды вроде хорошо. Даже начинаем себе позволять становиться спонсорами разных мероприятий. Например, в ближайшее время, желающие смогут в очередной раз встретиться и поговорить с нами, например 22–23 октября на SECR ( http://2015.secr.ru/ ). Будем рады.

Цитата: grgdvo
ну что за банальность: коды космических кораблей. В мире достаточно софта, который требует и рефакторинга, и анализа производительности, и анализа чистоты, от которого зависит роботоспособность миллионов хостов и встраиваемых устройств....

Мы проверяем многие проекты: http://www.viva64.com/ru/a/0084/
Но раз народ требует зрелищ на космическую тему, мы попробуем что-то сделать.

85K
20 июля 2015 года
Иван Лазарев
18 / / 25.06.2015
Я помню впечатления, которые произвели на меня ваши статьи о проверке Virtual Box :D Но космонавтика, как мне кажется, это не тот уровень, где нужно испытывать статический анализатор. Это не зоопарк из индусов, это научные лаборатории гиков в халатах. Вы для начала найдите хоть что-нибудь в SQLite - вот это будет прорыв и грандиозная реклама, а если, не дай Бог, найдете и разрекламируете баги в правительственном научном ПО - могут и проблемы начаться, такой софт стоит сотни нефти и антипиар совершенно здесь ни к чему, не нужно этого делать
6
20 июля 2015 года
@pixo $oft
3.4K / / 20.09.2006
Цитата:
а если, не дай Бог, найдете и разрекламируете баги в правительственном научном ПО - могут и проблемы начаться, такой софт стоит сотни нефти и антипиар совершенно здесь ни к чему, не нужно этого делать

Т.е. пускай он живёт со всеми багами и прочим? Крайне неразумное мнение. Кокрастыке очень даже полезно будет прогнать что-нибудь эдакое.

85K
20 июля 2015 года
Иван Лазарев
18 / / 25.06.2015
Цитата: @pixo $oft
Цитата:
а если, не дай Бог, найдете и разрекламируете баги в правительственном научном ПО - могут и проблемы начаться, такой софт стоит сотни нефти и антипиар совершенно здесь ни к чему, не нужно этого делать

Т.е. пускай он живёт со всеми багами и прочим? Крайне неразумное мнение. Кокрастыке очень даже полезно будет прогнать что-нибудь эдакое.

в космонавтике нет и быть не может опенсорса, все разработки в этой отрасли исключительно проприетарны, однако стоят столько, что без спонсирования обойтись невозможно. И если налогоплательщики США увидят, что триста тысяч юсд потратили на забагованный код, и еще за этим последуют протесты активистов, которые против запуска аппаратов с ритэгами и глючным софтом на борту, то за тобой, мой маленький прогонятель, очень быстро придет ФСБ (если у тебя хватит ума в это время находиться в РФ, а если ты будешь за пределами РФ, то я тебе вообще не завидую) и закроет тебе все возможности прогонять что-нибудь еще. И правильно сделает, тащемто

Знаете кого-то, кто может ответить? Поделитесь с ним ссылкой.

Ваш ответ

Реклама на сайте | Обмен ссылками | Ссылки | Экспорт (RSS) | Контакты
Добавить статью | Добавить исходник | Добавить хостинг-провайдера | Добавить сайт в каталог