Обзор зарубежных СМИ (архив 2013)

Saab Electronic Defence Systems применяет CodePeer

для разработки программного обеспечения многоцелевого трехмерного радара наблюдения GIRAFFE.

CodePeer средство статического анализа текста Ada-программ с целью раннего обнаружения в них потенциальных ошибок времени исполнения (run-time errors). CodePeer позволяет находить ошибки, которые ранее можно было выявить только на самом трудоемком этапеэтапе отладки ПО. Новая версия CodePeer 2.1 полностью поддерживает последнюю версию стандарта языка Ada-2012.

 

 

Ada в спутниковой системе Argos

Thales Airborne Systems выбрала систему GNAT Pro Ada High Integrity Edition компании AdaCore для разработки программного обеспечения нового поколения аппаратуры спутниковой системы Argos, которая используется для определения местоположения объектов и мониторинга состояния окружающей среды. Новое поколение Argos-4 будет поддерживать в три раза большее число передатчиков, чем сегодня работающая Argos-3. В проекте Argos-4 применяется микропроцессор LEON2, и объем программного обеспечения составит около 25000 строк на языке Ada.

 

Siemens Mobility выбирает AdaCore GNAT Pro

Siemens Mobility, транспортное подразделение Siemes AG, выбрало Ada-компилятор GNAT Pro и анализатор исходного текста CodePeer компании AdaCore для разработки нового поколения информационно-управляющей системы для железнодорожного транспорта, удовлетворяющей европейским стандартам безопасности ж/д ПО. Текущая версия системы управляет движением поездов в большей части Швейцарии, а также в некоторых районах Австрии, Венгрии и Малайзии.

 

Новые продукты для верификации ПО: GNATemulator и GNATcoverage

GNATemulator эмулятор целевой аппаратной платформы (target), позволяет исполнять ПО, скомпилированное для target-платформы, на инструментальном компьютере. Применяется для отладки ПО в случае неготовности реальной аппаратуры или невозможности обеспечения экземпляром аппаратуры каждого из разработчиков проекта.

Квалификационные материалы DO-178B для GNATcheck и GNATcoverage

Еще два инструментальных средства компании AdaCore теперь поставляются c квалификационными материалами DO-178B: GNATcheck, верификатор правил кодирования, и GNATcoverage, анализатор структурного покрытия. Ранее квалификационные материалы были разработаны для Traceability Analysis Package, анализатора трассируемости от исходного кода к объектному. Вместе с выпуском квалификационных материалов для GNATcheck и GNATcoverage AdaCore анонсировала автоматизированную систему управления квалификационными артефактами под названием Qualifying Mashine, которая позволит AdaCore оперативно обновлять комплект квалификационных материалов для своих инструментальных средств при выпуске их новых версий.

GNATcoverage анализатор полноты тестового покрытия на уровне объектного и исходного кода. Исполняется на эмуляторе GNATemulator и не требует инструментирования прикладного кода для сбора информации о полноте покрытия (инструментирование производится на уровне эмулятора). Анализируется полнота покрытия на уровне объектного кода (покрытие инструкций и переходов) и на уровне исходного кода (операторов, ветвей и модифицированное покрытие условий/ветвей MC/DC) для сертификации на различные уровни безопасности. На GNATcoverage имеются квалификационные материалы DO-178B до уровня A.

 

GNATcheck в Airbus Military A330 MRTT

Airbus Military успешно сертифицировал систему дозаправки в полете ARBS (Aerial Refueling Boom System) многоцелевого танкера/грузовика A330 MRTT (Multi Role Tanker Transport). При сертификации программного обеспечения ARBS был использован инструмент AdaCore GNATcheck – верификатор стандарта кодирования, квалифицированный по DO-178B.

 

GNAT Pro в EADS CASA: коммуникационная подсистема беспилотника nEUROn

 Испанское подразделение CASA европейского оборонного концерна EADS отвечает за разработку наземных станций управления и коммуникационного сегмента в проекте  европейского ударного беспилотника nEUROn. Программное обеспечение наземных станций и каналов связи с БЛА разрабатывается на языке Ada c с помощью инструментального комплекса GNAT Pro High Integrity Edition компании AdaCore. В качестве операционной системы используется VxWorks 653 компании Wind River. Общий объем программного обеспечения на языке Ada составитболее 500,000 строк кода.

 

 Стандарт Ada 2012 утвержден и опубликован

20-го ноября 2012 г. Объединенный Технический Комитет ISO/IEC по информационным технологиям утвердил новую редакцию стандарта языка программирования Ada ISO/IEC 8652:2012, известную как Ada 2012. В стандарте языка появилась возможность «контрактного программирования» (contract-based programming). В тексте программы определяется «контракт» – набор логических условий, которые будут автоматически проверяться в ходе выполнения программы в определенные моменты, например перед вызовом процедуры (предусловия) или после выполнения процедуры (постусловия). Таким образом в текст программы на языке Ada встраиваются описания формальных требований, и при выполнении программы производится проверка соответствия этим требованиям. Эти и другие новые возможности Ada 2012 соответствуют требованиям приложения DO-332 «Object-Oriented Technologies and Related Techniques» новой версии стандарта DO-178C.

 

ПРОДОЛЖЕНИЕ : Обзор зарубежных СМИ (архив 2013)

Подпишитесь на почтовую конференцию Ada-ru (достаточно послать письмо):

 ada_ru-subscribe@yahoogroups.com

Описание: Atego logo