OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Среда, 16 Октябрь, 2019 17:30

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 13 ] 
Автор Сообщение
 Заголовок сообщения: Уроки Ариадны
СообщениеДобавлено: Вторник, 17 Ноябрь, 2009 17:59 
Аватара пользователя

Зарегистрирован: Среда, 29 Март, 2006 12:09
Сообщения: 495
Набрел на статью «Уроки Ариадны» Jean-Marc Jézéquel и Bertrand Meyer.
Для меня это серьезный повод пересмотреть свое отношение к функциям LONG, SHORT и применению ASSERT…


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Уроки Ариадны
СообщениеДобавлено: Вторник, 17 Ноябрь, 2009 18:06 

Зарегистрирован: Четверг, 17 Ноябрь, 2005 11:51
Сообщения: 2931
Откуда: г. Ярославль
Наверное, имелась в виду ракета "Ариан", а не Ариадна. А в чём пересмотр?


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Уроки Ариадны
СообщениеДобавлено: Вторник, 17 Ноябрь, 2009 18:40 
Аватара пользователя

Зарегистрирован: Среда, 29 Март, 2006 12:09
Сообщения: 495
Иван Кузьмицкий писал(а):
Наверное, имелась в виду ракета "Ариан", а не Ариадна. А в чём пересмотр?

Исходил из того, что речь идет о французском названии, а вот перевод

Просто я не до конца понимал, почему же, все-таки, в Обероне такой жесткий подход к типизации и почему для приведения типов используются специально выделенные функции.
Кроме того, Design by Contract (из Eiffel) мне до сих пор казался чем-то непостижимым, и уж тем более, мне не очень понятны были в этом свете ASSERTы.
Оказалось, я просто не умею их готовить :oops:

PS. А вот и один из русскоязычных вариантов: текст :)


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Уроки Ариадны
СообщениеДобавлено: Вторник, 17 Ноябрь, 2009 18:46 

Зарегистрирован: Четверг, 17 Ноябрь, 2005 11:51
Сообщения: 2931
Откуда: г. Ярославль
А-а, так "Ариан" по-французски Ариадна - как-то я не задумывался про это :) Век живи, век учись :)

Пользительность ассертов лично я ощущаю на своей шкуре уже давно. При первоначальном запуске свеженаписанного трапы валятся как из ведра :), зато когда продерёшься через них, можно быть уверенным - дальше программа будет работать гладко :).
Кроме этого, если всё же в работе случается сбой, я прошу просто сохранить трап в документ и прислать мне почтой :)


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Уроки Ариадны
СообщениеДобавлено: Вторник, 17 Ноябрь, 2009 19:12 

Зарегистрирован: Воскресенье, 04 Ноябрь, 2007 23:01
Сообщения: 151
Димыч писал(а):
..пересмотреть свое отношение к функциям LONG, SHORT и применению ASSERT…
имхо, только ими задача не решается. Там же был тупой реюз кода от Ariane4. То, что код был кривой и это не проверили, уже второй вопрос.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Уроки Ариадны
СообщениеДобавлено: Вторник, 17 Ноябрь, 2009 19:17 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9147
Откуда: Россия, Орёл
И чего эта авария всё время мусолится с точки зрения технологий программирования и т.п.

Цитата:
Значение BH было намного выше ожидаемого, т.к. начальный участок траектории Ariane 5 отличается от подобного участка для Ariane 4 и приводит к значительно большим значениям горизонтальной скорости.


Вот она проблема: неучтена конкретная физика автоматизируемого процесса. Была бы учтена - была бы проведена работа по проекции этих отличий Арианов 4 и 5 из постановки задачи в код.
Почему программисты были не в курсе - организационная ли проблема; или просто "положили веский аргумент" - вот в чём вопрос.

И опять же к вопросу о "программировании без программистов".


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Уроки Ариадны
СообщениеДобавлено: Вторник, 17 Ноябрь, 2009 19:22 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9147
Откуда: Россия, Орёл
Хотя.. Вот и причина:

