В Москве состоялся четвертый семинар «Авиация. Квалификация. Надежность» по актуальным вопросам авиационной отрасли, связанным с разработкой систем повышенной надежности. Одним из таких вопросов стало модельно-ориентированное проектирование (МОП) для разработки бортового ПО в соответствии с КТ-178С/Р-331.
Отечественные среды МОП не обеспечивают должной поддержки стандартов КТ-178С/Р-331, а разработчики инструментов имеют туманное представление о целях КТ-178С. Западное ПО устаревает и почти недоступно. Гипотетический отказ от МОП или западного ПО увеличит на порядок стоимость сертификации бортового ПО повышенной надежности. Замещение критично для российского авиастроения. На разработчиков бортового ПО давят сроки и жесткие требования стандарта. В общем, требуется решать очень большие проблемы.
В докладе «Миссия выполнима: Российская среда модельно-ориентированного проектирования и сертификация по КТ-178С/Р-331» представители ЦИТМ Экспонента рассказали о текущем состоянии инструментов верификации в среде Engee и планах поддержки рабочего процесса для сертификации по КТ-178С/Р-331.
Сейчас разрабатывается пакет квалификационной документации на инструменты верификации Engee. В рамках этой работы подготовлен документ «Рабочий процесс модельно-ориентированного проектирования для КТ-178С», в котором описываются функции инструментов верификации Engee в привязке к целям и мероприятиям стандарта, и другие документы для квалификационного пакета.
Инженеры Экспоненты давно занимаются МОП, а также разбираются в деталях и идеологии стандарта КТ-178С/Р-331. Мы поддерживали проекты сертификации по КТ-178С в Simulink и готовы продолжать это делать в Engee! 💼
В Москве состоялся четвертый семинар «Авиация. Квалификация. Надежность» по актуальным вопросам авиационной отрасли, связанным с разработкой систем повышенной надежности. Одним из таких вопросов стало модельно-ориентированное проектирование (МОП) для разработки бортового ПО в соответствии с КТ-178С/Р-331.
Отечественные среды МОП не обеспечивают должной поддержки стандартов КТ-178С/Р-331, а разработчики инструментов имеют туманное представление о целях КТ-178С. Западное ПО устаревает и почти недоступно. Гипотетический отказ от МОП или западного ПО увеличит на порядок стоимость сертификации бортового ПО повышенной надежности. Замещение критично для российского авиастроения. На разработчиков бортового ПО давят сроки и жесткие требования стандарта. В общем, требуется решать очень большие проблемы.
В докладе «Миссия выполнима: Российская среда модельно-ориентированного проектирования и сертификация по КТ-178С/Р-331» представители ЦИТМ Экспонента рассказали о текущем состоянии инструментов верификации в среде Engee и планах поддержки рабочего процесса для сертификации по КТ-178С/Р-331.
Сейчас разрабатывается пакет квалификационной документации на инструменты верификации Engee. В рамках этой работы подготовлен документ «Рабочий процесс модельно-ориентированного проектирования для КТ-178С», в котором описываются функции инструментов верификации Engee в привязке к целям и мероприятиям стандарта, и другие документы для квалификационного пакета.
Инженеры Экспоненты давно занимаются МОП, а также разбираются в деталях и идеологии стандарта КТ-178С/Р-331. Мы поддерживали проекты сертификации по КТ-178С в Simulink и готовы продолжать это делать в Engee! 💼
Additionally, investors are often instructed to deposit monies into personal bank accounts of individuals who claim to represent a legitimate entity, and/or into an unrelated corporate account. To lend credence and to lure unsuspecting victims, perpetrators usually claim that their entity and/or the investment schemes are approved by financial authorities. The last couple days have exemplified that uncertainty. On Thursday, news emerged that talks in Turkey between the Russia and Ukraine yielded no positive result. But on Friday, Reuters reported that Russian President Vladimir Putin said there had been some “positive shifts” in talks between the two sides. Overall, extreme levels of fear in the market seems to have morphed into something more resembling concern. For example, the Cboe Volatility Index fell from its 2022 peak of 36, which it hit Monday, to around 30 on Friday, a sign of easing tensions. Meanwhile, while the price of WTI crude oil slipped from Sunday’s multiyear high $130 of barrel to $109 a pop. Markets have been expecting heavy restrictions on Russian oil, some of which the U.S. has already imposed, and that would reduce the global supply and bring about even more burdensome inflation. Continuing its crackdown against entities allegedly involved in a front-running scam using messaging app Telegram, Sebi on Thursday carried out search and seizure operations at the premises of eight entities in multiple locations across the country. At this point, however, Durov had already been working on Telegram with his brother, and further planned a mobile-first social network with an explicit focus on anti-censorship. Later in April, he told TechCrunch that he had left Russia and had “no plans to go back,” saying that the nation was currently “incompatible with internet business at the moment.” He added later that he was looking for a country that matched his libertarian ideals to base his next startup.
from hk
