Журнал "Компьютерра" №713
Шрифт:
Вердикт: в категории виртуальных машин VirtualBox - тот самый настоящий неприхотливый пацан, на которого только и можно положиться в горах.
Ситуация вторая: дистанционный доступ к компьютерам родственников. В "Голубятнях", навскидку по памяти, я описывал как минимум семь программ, обеспечивающих нужную функциональность: WinVNC, TridiaVNC, Radmin, NetOP Remote Control, Remote Office Manager, TWD Remote-Anything, Remotely Anywhere. Всеми, помнится, восхищался, особенно продуктом французской TWD - с его уникальными фичами - персонализированным слэйвом (slave) и Directory Server, позволяющим обходить любые прокси и корпоративные файрволлы.
Опять же, по старой памяти, начал с TWD Remote-Anything. Условия работы были жесткие - за стеной с выражением нетерпеливого ожидания на лице сидел Свет Моих Очей, недоумевающий -
Срыл, вспомнил с тоской обо всех остальных ранее тестированных альтернативах, предвкушая повторение напрягов, да и рискнул попробовать хорошо известную, но в руки как-то не попадавшуюся Symantec PCAnywhere [2]. И попал в самое яблочко! Легкая, неприхотливая, интуитивно понятная, устанавливается за минуту, запускается без сбоев - еще через минуту. Вот вам пожалуйста - еще один кандидат на "поход в горы". Если вы в цейтноте, нет времени возиться со сложными настройками, учитываться мануалом, то PCAnywhere - однозначный выбор.
Ситуация третья: дефрагментация. Как-то писал недавно, что давно перестал озабочиваться этим эзотерическим процессом, поскольку утратил чувство логики объединения фрагментов файлов в одном месте на физическом диске. То есть сердцем понимаю - дефрагментировать надо, но вот умом - не схватываю. Теперь же захотелось все-таки перед созданием образа True Image довести раздел С до совершенства, чтобы не стыдно потом было восстанавливать. Дефрагментаторов я тоже перепробовал в жизни с десяток, но ни к одному так и не прикипел. Признаюсь, идеального пацана для "похода в горы" нашел совершенно случайно - по наводке уж не помню какого бакунианского блога: UltimateDefrag [3].
Привлек в дефрагментаторе неортодоксальный подход к процедуре - вместо традиционной и как раз вызывающей у меня нарекания опции Fragmented Files Only, программа предлагала целый ряд непривычных, а главное - осмысленных альтернатив: перемещение на выгодные участки диска (поближе к MFT и к быстрым внешним трекам) определенных директорий и файлов (например, Windows, Program Files и т. п.) с учетом различных критериев: последние обращения (Recency), частота изменений (Volatility), интенсивное использование (например, какой-то игры). Вкупе с архивацией редко используемых файлов и папок UltimateDefrag позволяет производить 35 вариантов дефрагментации диска, и самое главное - в доходчивом мануале даются четкие и прямые рекомендации, для каких типов компьютеров и пользователей какие способы дефрагментации предпочтительны.
В общем, установил, дефрагментнул, создал идеальный образ диска - доволен!
ТЕХНОЛОГИИ: Все, что вы хотели спросить о сертификации бортового программного обеспечения, но боялись узнать
Автор: Титов,Анатолий
Рынок ПО сегодня затоварен. Даже самый притязательный потребитель не уйдет из магазина с пустыми руками. Но все ли продукты можно считать достаточно надежными для использования в областях, связанных с безопасностью жизни? Поставим вопрос шире: каким должно быть программное обеспечение или что необходимо сделать, чтобы его можно было использовать в критических областях? Давно замечено, что от культуры производителя зависит качество выпускаемого им продукта. То есть ответ лучше всего искать там, где производители лоб в лоб сталкиваются с задачами обеспечения надежности
Авиаиженеры постоянно занимаются проблемами обеспечения безопасности, поэтому свой опыт они успешно переносят и на ПО. Компании, производящие авиационное ПО, имеют богатую историю проектирования больших критических систем, и репутация их программных продуктов очень высока. Примером использования ПО в авиации можно назвать устанавливаемые практически на все современные самолеты электронные летно-информационные системы (Electronic Flight Information System, EFIS). На дисплеях этих систем ПО отображает информацию (крен, курс, тангаж, скорость, высоту, скольжение и пр.), которую раньше предоставляли механические приборы, а также многое другое, включая полетные и погодные карты. О требованиях, предъявляемых к ПО в авиации, и рассказывает эта статья.
Какой же подход у авиационной индустрии к надежности ПО? Надежность любой программы должна быть доказана, иначе она не может считаться ни надежной, ни безопасной. Поскольку доказать правильность выполнения программы на практике в общем случае невозможно, авиаторы ограничиваются сертификацией согласно установленному стандарту. Без этого ни один прибор, ни одна система не могут быть смонтированы на летательном аппарате. В США сертификаты выдает FAA (Federal Aviation Administration), в Канаде - Transport Canada, в Европе - JAA (Joint Aviation Authorities). Все эти организации главным стандартом для сертификации бортового авиационного ПО полагают RTCA DO-178B (или его европейский аналог EUROCAE ED-12B). Этот стандарт начал разрабатываться в начале 80-х годов, первая редакция появилась в 1982 году, актуальная версия была выпущена десять лет спустя. Специальный стандарт для сертификации бортового ПО понадобился потому, что подход к сертификации ПО существенно отличается от подхода к сертификации любого агрегата самолета, поскольку методы проверки надежности оборудования неприменимы для ПО. Например, мы можем, взяв на тестирование крыло самолета, приложить к нему нагрузку. На тысячный раз под воздействием нагрузки крыло сломается, и мы сумеем определить параметры безопасности нагрузки и интенсивности ее применения, при которых крыло остается недеформированным. С программами такое не проходит. Поэтому для сертификации ПО предлагается другой подход: необходимо определить жизненный цикл ПО, входящие в него процессы, установить их цели, виды деятельности, условия переходов между ними, доказать сертификационной власти, что все они соответствуют стандарту и что авиаторы следуют им на всем протяжении жизненного цикла ПО. Стандарт DO-178B и содержит всю эту информацию.
С чего начинается сертификация? Сертификация начинается с классификации рассматриваемого ПО с точки зрения безопасности. Классификация напрямую связана с тяжестью состояния отказа, которое ПО может вызывать. Состояние отказа определяется как воздействие на летательный аппарат (ЛА) или на лиц, находящихся на его борту, привносящее существенный вред в операционные условия и окружение ЛА. Установлены следующие категории состояний отказа:
• A. Катастрофическое - состояние, не совместимое с безопасным полетом и посадкой.
• B. Опасное - состояние, при котором функциональные способности ЛА или способности экипажа справляться с неблагоприятными условиями управления достигают нижних пределов безопасности. Экипаж не может выполнять свои задачи аккуратно и полностью.
• C. Существенное - состояние, при котором функциональные способности ЛА или способности экипажа справляться с неблагоприятными условиями управления снижены до существенных пределов. Имеет место существенное увеличение нагрузки на экипаж или ухудшение эффективности работы экипажа.