Обращаем особое внимание руководителей организаций, эксплуатирующих ОПО без лицензии. В соответствии с пунктом 8 части 1 статьи 57 Федерального закона от 31.07.2020 № 248-ФЗ «О государственном контроле (надзоре) и муниципальном контроле в Российской Федерации» основанием для проведения контрольного (надзорного) мероприятия является наличие у контрольного (надзорного) органа сведений об осуществлении деятельности без лицензии, в том числе на эксплуатацию взрывопожароопасных и химически опасных производственных объектов I, II и III классов опасности (пункт 12 части 1 статьи 12 Федерального закона от 04.05.2011 № 99-ФЗ «О лицензировании отдельных видов деятельности»), с извещением о проведении контрольного (надзорного) мероприятия в течение двадцати четырех часов органа прокуратуры по месту нахождения объекта контроля Сообщить о фактах нарушения требований промышленной безопасности

В МГУ создали алгоритм, повышающий надежность бортовых систем самолетов

В МГУ создали алгоритм, повышающий надежность бортовых систем самолетов
15.07.2026
Источник: ТАСС


Ученые Московского государственного университета имени М. В. Ломоносова создали алгоритм, обеспечивающий точность и предсказуемость бортовых систем самолетов и другой техники. Об этом сообщили ТАСС в пресс-службе вуза.

"Исследователи факультета вычислительной математики и кибернетики МГУ предложили методику применения технологий безопасной компиляции для встроенных систем ответственного назначения. Подход позволяет учитывать требования безопасности при использовании современных компиляторов и снижать риски, связанные с оптимизацией программного кода. Разработка может применяться при создании и сертификации программного обеспечения для авиационных и других критически важных систем, где необходимы высокая надежность и предсказуемость работы", - сообщили в МГУ.

Авторы смогли адаптировать технологии оптимизации обработки данных к бортовым системам, работающим в реальном времени. Они решили проблему преобразования программного кода для повышения производительности системы, которая влияет на предсказуемость работы таких программ и усложняет процесс верификации.

"Результаты работы могут способствовать развитию технологий разработки надежного программного обеспечения для систем, работающих в условиях повышенных требований к безопасности", - пояснили в вузе.

Возврат к списку