Чтение онлайн

на главную

Жанры

Журнал "Компьютерра" №713

Компьютерра

Шрифт:

• Высокое качество, поддающееся проверке.

• Непротиворечивость.

• Возможность повторного использования.

• Низкая стоимость технического обслуживания.

• Быстрая интеграция с аппаратными средствами.

• Переносимость на другие платформы.

Предполагаются ли изменения в стандарте? Несмотря на всю эволюцию ПО, DO-178В остается основным стандартом сертификации ПО для бортовых систем. Происходит это потому, что DO-178В не содержит требований, касающихся структуры организации ПО, его операционных способностей и возможностей; в нем также отсутствуют ссылки на какие-либо конкретные национальные или международные стандарты. Этот стандарт используется не только в авиации. Например, он успешно применяется в медицине. Существуют планы его использования в атомной промышленности и робототехнике. Начиная с 2005 года ведется разработка нового стандарта сертификации бортового оборудования под названием DO-178С, который предполагается опубликовать в 2008 году. Главное отличие нового стандарта от текущего в том, что в нем будет сделан акцент на объектно-ориентированные технологии, на более широкое использование формальных методов верификации ПО, на моделирование бортовых систем с помощью ПО,

будет большая согласованность между процессами жизненного цикла ПО, а также улучшится кооперация DO-178 с другими документами RTCA. Есть большая вероятность, что новая версия стандарта станет основным документом для любых критических систем, где используются программные продукты и где безопасность людей является доминирующим критерием.

FAA утверждает, что, в принципе, можно и не сертифицировать программное или аппаратное обеспечение согласно установленным ею стандартам, а можно предложить какой-либо другой стандарт и провести сертификацию согласно этому стандарту. Но тогда придется доказать сертификационной власти, что новый стандарт лучше с точки зрения надежности и обеспечения безопасности, нежели тот, который он пытается заменить.

Сертификация текста

Перед вами, пожалуй, самый многострадальный текст этого года, переживший жесточайшую авторскую и редакторскую правку. Началось все со статьи Анатолия Титова с поэтичным названием "Сертификация программного обеспечения в авиации. Вопросы по сертификации бортового программного обеспечения согласно стандарту RTCA DO-178B". Из текста было понятно, что автор прекрасно разбирается в предмете, но, по грубым прикидкам, в оригинальном виде эта статья заняла бы полос двадцать, не меньше. Причем большая часть полос состояла бы из пассажей вида "эти требования, в зависимости от их строгости, классифицируются на две категории: контрольную категорию 1 (КК1) и контрольную категорию 2 (КК2), причем КК2 представляет собой подмножество КК1". У нас не было никаких сомнений, что дочитавший статью до конца поймет, наконец, как и зачем сертифицируется программное обеспечение для самолетов, однако в том, что таких счастливчиков окажется относительно немного, сомнений тоже не возникало - тема довольно сложная, и особых скидок на читателей еженедельных журналов автор не делал. По нашей просьбе текст был значительно сокращен (более чем в четыре раза!) и упрощен; кроме того, автор изменил внутреннюю структуру текста - по большому счету, это был даже не правленный, а заново написанный материал на ту же тему. Но даже в таком виде он казался слишком сложным для периодического издания. Мы попытались смягчить самые формально описанные фрагменты, пока наконец не поняли, что чрезмерное упрощение статьи только умаляет сложность задачи, которая стоит перед программистами, работающими на авиаиндустрию. Другими словами, НОСР (не очень сообразительный редактор) вовремя перестал выкидывать из АТ (авторского текста) НК (непонятные куски) и МА (многочисленные аббревиатуры). К слову, во время жизненного цикла статьи автор проявлял поистине ангельское терпение, потому что НОСР отвечал на АП (авторские письма) нерегулярно, чем заметно усложнил процесс сертификации текста. ВГ

СОФТЕРРА: Софтерринки

Автор: Илья Шпаньков

Citius, altius, fortius

ОС Windows, Linux, Mac OS X

Адрес www.mozilla.com/en-US/firefox/3.0b1

Версия 3 beta 1

Размер 8,4 Мбайт

Интерфейс многоязычный (русский поддерживается)

Цена бесплатно

Лицензия MPL/GPL/LGPL

