Юмор

[SaaBaka]

Это не фейк. Я лично проверял FMC SSJ. Это реально так. Взялось это от того что, ПО разрабатывалось по стандартам которые написаны ещё в 60х и с тех пор не менялись. Скорректируют и перенакатят и все будет норм

Любопытно - на чем сейчас разрабатывают у нас подобные штуки? Ada2012/SPARK, или что-то другое? Какие инструменты используют для формальной верификации кода?

[GFO]

Это не фейк. Я лично проверял FMC SSJ. Это реально так. Взялось это от того что, ПО разрабатывалось по стандартам которые написаны ещё в 60х и с тех пор не менялись. Скорректируют и перенакатят и все будет норм

Любопытно - на чем сейчас разрабатывают у нас подобные штуки? Ada2012/SPARK, или что-то другое? Какие инструменты используют для формальной верификации кода?

да насрать. На чём угодно что соответствует требованиям КТ-178. Конечная верификация и влидация кода на программно-аппаратной модели самолёта. То что называют "электронной птицей". Формальная верификация кода меня как испытателя не интересует. Меня интересует соответствие реакции ПО ТЗ на макете.

[фдуч112]

Ну соответственно летунам которые разучились летадь ручкаме. Перевести самолёт в директ мод и полететь на ручках и крутилках вроде религия не запрещает.

Читали расшифровку AZAL? Там с момента отключения жпс уже стрессовая ситуация началась, c учетом низкой облачности дык ваще mission impossible. Без жпс метеоминимум надо +500 добавлять, тогда бы они и не полетели туда ваапще. Так что ручкаме нонче как-то не очень умеют.

[GFO]

Читали расшифровку AZAL? Там с момента отключения жпс уже стрессовая ситуация началась, c учетом низкой облачности дык ваще mission impossible. Без жпс метеоминимум надо +500 добавлять, тогда бы они и не полетели туда ваапще. Так что ручкаме нонче как-то не очень умеют.

от тока не нада. Без трёх гидросистем с разгерметизацией и управлением одним разнотягом движков... Да то что там почти половина выжила это уже ого-го. Да ещё и отруливание от населенного пункта.Подобная история с нипппонским JAL123 закончилась на склоне Уэно 520 трупами. Так шта там как раз летали очень ручкаме. Из всех историй с потерей гидравлики благополучно закончились только 2. А300 ДХЛ который над Багдадом получил из стрелы в крыло и Ту-95 которому танкер снёс киль. Остальные задокументированные два десятка к сожалению с катастрофическим исходом

[фдуч112]

от тока не нада. Без трёх гидросистем с разгерметизацией и управлением одним разнотягом движков...

"Птицы" в них попали уже в момент ухода на Баку. Но до этого заход с "векторением" был на исправном, но без жпс. И там уже был нервяк.

[GFO]

"Птицы" в них попали уже в момент ухода на Баку. Но до этого заход с "векторением" был на исправном, но без жпс. И там уже был нервяк.

Неовяк был по ому что они вообще не понимали где находятся. Радиомаяки они проипланили, ИЛС тоже. Кстати вопрос - они вообще работали или их глушанули тоже? Да и диспетчер Грозного им тоже никyя нормального сказать не мог.

[tru65]

[Leks]

не факт, что носок замерзший.

[tru65]

не факт, что носок замерзший.

Это важно?

[ЯБулочник]

не факт, что носок замерзший.

Это важно?

согласен. то, что это носок - это не важно