Главная - Информационные технологии - DO-178C пополнится объектными технологиями моделирования

Двойные стандарты:

Письмо о двойном назначении

News image

Эта страница для тех, кому необходимо оформить письмо о двойном назначении. Мы рекомендуем для экономии времени сразу обратиться...

Автомобили, которые стреляют, «летают» и плавают

News image

Официально В г.Бронницы (Московская обл.) на территории полигона 21-го НИИ МО РФ 21 августа 2004г. прошла 6-я ежегодная выста...

Компрессор двойного назначения GN

News image

Компрессор GN обеспечивает бесперебойную подачу и гарантированную чистоту азота вне зависимости от изменения рабочих условий. Бл...

Авторизация





DO-178C пополнится объектными технологиями моделирования
Техника завтрашнего дня - Информационные технологии на военной службе

do-178c пополнится объектными технологиями моделирования

Сертификационный стандарт DO-178B на ПО для авионики сегодня используют американские и европейские государственные комиссии по управлению воздушным движением и военные министерства многих стран. Но он ориентирован в основном на “низкоуровневые” подходы к разработке, когда заказчик готовит техническое задание в обычном текстовом виде, а программисты исполнителя реализуют требования на типовом универсальном языке для конкретных марок процессоров. В последние годы ведущие разработчики крупных систем реального времени стали активно применять абстрактные функциональные языки и виртуальные машины, средства графического моделирования, автоматической генерации кода и тестирования, системы анализа и управления проектом на базе моделей и т. д. Все эти особенности будут учтены в варианте стандарта DO-178C, который дополнится концепциями “разработка, управляемая моделью”, “объектно-ориентированные и схожие технологии” и “формальные методы”. Ожидается, что рабочий набор документов DO-178C появится в 2011 г.

 


Читайте:


Добавить комментарий


Защитный код
Обновить

Новости танкостроения:

News image

Танк М41

Новым американским легким танком является танк М41, принятый на вооружение в начале 90-х годов. Его боевой вес около 23 т. Этот танк вооружен 76,2-мм пушкой, ...

News image

Британцы работают над созданием танков-хамелеонов

Британские оружейники представили концептуальные разработки, направленные на снижение заметности бронетехники. В конце этого месяца должно начаться тестиро...

News image

Новый вариант М1А3 (Е3) Abrams будет иметь меньший боевой вес

После двухгодичных дискуссий по вопросу серьезной модернизации основного боевого танка армии М1, похоже, специалисты армии США приходят к мнению, что нужно ог...

Информационные технологии на военной службе:

News image

Робот с программной аномалией атаковал Вашингтон

Представители военно-промышленных кругов США клянутся, что аварийная потеря связи с военно-морским беспилотным вертолетом MQ-8B Fire Scout...

News image

Планы развития ИТ-архитектуры армейской разведки

Армия США готовится к эксплуатации третьей версии архитектуры DCGS-A, предоставляющей командирам батальонов и разведчикам доступ ко всевоз...

News image

Автоматизация патрульной службы

В процессе патрулирования солдаты американской армии, дислоцированные за рубежом, регулярно проводят, согласно устава, различные мини-инте...

News image

Облака стимулируют развитие средств шифрования

На доведение алгоритмов гомоморфного шифрования до ума военное агентство передовых исследований США DARPA выделяет 4,9 млн. долл. Соответс...

News image

Роботы теснят самолет-шпион в отставку

Испытательными полетами обновленных стратегических беспилотников Global Hawk в октябре 2010 г. стартует американская программа вывода из э...

News image

Готовится клон глобальной военной интранет-сети

В 2010 г. заканчивается крупнейший аутсорсинговый проект ВМС США по созданию глобальной интранет-сети Navy Marine Corps Intranet (NMCI), о...