Минобороны потратит более 420 млн рублей на разработку новой операционной системы
Министерство обороны России создаст новую версию защищенной операционной системы. Об этом сообщается на портале госзакупок.Согласно опубликованной документации, работу для Минобороны будет выполнять ФГУ «Федеральный научный центр Научно-исследовательский институт системных исследований Российской академии наук».
На разработку новой ОС предполагается потратить более 420 млн руб.
В закупке отмечается, что к 2019 году военное ведомство должно получить модернизированную многоядерную операционную систему реального времени «ОС РВ Багет-М» и операционную систему общего назначения «ОСОН» для перспективных средств вычислительной техники военного назначения.
![]]]]]]]]]]]]]]]]]]]]]
]]]]]]]
]]]]]]]]] ]]]]]]
]]]] ]]] ]]]]]]
]]]]]]]] ]]]]]]]
]]]] ]]] ]]]]]]
]]]] ]]] ]]]]]]
]]]]]]]]] ]]]]]]
]]]]]]] ]
: 40:13,министерство обороны,Операционная система](http://img2.joyreactor.cc/pics/post/%D0%BC%D0%B8%D0%BD%D0%B8%D1%81%D1%82%D0%B5%D1%80%D1%81%D1%82%D0%B2%D0%BE-%D0%BE%D0%B1%D0%BE%D1%80%D0%BE%D0%BD%D1%8B-%D0%9E%D0%BF%D0%B5%D1%80%D0%B0%D1%86%D0%B8%D0%BE%D0%BD%D0%BD%D0%B0%D1%8F-%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D0%B0-4126871.png "министерство обороны,Операционная система")
https://www.gazeta.ru/army/news/10748024.shtml
Подробнее
]]]]]]]]]]]]]]]]]]]]] ]]]]]]] ]]]]]]]]] ]]]]]] ]]]] ]]] ]]]]]] ]]]]]]]] ]]]]]]] ]]]] ]]] ]]]]]] ]]]] ]]] ]]]]]] ]]]]]]]]] ]]]]]] ]]]]]]] ] : 40:13
Смутное?»«*« e'Purevesfník Iêê mf f Я VllVIillVJLJV 170кошки СКОЛКОВО
министерство обороны,Операционная система
Еще на тему
Многоядерную?
Реального времени?
Можно вообще не париться, и купить лицензию QNX, прикрутить нескучные обои и торжественно доложить об успехах. Весь пакет лицензий как раз обоёдется где-то в 420 т.р.
>работать
Так это работать надо, программистов нанимать дорогих, проект, а перерабатывать может потребоваться много, заранее не скажешь, риск. Так и на "распилисть" ничего не останется.
Действительно, откуда же возьмутся свои программисты в НИИ, занимающемся информационными технологиями.
>Just 12 months ago, as part of 2011 budget preparations, it became apparent to Gates and Carter that, despite numerous assurances from the Pentagon's F-35 management staff and Lockheed officials, the F-35 program was seriously off-track and drastically over budget.
When he revealed the budget in February, Gates announced that the program was being rescheduled once again. He moved $2.8 billion from production to development to speed testing.
Since then, Venlet has undertaken a months-long "technical baseline review" to identify problems and solutions, "to really dive deep into this program, deeper than we've ever gone before," Morrell said.
Gates, the spokesman said, is frustrated that the Pentagon and military program managers have not gotten to the bottom of the F-35 program's problems.
Venlet "has discovered additional issues that are of concern," Morrell said, including that there is more software code "left to be written than what we thought."
Read more: https://web.archive.org/web/20101122044240/http://www.star-telegram.com/2010/11/21/2649040/pentagon-officials-to-meet-to.html#ixzz4wob6gUYg
Всего 12 месяцев назад, в рамках подготовки к бюджету 2011 года, Гейтс и Картер стали очевидными, что, несмотря на многочисленные заверения руководства П-Пентагона в управлении F-35 и официальных лиц «Локхида», программа F-35 была серьезно отсталой и кардинальной по сравнению с бюджетом ,
Когда он обнародовал бюджет в феврале, Гейтс объявил, что программа была перенесена еще раз. Он перевел 2,8 миллиарда долларов от производства до разработки, чтобы ускорить тестирование.
С тех пор Венлет провел месячный «технический базовый обзор» для выявления проблем и решений, «чтобы действительно глубоко погрузиться в эту программу, глубже, чем мы когда-либо раньше», - сказал Моррелл.
Гейтс, сказал представитель пресс-службы, разочарован тем, что руководители Пентагона и военных программ не дошли до сути проблемы программы F-35.
Venlet «обнаружил дополнительные проблемы, вызывающие озабоченность», - сказал Моррелл, в том числе о том, что осталось написать куда больше программного кода чем мы думали ».
>2,8 миллиарда долларов от производства до разработки, чтобы ускорить тестирование.
> осталось написать куда больше программного кода чем мы думали
А у нас Сердюкова после всех дел о коррупции вновь нанимают управлять секретными расходами. Какой в таких условиях может быть результат? В лучшем случае, на 5% от бюджета, а чаще вообще никакого, потому что таких денег хватит разве что на производство видимости величия, что мы и наблюдаем на практике.
Так в чем ты меня пытаешься убедить? Что они вдруг одумаются? Куда вероятнее, что собираются выдать нам уже готовый багет2.0 как результат разработки, а деньги просто положить в карман. А реального результата нет и не будет.
Может быть у тебя телевизор в россии придуман? неа, ЛСД дисплеи не наша разработка. И плазма тоже не наша.
Тогда может быть микроволоновку мы изобрели? Снова нет, из-за бугра пришла.
Что там у тебя еще есть? Пылесос "Ракета", да холодильник "Саратов"? Да вот фиг, они давно кончились, теперь у тебя там пылесос "самсунг" и холодильник "индезит" какой-нибудь стоит. Может быть стиральная машина у тебя отечественная? "Малютка" наверное?
Ну назови хотя бы 5 вещей в быту, которые у тебя там в россии придуманы, Не просто собраны отверточной технологией, а, сука, с нуля сделаны. И после этого ты про эльфов задвигаешь?
Мне тут затирают, что даже попилы в Америке правильные и полезные, не то что у русского дурака Ивана. Причём тут, сука, всё тобой перечисленное? Я где-то писал, что на Западе ничего не делают?
Но честно говоря не очень понял в чём профит этой версии.
Профита никакого, потому что "а вы друзья, как ни садитесь", а в реалтайм вы не годитесь - ядро под такой режим не спроектировано совсем.
А может такое ядро, нужно было для того, чтобы драйвера от студентов не вешали систему?
>ОС РВ Багет, или как её назвал докладчик от НИИСИ РАН Александр Годунов, ОС2000, наверное, достаточно хорошо известна. Отмечу только, что существует целое семейство ОС Багет. Изначально была ОС2000, затем появилась ОС3000, которая, насколько я понял, имеет ARINC-653-совместимый интерфейс, а также существует ОС4000. В суть последней из них я не вникал, но понял, что там существуют какие-то проблемы с правами собственности: на ОС4000, вроде бы, претендует КБ Сухого, и может быть, даже является правообладателем данной ОС. В общем-то, политические войны выходят за рамки моей статьи. Скажу только, что Александр сделал хороший обзор стандарта ARINC-653.
На конференции также были представлены ещё две системы, которые претендуют на звание ОС для бортовых систем. Это ОС Эльбрус от “МЦСТ” и наш проект “Embox”
Вряд ли на боевые самолёты вообще будут ставить ОС. Для таких задач лучше обходиться вообще без ОС: больше контроля над временем выполнения каждой операции, затратами памяти, отсутствие фрагментации памяти и т.д..
ОС нужно для сложных и не столь критичных ко времени задач. Любая RTOS не даст тебе гарантию выполнения каждой (именно каждой) задачи с точностью до наносекунд. Скорее они имеют в виду ОС для встраиваемых систем имеющих интерфейс пользователя, типа систем управления полётами или подобной сложной но не столь критичной ко времени херне. А при разработке подобной ОС грех был не подсмотреть в свободные реализации типа FreeRTOS, ибо всё там достаточно красиво. Но подсмотреть и скопипастить - разные вещи. Хер знает как сейчас наша оборонная промышленность работает и какой их этих методов она предпочитает.
>Integrity-178B — операционная система реального времени, «поднабор» Integrity, сертифицированная по уровню A стандарта DO-178B (в России известен как КТ-178B[1]). Полностью поддерживает ARINC-653-1-Application/Executive (APEX) API.
Используется в американских военных самолетах (например F-16, F-22, F-35) и вертолетах, так же в гражданских Airbus A380, Boeing 787.
>Honeywell selected INTEGRITY-178B for the 787 flight control electronics, which includes the autopilot and the fly-by-wire system that conveys commands from the pilot to the control surfaces, such as the rudder and elevators.
Вот в цитате написано, что в Б-787 РТОС INTEGRITY-178B используется для передачи команд от пилота на управляющие поверхности самолёта.
А для неустойчивых в полёте сверхманевренных истребителей нового поколения тоже скорее всего используется цифра.
Возможно, я просто не вижу места в данных системах для ОС т.к. думаю что некто Алан Кокс в своё время правильно заметил: "Компьютер - это конечный автомат. Потоковое программирование нужно тем, кто не умеет программировать конечные автоматы". Это, разумеется, верно лишь для одноядерных процессоров в системах где рационально обойтись без переключения контекстов. Вероятно, там это по каким-то непонятным мне причинам это нерационально.
P.S. У FreeRTOS есть модели работы с кучей heap1 - heap5 и можно выбрать нужную. Нет динамического выделения - нет фрагментации.
Основная проблема состоит в том, что весь софт, который попадает на борт самолета (в частности, для тех гражданских самолетов, на которых все летают, commercial aviation) должен быть верифицирован в соответствии с требованиями уже упоминавшегося выше стандарта DO-178C (сейчас уже версия С).
Верификация - крайне затратный процесс, который, в зависимости от уровня критичности ПО, может легко занимать по времени в 10 раз больше, чем разработка этого ПО.
Помимо, собственно, тестирования, в состав процедур верификации входит еще много неочевидных постороннему человеку анализов, в частности, анализ наихудшего времени выполнения цикла, анализы связанности по управлению и по данным, анализ кучи, стека и прочего и прочего и прочего. В добавление скажу, что без наличия исключительно подробно написанных требований, нормального тестирования провести нельзя.
Если в составе ПО используется чужая покупная ОСь, то, по-простому говоря, ее либо надо верифицировать всю самостоятельно (см. утверждение о том, что все, что попадает на борт, должно быть верифицировано), либо купить у произовдителя ОСи помимо ее самой еще и квалификационный пакет к ней (набор артефактов, состоящий из планов квалификации, операционных требований и тестов) и использовать этот пакет для сертификационного зачета. Но - это означает, что разработчик готовит этот пакет, тратит на это ресурсы и время (кстати, пакеты эти стоят обычно в разы дороже, чем лицензия на сам софт, и на этом делаются основные деньги).
>Изначально была ОС2000, затем появилась ОС3000, которая, насколько я понял, имеет ARINC-653-совместимый интерфейс, а также существует ОС4000. В суть последней из них я не вникал, но понял, что там существуют какие-то проблемы с правами собственности: на ОС4000, вроде бы, претендует КБ Сухого, и может быть, даже является правообладателем данной ОС.
Могли бы более оригинальный способ распила придумать. Например заказывать ПО для этих ОСей.
Пентагон , думается на такие дровишки (да и остальные) тоже часто раскошеливаются.
Нашим тем более пора. а то не все же сР-163 бегать и по бумажным картам пальцами тыкать.
___________________________________________
Вермя сообщения: 4 часа 20 минут