Цитата:
Не имеется никаких доказательств, что какие-либо данные о траекториях использовались для анализа поведения незащищенных переменных. Более того, важно отметить, что существовало совместное соглашение о невключении данных траектории Ariane 5 в требования и спецификации SRI.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Уроки Ариадны
СообщениеДобавлено: Вторник, 17 Ноябрь, 2009 19:29 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9147
Откуда: Россия, Орёл
А вырубать БЦВМ при софтверной ошибке... Это, конечно, неправильно. Очевидно же, что если софт идентичен, то накроются и резервные.

Вообще, по поводу обработки исключений - не нужно использовать её в качестве "спец. разновидности управляющей логики". Что пропагандируется try-except-ами.

Но иметь обработку исключений в виде одного, иногда более, системных циклов, на которые идёт "откат" по сбою - нужно обязательно. (Try тут нужен не языковый, а библиотечный, рантайма).


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Уроки Ариадны
СообщениеДобавлено: Вторник, 17 Ноябрь, 2009 22:02 

Зарегистрирован: Вторник, 11 Август, 2009 11:44
Сообщения: 516
Откуда: Бердск
Дык все же русским языком сказано:
Цитата:
Исключительная ситуация была обнаружена, но была обработана неподобающим образом, потому что было принято считать, что ПО должно рассматриваться, как правильное, пока не доказано обратное. Комиссия имеет основания предполагать, что этот же принцип лежит в основе и других разработок ПО для Ariane 5. Комиссия придерживается противоположной точки зрения - что ПО должно изначально считаться содержащим ошибки, пока использование принятых в настоящее время самых лучших практических методов не докажет, что оно правильное

Это мне кажется самым главным...
Грубо говоря, остальное - аргументация к этому.
Присоединяюсь к мнению комисии :D


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Уроки Ариадны
СообщениеДобавлено: Вторник, 17 Ноябрь, 2009 22:09 

Зарегистрирован: Вторник, 11 Август, 2009 11:44
Сообщения: 516
Откуда: Бердск
Илья Ермаков писал(а):
И чего эта авария всё время мусолится с точки зрения технологий программирования и т.п.

Возможно потому, что вышеозначенный вывод далеко неочевиден для современных сообщества программистов.
В смысле: среднестатистически, имея в виду и "опытных плюшников"...


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Уроки Ариадны
СообщениеДобавлено: Вторник, 17 Ноябрь, 2009 23:15 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9147
Откуда: Россия, Орёл
Ну да.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Уроки Ариадны
СообщениеДобавлено: Среда, 18 Ноябрь, 2009 00:05 

Зарегистрирован: Воскресенье, 04 Ноябрь, 2007 23:01
Сообщения: 151
Илья Ермаков писал(а):
И чего эта авария всё время мусолится с точки зрения технологий программирования и т.п.
потому и выводы комиссии сделаны очень опытные - дабы не прибить системного архитектора. Всегда должен оставаться человек, который "ведёт" систему, вне зависимости от числа найденных ошибок. И этого товарища приносят в жертву только тогда, когда всю систему снимают окончательно и бесповоротно. Вопрос тут о том, надо ли будет тиражировать технологию или нет. Вот был беспилотный полёт "Бурана" 21 год назад, а сейчас компактные беспилотники в Израиле купили...

<2009-11-26> p.s.: Подтверждение подогнали. Тут.


Последний раз редактировалось Рэйлвэй Каген Четверг, 26 Ноябрь, 2009 18:06, всего редактировалось 1 раз.

Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Уроки Ариадны
СообщениеДобавлено: Среда, 18 Ноябрь, 2009 08:14 

Зарегистрирован: Четверг, 12 Июль, 2007 23:18
Сообщения: 1982
Откуда: Узбекистан, Чирчик
Ещё на эту тему:

Валерий Аджиев, "Мифы о безопасном ПО: уроки знаменитых катастроф"


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 13 ] 

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2005-2019, участники конференции «OberonCore», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Без разрешения участников и ссылки на конференцию «OberonCore» любое воспроизведение и/или копирование высказываний полностью и/или по частям запрещено.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB