OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Понедельник, 09 Декабрь, 2019 21:13

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




Начать новую тему Ответить на тему  [ Сообщений: 3 ] 
Автор Сообщение
 Заголовок сообщения: Using Simplicity to Control Complexity
СообщениеДобавлено: Пятница, 30 Сентябрь, 2011 19:48 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9162
Откуда: Россия, Орёл
Lui Sha. Using Simplicity to Control Complexity

Вложение:
2.pdf [123.85 КБ]
Скачиваний: 225


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

Во второй части статьи рассматриваются следствия для повышения надёжности бортового ПО. Указывается на неудовлетворительность подхода с несколькими параллельно работающими вариантами ПО - сложность разработки растёт, а надёжность - нет.
Финальное предложение автора - строить разработку встроенной системы из
двух подсистем. Первая - простая, не очень производительная, но
написанная так, чтобы быть максимально верифицированной. Вторая -
расширенная, реализующая управляющую логику в усложнённом варианте "с
фичами". Т.е. в случае сбоя в расширенной системе примет управление и
гарантирует базовую функциональность простая система.
Боинг-777 так использует два контроллера: один для него разработанный,
производительный и с "фичами" и старый, от 747, проверенный 25-летней
эксплуатацией.

Возможно, я упустил какие-то интересные нюансы, прочёл быстро.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Using Simplicity to Control Complexity
СообщениеДобавлено: Суббота, 01 Октябрь, 2011 09:54 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Мысль интересная на первый взгляд... интегрировать "продукт первого умотипа" и второго в эксплуатационной стратегии "плавной деградации"... Главный вопрос - по какому из двух типов разрабатывается КиД-подсистема обнаружения сбоя и переключатель резерва... :)


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Using Simplicity to Control Complexity
СообщениеДобавлено: Суббота, 01 Октябрь, 2011 11:06 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8211
Откуда: Троицк, Москва
Илья Ермаков писал(а):
Lui Sha. Using Simplicity to Control Complexity

если вычислительная сложность характеризуется числом шагом для завершения вычисления, то логическая сложность характеризуется числом шагов, необходимых для верификации системы.
Да, полезное понятие, но я бы так и говорил -- "сложность верификации".


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

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


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

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


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

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