+38/050/370-3627
+38/093/220-0872
+38/044/257-2444
Новини

AdaCore, виробник компілятора та засобів розробки програмного забезпечення для мови програмування Ada, анонсував підтримку інструментального комплексу GNAT Pro

AdaCore, виробник компілятора та засобів розробки програмного забезпечення для мови програмування Ada, анонсував підтримку інструментального комплексу GNAT Pro

AdaCore, виробник компілятора та засобів розробки ПЗ для мови програмування Ada, анонсував підтримку інструментального комплексу GNAT Pro для операційної системи реального часу, що вбудовується, QNX – однієї з найпоширеніших у світі ОСРВ для відповідальних вбудовуваних застосувань.

Мова програмування Ada створювалася спеціально для розробки ПЗ з підвищеними вимогами до надійності, і в даний час Ada є основною мовою для розробки ПЗ-систем, критично важливих для безпеки та сертифікованих за стандартами функціональної (safety) та інформаційної (security) безпеки. Мова Ada є міжнародним стандартом ISO 8652. В останній редакції стандарту ISO 8652-2012 (Ada 2012) введено конструкцію для завдання «контрактів» – вимог до результатів роботи програмного модуля, описаних безпосередньо у тексті програми мовою Ada. Контракт призначений для використання компілятором для виконання динамічних перевірок або засобами статичного аналізу для формальної верифікації - докази математичними методами, що ПЗ робить те, що від нього вимагається і не робить того, що не потрібно.

Комплекс інструментальних засобів GNAT Pro включає компілятор, що підтримує всі версії стандартів Ada (Ada 83, Ada 95, Ada 2005 і Ada 2012), інтегроване середовище розробки, візуальний налагоджувач, засоби автоматизації тестування, засоби статичного аналізу (контроль стандартів кодування) , Збір метрик програмного коду, аналізатор стека), засоби формальної верифікації (докази коректності роботи ПЗ за допомогою математичних методів) та засоби інтеграції Ada та C/C++ програм.

У першій версії GNAT Pro for QNX підтримуватиме мікропроцесори з архітектурою ARM сімейства Cortex A, надалі підтримуватимуться й інші мікропроцесорні архітектури. Інструментальний комплекс GNAT Pro випускається також для операційних систем LynxOS, PikeOS, VxWorks, Embedded Linux та для систем без ОС (bare metal) та підтримує мікропроцесори з архітектурами PowerPC, x86, ARM та LEON. Інструментальні засоби компанії AdaCore супроводжуються кваліфікаційними матеріалами відповідно до стандартів DO-178C (авіоніка), EN 50128 (залізнична система), ISO 26262 (автоелектроніка) та ECSS-E-ST-40C/ECSS-Q-ST-80C (космічна) техніка).

Інші продукти AdaCore: CodePeer - статичний аналізатор / детектор потенційних помилок та вразливостей у програмах на мовою Ada; SPARK Pro – комплекс засобів верифікації ПЗ на мові SPARK – формально підмножині мови Ada, що верифікується; QGen – кваліфікований генератор програмного коду мовами MISRA C та SPARK із моделей Simulink/Stateflow.

 

Інші новини

Найкраща ціна