Впервые в Санкт-Петербургском государственном электротехническом университете «ЛЭТИ» состоялся фестиваль по установке российских операционных систем (RusLinuxInstallFest). Фестиваль прошел при поддержке объединения компаний-разработчиков программного обеспечения России РУССОФТ. Открыл мероприятие директор департамента образования СПбГЭТУ «ЛЭТИ» Михаил Степанович Куприянов. Он напомнил, что 3 декабря текущего года президент РФ подписал закон о предустановке российских программ и приложений на гаджеты. Он вступит в силу 1 июля 2020 года. Согласно документу, производители смартфонов, […]

Современная программная инженерия в ВПК
Команда «Лаборатории 50» участвовала в проекте с использованием современных подходов программной инженерии на базе семейства стандартов ISO/IEEE 12 207 (в России ГОСТ Р ИСО/МЭК 12 207). Полученные знания и опыт наши специалисты применили в работе по внедрению современных зарубежных стандартов в большом отечественном проекте военной интегрированной АСУ планирования и применения вооружения. Тем самым получив бесценный опыт планирования и адаптации иностранных стандартов для работы широкой кооперации предприятий, которым и готовы […]

Любопытная статья с хабра про безопасность
Приветствуем! Статья собственно тут, а к чему это мы… делайте безопасные системы или у нас заказывайте:)

Зарубежные технологии интегрированных АСУ военного назначения (II)
Продолжение темы «Зарубежные технологии интегрированных АСУ военного назначения». Промышленная автоматизация Задачи промышленной автоматизации развивались в соответствии с эволюцией электроники, автоматики и вычислительной техники [7]. В 60-ых годах автоматизированные системы строят на базе ЭВМ. Следствием стали централизация сбора и обработки данных, а также к централизация подавляющего большинства приборов регулирования, индикации и регистрации. АСУ ТП такого типа получили название централизованных. Такие системы характеризуются: Низкой живучестью (при отказе […]

Зарубежные технологии интегрированных АСУ военного назначения
«Лаборатория 50» на протяжении нескольких лет занимается разработкой автоматизированных систем военного назначения, в том числе интегрированных. За это время были накоплены достаточные знания и опыт в этой области. По очевидным причинам аспекты, касающиеся отечественных систем, публиковать затруднительно. Однако, зарубежные технологии и подходы, доступные в открытой литературе никаких ограничений не накладывают. С докладами, затрагивающими отечественную специфику, наши сотрудники выступают на конференциях. Часто презентации и полные тексты доступны в материалах […]

Почему качество ПО производства ВПК — «дрова» и что с этим делать?
Критически важным для разработки сложных программных систем является организация и техническое обеспечение верификации, тестирования и испытаний системы и составных частей. Учитывая огромный прогресс в технологиях верификации, а также метрик качества ПО, необходимо внедрение данных методик в процесс разработки программного обеспечения военного назначения. В настоящее время, основной контроль качества осуществляется на межведомственных испытаниях. Почему результирующее качество чуть менее, чем никакое? Значит методика и процесс не отвечают […]

Аппаратное обеспечение кластера высокой готовности
Как и любая вычислительная система, кластер высокой готовности должен включать оборудование питания, вычислительные узлы, сетевые коммутаторы. Для обеспечения отказоустойчивости всего кластера в целом необходимо обеспечить отказоустойчивость каждой из его подсистем. Требования к подсистеме питания Надежность подсистемы питания является важной составляющей надежности кластера в целом. Естественным требованием для построения систем высокой готовности является наличие резервной линии электропитания, подающегося по отдельному кабелю. При […]