Первая бета третьей версии популярного свободного браузера Mozilla порадовала очередными новшествами. Прежде всего отметим полностью переработанную систему закладок: теперь записи о них сохраняются во встроенной базе данных, что, по задумке авторов, делает браузер удобнее и стабильнее. Можно присваивать закладам теги, автоматически отслеживать ваши любимые страницы (Smart Places), выполнять поиск по закладкам и истории. Кроме того, появились средства оповещения о неблагонадежных веб-сайтах и блокирования доступа к ним. Добавилась интеграция с антивирусными программами и система "родительского контроля", позволяющая предотвратить загрузку файлов из Сети. Многие пользователи отмечают ускорение загрузки страниц.

Долговой калькулятор

ОС Windows

Адрес www.mega-soft.ru/prg1252.html

Версия 1.04

Размер 36 Кбайт

Интерфейс русский

Цена бесплатно

Лицензия проприетарная (freeware)

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

Говорит и показывает MediaPortal

ОС Windows

Адрес www.team-mediaportal.com

Версия 0.2.3.0

Размер 26,7 Мбайт

Интерфейс многоязычный (русский поддерживается)

Цена бесплатно

Лицензия GPLv2

Обилие и разнообразие окружающего нас медиаконтента заставляет держать на компьютере массу приложений. Меж тем вполне логично выглядит идея объединить их в этакий

комбайн, способный работать с любыми типами аудио-, видео- и прочих данных. Одной из таких универсальных программ является MediaPortal. Среди ее основных функций - воспроизведение видео- и аудиофайлов, просмотр фильмов, прием онлайновых теле- и радиотрансляций, просмотр цифровых изображений, запуск внешних приложений, получение рассылок RSS и многое другое. А вообще, функциональность MediaPortal - понятие растяжимое благодаря большому числу плагинов и расширений, создаваемых пользователями и хранящихся на веб-сайте проекта.

Программа - закачаешься

ОС Windows

Адрес www.instantget.com

Версия 2.03

Размер 877 Кбайт

Интерфейс многоязычный (русский поддерживается)

Цена $24,95

Ознакомительный период 30 дней

В арсенале очередного представителя семейства менеджеров загрузки по имени InstantGet есть практически все, что нужно пользователю: многопоточная загрузка с разделением файла на сегменты, работа по протоколам FTP и HTTP, возможность использования прокси-сервера, мониторинг буфера обмена и многое другое. Естественно, имеется и система работы по расписанию, позволяющая максимально автоматизировать процесс скачивания из Интернета массивных файлов. Хорошо развиты средства поиска данных по адресу, названию или описанию. Программа легко интегрируется в Internet Explorer. Отметим также возможность каталогизации загружаемых данных по списку категорий и поддержку технологии Drag&Drop.

Webология

Автор: Илья Шпаньков

Нормальные герои всегда идут в обход

Адрес www.fring.com

Интерфейс английский

поддерживаются только Symbian 8, 9.1, 9.2, Windows Mobile 5 & 6 и UIQ

Распространение IP-телефонии уже давно стало головной болью междугородних и международных операторов связи: пользователи все чаще разговаривают друг с другом через Интернет, тем самым значительно сокращая затраты на обычные звонки. Теперь очередь дошла и до операторов сотовой связи: онлайновый сервис Fring позволяет владельцам мобильников звонить по протоколу VoIP, используя интернет-соединение. Для полноценной работы с сервисом требуется установить на телефон клиентскую программу, после чего появится возможность не только бесплатно разговаривать с другими участниками сервиса, но и общаться с друзьями в чате. Также можно общаться с владельцами ПК, использующими Skype, Google Talk, ICQ, MSN Messenger, Twitter, и SIP-сервисы. Fring ориентирован на работу в сетях WiFi, если ваше устройство поддерживает эту функцию.

Глас народа

Адрес www.vox.com

Интерфейс английский

требуется флэш-плагин

Онлайновые блоги давно вошли в нашу жизнь. Вот только текстового общения не всегда достаточно: все-таки человек - существо с многогранными способностями, и не исключено, что кто-то лучше выражает свои мысли с помощью музыки или картин, нежели с помощью слов. Сервис Vox (от создателей LiveJournal) попытался стать универсальным блогом для всех - на его страницах можно не только оставлять текстовые сообщения, но и публиковать цифровые изображения, музыкальные и видеофайлы, обмениваться ссылками, анонсировать книги - в общем, излагать свои мысли и чувства любыми доступными способами. Разумеется, можно вести и закрытые дневники для близких людей - сохранение конфиденциальности создатели сервиса ставят во главу угла. Индивидуальность блогам можно придать с помощью развитых средств редактирования интерфейса.

Хранилище живых картинок

Адрес www.pando.com

Интерфейс английский

требуется установка клиентской программы, только Windows и Mac OS X

