Средства модельно-ориентированного проектирования
(MBD = Model-Based Design)
программного обеспечения критически важных для безопасности
сертифицируемых встраиваемых систем


Средства модельно-ориентированного проектирования MBD предназначены для разработки программного обеспечения инженерами, которые являются экспертами в какой-либо области техники, но не владеют языком программирования. Алгоритм работы физического объекта описывается в виде структурной схемы из функциональных блоков (моделей), выполняется в режиме имитационного моделирования (симуляции), и из модели системы генерируется программный год на определенном языке с помощью кодогенератора, входящего в состав систем MBD.

Наиболее распространенной системой MBD в мире и в России является cистема модельно-ориентированного проектирования Simulink фирмы Mathworks.

В последнее время системы MBD находят все более широкое применение для разработки встраиваемых систем, в том числе и для разработки ПО систем, критически-важных для безопасности (safety critical) и подлежащих сертификации по различным отраслевым стандартам, например DO-178B/C (авионика), IEC 61508 (промышленное оборудование), EN 50128 (железнодорожные системы) и ISO 26262 (автоэлектроника). Но для того, чтобы автоматически сгенерированный код мог быть сертифицирован по какому-либо из этих стандартов, кодогенератор системы MBD должен быть квалифицирован по этому стандарту, т.е. быть разработан в соответствии с требованиями данного стандарта и сопровождаться набором квалификационных документов, определенных данным стандартом и предъявляемых в соответствующий сертифицирующий орган.

Компания AdaCore производит кодогенератор QGen (Qualifiable Generator) - квалифицируемый генератор программного кода из моделей Simulink и Stateflow.
QGen оддерживает подмножество из примерно 120 блоков Simulink, отобранных по критерию безопасности и сертифицируемости, и производит код на языках MISRA C (подмножество языка C) и SPARK (подмножество языка Ada).
QGen также позволяет проводит верификацию на уровне моделей (model-level verification).
QGen сопровождается пакетом квалификационных материалов (Qualification Kit) по стандартам DO-178C (авионика), ISO 26262 (автоэлектроника) и EN 50128 (ж/д системы).



Новая версия QGen 17.1 включает в себя отладчик на уровне моделей (model-level debugger)

С выходом нового релиза 17.1 QGen стал не только средством кодогенерации, но и средством верификации. В QGen 17.1 включены средства тестирования и отладки на уровне моделей (model-level debugging), причем отладка может быть комбинированной: пользователь может отлаживать приложения, состоящие из комбинации автоматически сгенерированного кода и рукописного кода, и при отладке переходить от сгенерированного кода к рукописному и обратно.

Кодогенератор/верификатор QGen спроектирован по требованиям DO-178C и сопровождается комплектом материалов для квалификации на наивысший уровень TQL-1 (Tool Qualification Level) DO-330.

WWW.ADACORE.COM/QGEN


AVD Systems
тел: (916) 194-42-71

Все наши страницы в сети:
www.avdsys.ru/pikeos PikeOS - операционная система/гипервизор для встраиваемых систем, критически-важных для безопасности (safety) и защищенности (security)
www.avdsys.ru/ada AdaCore – средства разработки и верификации ПО на языках Ada и SPARK
www.avdsys.ru/test Cantata - комплекс средств автоматизации тестирования программного обеспечения критически-важных для безопасности, сертифицируемых встраиваемых систем
www.avdsys.ru/gpu CoreAVI - сертифицируемые по стандарту DO-178B/C драйверы стандарта OpenGL SC (Safety Critical) для различных графических процессоров и графических ядер (GPU = Graphics Processing Unit)
www.avdsys.ru/gui DiSTI GL Studio - cреда разработки 3-D графического пользовательского интерфейса (GUI) критически важных для безопасности сертифицируемых дисплейных систем
www.avdsys.ru/wcet AbsInt - средства статического (по коду программы) анализа ПО критически-важных встраиваемых систем: времени исполнения наихудшего случая WCET (Worst-Case Execution Time), объема используемого стека, наличия потенциальных ошибок времени исполнения
www.avdsys.ru/mbd Средства модельно-ориентированного проектирования (MBD = Model-Based Design).
AdaCore QGen - квалифицируемый генератор программного кода из моделей Simulink и Stateflow.
www.avdsys.ru/debug Lauterbach - аппаратные средства отладки ПО встраиваемых систем
www.avdsys.ru/atr CM Computer - бортовые корпуса формата ATR (Air Transport Rack) для модулей VPX, VME64 и CompactPCI с кондуктивным охлаждением
www.avdsys.ru/DE TTTech - оборудование Deterministic Ethernet - сетевой Технологии с передачей по Временно́му Расписанию (Time-Triggered Technology), применяемой для построения распределенных систем жесткого реального времени с гарантированным временем передачи данных
www.avdsys.ru/rugged Aitech - модули и системы VPX, VME, CompactPCI для тяжелых условия эксплуатации