LDRA расширяет присутствие на российском рынке безопасного ПО - Новости
Встраиваемые системыНовости   LDRA расширяет присутствие на российском...  
19 марта 2014

LDRA расширяет присутствие на российском рынке безопасного ПО

Компания LDRA выбрала ПРОСОФТ в качестве российского дистрибьютора своего инструментария для анализа и тестирования ПО и подтверждения соответствия стандартам.

Мировой лидер в области верификации ПО, анализа исходных текстов, автоматизированного тестирования и подтверждения соответствия стандартам – компания LDRA объявила о заключении дистрибьюторского соглашения с ПРОСОФТ с целью продвижения и расширения доступности инструментальных средств и сертификационных услуг LDRA на территории России и стран СНГ. Будучи ведущим российским поставщиком и интегратором в области встраиваемых технологий и безопасных приложений, ПРОСОФТ является идеальным кандидатом для предоставления отечественным заказчикам программных продуктов, опыта и технической поддержки LDRA на русском языке и с учетом региональной специфики.

Заключение дистрибьюторского соглашения с ПРОСОФТ позволит LDRA расширить деловые связи с российскими разработчиками вычислительных систем с повышенными требованиями к функциональной и информационной безопасности. В современных условиях взрывного роста объема и сложности программного кода безопасных приложений применение традиционного «ручного» подхода к разработке сертификационной документации неизбежно ведет к выходу за рамки сроков и бюджета, что в результате вынуждает производителей искать решения по автоматизации процессов тестирования и верификации ПО. Инструментальные средства LDRA, в свою очередь, идеально соответствуют нуждам клиентов ПРОСОФТ, т.к. благодаря конфигурируемости применяемых алгоритмов анализа позволяют оценивать ПО на предмет соответствия как зарубежной, так и российской нормативной базе.

«Кроме необходимости соответствия стандартам функциональной и информационной безопасности, разработчикам в России и по всему миру приходится сталкиваться и с другими факторами, такими, например, как сроки, бюджет и обязательства, – комментирует Ян Хеннелл (Ian Hennell), операционный директор LDRA. – Наш инструментарий помогает клиентам подтверждать соответствие самым различным стандартам: национальным, международным и даже внутренним стандартам компаний, и применять их на всех стадиях жизненного цикла продукции. Автоматизация процессов анализа, тестирования и верификации ПО, а также документирования применяемых методик дает разработчикам колоссальную экономию времени и средств при одновременном снижении бизнес-рисков».

Для ПРОСОФТ способность LDRA обеспечить подтверждение соответствия на уровне прикладных приложений является решением актуального в настоящий момент в России и СНГ вопроса снижения затрат на сертификацию ПО. Портфель ПРОСОФТ традиционно включал в себя программно-аппаратные решения на базе безопасного оборудования и сертифицируемых операционных систем от таких производителей, как Wind River и QNX. Однако за последние годы с ростом сложности и объемов прикладного кода трудоемкость подготовки сертификационной документации для прикладных приложений, а значит и сертификации всей системы, резко возросла. LDRA поможет заказчикам ПРОСОФТ решать эту проблему за счет автоматизации процессов и обеспечения целостности документации на всем протяжении жизненного цикла проекта, а также за счет богатого опыта ведения проектов по подтверждению соответствия стандартам безопасности ПО в различных отраслях. В дополнение к этому, уже существующая аттестация инструментария LDRA в России может быть расширена поддержкой методик оценки информационной безопасности, открывая дополнительные возможности для повторного использования кода, уже прошедшего процедуру оценки.

«Обеспечивая подтверждение соответствия стандартам на уровне прикладных приложений, инструментарий LDRA упростит заказчикам ПРОСОФТ задачу полной сертификации разрабатываемых программных систем, – комментирует Николай Горбунов, менеджер направления встраиваемых программных платформ ПРОСОФТ. – В России международные стандарты функциональной и информационной безопасности тесно соседствуют с локальными нормативными документами, и наличие инструментария, способного свести воедино все нормативные требования и затем отслеживать их соблюдение, представляет собой существенный технологический прорыв. В результате наши заказчики смогут значительно сократить затраты времени и средств».

В сочетании с безопасными аппаратными и программными платформами, входящими в портфель решений ПРОСОФТ, инструментальные средства и профессиональные сервисы LDRA помогут заказчикам компании, представляющим авиационное и космическое приборостроение, железнодорожный транспорт, атомную энергетику и прочие отрасли промышленности, которые предъявляют повышенные требования к функциональной и информационной безопасности, эффективнее разрабатывать и сертифицировать безопасные и защищенные системы в соответствии с современной нормативной базой.

Инструментальные средства LDRA позволяют производить анализ ПО, разработанного на языках C, C++, Ada и ассемблерах Intel, Freescale и Texas Instruments, и интегрированы со средствами разработки от ведущих производителей безопасных ОС, таких как VxWorks и QNX. В число поддерживаемых LDRA стандартов безопасности ПО наряду с другими входят такие, как DO-178B/C (КТ-178B/C), МЭК 61508-3 (ГОСТ Р МЭК 61508-3), МЭК 60880 (ГОСТ Р МЭК 60880) и EN 50128 (МЭК 62279), а также их производные и аналоги.



LDRA Software Technology

Уже более 40 лет компания LDRA разрабатывает передовые методики и программные решения для автоматизации анализа кода и тестирования ПО в безопасных, защищенных и ответственных приложениях. Инструментальные средства LDRA отслеживают соблюдение требований стандартов путем статического и динамического анализа, автоматизированного модульного тестирования и верификации кода на самых разнообразных сочетаниях программных и аппаратных платформ, обеспечивая разработчикам раннее обнаружение ошибок и упрощая процедуру подтверждения соответствия. Штаб-квартира LDRA расположена в Великобритании; компания также имеет представительства в США и Индии и масштабную дистрибьюторскую сеть по всему миру.

На территории России и стран СНГ продукцию компании Wind River можно приобрести у ее официального дистрибьютора — компании ПРОСОФТ.


Wind River

Компания Wind River — мировой лидер в области встраиваемого и мобильного программного обеспечения. Wind River является пионером технологий программирования встраиваемых систем с 1981 года, и ее технологии применяются в более чем 1 миллиарде продуктов. Штаб-квартира Wind River расположена в г. Аламида (Alameda), штат Калифорния, США; офисы Wind River имеются в 15 странах мира.

На территории России и стран СНГ продукцию компании Wind River можно приобрести у ее официального дистрибьютора — компании ПРОСОФТ.


QNX

Компания QNX Software Systems, независимое подразделение компании BlackBerry (NASDAQ:BBRY), является признанным лидером в области технологий встраиваемых операционных систем реального времени. Технологии QNX повсеместно используются ведущими мировыми компаниями, такими как Cisco, Daimler, General Electric, Lockheed Martin и Siemens, для реализации сетевых маршрутизаторов, медицинского оборудования, телематических блоков для автомобилей, систем безопасности и обороны, промышленной робототехники и других ответственных приложений. Компания QNX Software Systems основана в 1980 г., ее штаб-квартира находится в г.Оттава, Канада. Компания распространяет свои программные продукты более чем в 100 странах по всему миру.

На территории России и стран СНГ приобрести продукцию QNX Software Systems можно у компании ПРОСОФТ и ее региональных дилеров. Компания ПРОСОФТ также предлагает услуги по разработке драйверов и пакетов поддержки процессорных плат (BSP) для ОСРВ QNX, а также поставляет оборудование с предустановленной ОСРВ QNX в требуемой конфигурации.