Онлайновые файлохранилища, конечно, штука удобная, вот только не во всех можно хранить объемные файлы. Меж тем обмен небольшими по размеру файлами не составляет труда, тогда как пересылка нескольким получателям увесистых видеороликов - дело непростое. Онлайновый сервис Pando, в основе которого лежит пиринговая технология, будет полезен тем, кто хочет поделиться с друзьями мультимедийными файлами, плохо подходящими для почтовой рассылки из-за своих габаритов. Для этих целей авторы проекта разработали клиентскую часть, значительно ускоряющую обмен крупногабаритными файлами. Бесплатный вариант сервиса позволяет рассылать файлы размером до 1 Гбайт, а за плату лимит увеличивается до 3 Гбайт. На Pando хорошо продумана система соблюдения конфиденциальности, позволяющая предоставлять доступ к своим файлам только определенному кругу людей.

Форменное изобилие

Адрес wufoo.com

Интерфейс английский

кириллица поддерживается

Как иногда приятно обнаружить на бескрайних просторах Интернета сервис, который позволяет создавать сложные вещи, но делает это изящно и очень просто. Вот, к примеру, Wufoo - программа для создания онлайновых форм. Удобный конструктор позволяет быстро поместить на страницу нужные поля и прочие стандартные элементы, а средства редактирования помогут в режиме реального времени сделать все необходимые изменения. Затем можно воспользоваться другим конструктором и в считанные минуты подобрать для своей страницы подходящий дизайн и цветовую схему, а по окончании работы - загрузить код готовой формы и использовать его для помещения на собственный веб-сайт. Исходники бывают трех видов - встроенный iframe, полный HTML-код или набор из XHTML и CSS. Есть также средства, позволяющие следить за интенсивностью использования ресурса.

Поделиться:
Популярные книги

Жребий некроманта 3

Решетов Евгений Валерьевич
3. Жребий некроманта
Фантастика:
боевая фантастика
5.56
рейтинг книги
Жребий некроманта 3

Наследник и новый Новосиб

Тарс Элиан
7. Десять Принцев Российской Империи
Фантастика:
городское фэнтези
попаданцы
аниме
5.00
рейтинг книги
Наследник и новый Новосиб

Сын Петра. Том 1. Бесенок

Ланцов Михаил Алексеевич
1. Сын Петра
Фантастика:
попаданцы
альтернативная история
6.80
рейтинг книги
Сын Петра. Том 1. Бесенок

Проклятый Лекарь IV

Скабер Артемий
4. Каратель
Фантастика:
попаданцы
аниме
5.00
рейтинг книги
Проклятый Лекарь IV

Прометей: владыка моря

Рави Ивар
5. Прометей
Фантастика:
фэнтези
5.97
рейтинг книги
Прометей: владыка моря

Мама для дракончика или Жена к вылуплению

Максонова Мария
Любовные романы:
любовно-фантастические романы
5.00
рейтинг книги
Мама для дракончика или Жена к вылуплению

Неестественный отбор.Трилогия

Грант Эдгар
Неестественный отбор
Детективы:
триллеры
6.40
рейтинг книги
Неестественный отбор.Трилогия

Черкес. Дебют двойного агента в Стамбуле

Greko
1. Черкес
Фантастика:
попаданцы
альтернативная история
5.00
рейтинг книги
Черкес. Дебют двойного агента в Стамбуле

(Не)свободные, или Фиктивная жена драконьего военачальника

Найт Алекс
Любовные романы:
любовно-фантастические романы
5.00
рейтинг книги
(Не)свободные, или Фиктивная жена драконьего военачальника

Огни Аль-Тура. Завоеванная

Макушева Магда
4. Эйнар
Любовные романы:
любовно-фантастические романы
эро литература
5.00
рейтинг книги
Огни Аль-Тура. Завоеванная

Шесть принцев для мисс Недотроги

Суббота Светлана
3. Мисс Недотрога
Фантастика:
фэнтези
7.92
рейтинг книги
Шесть принцев для мисс Недотроги

Сыночек в награду. Подари мне любовь

Лесневская Вероника
1. Суровые отцы
Любовные романы:
современные любовные романы
5.00
рейтинг книги
Сыночек в награду. Подари мне любовь

Жена со скидкой, или Случайный брак

Ардова Алиса
Любовные романы:
любовно-фантастические романы
8.15
рейтинг книги
Жена со скидкой, или Случайный брак

Кодекс Крови. Книга II

Борзых М.
2. РОС: Кодекс Крови
Фантастика:
фэнтези
попаданцы
аниме
5.00
рейтинг книги
Кодекс Крови. Книга II