ПРИМЕНЕНИЕ МОДЕЛЬНО-ОРИЕНТИРОВАННОГО ПОДХОДА ДЛЯ РАЗРАБОТКИ БЕЗОПАСНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ АВИАЦИОННЫХ СИСТЕМ C КРИТИЧНЫМИ ТРЕБОВАНИЯМИ К БЕЗОПАСНОСТИ

D.A. Prosvirin

Аннотация


  В статье представлен модельно-ориентированный подход к проектированию встроенного программного обеспечения для авиационных систем с критичными требованиями к безопасности при выполнении пилотного проекта. Показана реализация требований к программному обеспечению бортовой аппаратуры, регламентируемые стандартами по функциональной безопасности. Показана возможность практического применения указанного подхода. Рассмотрена возможность автоматической генерации исходного кода и документации из SCADE Display та SCADE Suite моделей. Применение указанного подхода позволяет значительно ускорить процесс проектирования и дальнейшей сертификации программного обеспечения.


Ключевые слова


модельно-ориентированный подход, SCADE, генерация кода, сертификация программного обеспечения, исполняемая спецификация, верификация, документация, DO-178B.

Полный текст:

PDF>PDF

Литература


Software considerations in airborne systems and equipment

certification (RTCA/DO-178B): DO-178B- [De cember 1. 1992]. — Washington. D.C. 20036 USA, 1992. — 112.

Efficient Development of Safe Avionics Display Software with DO-178B Objectives Using SCADE Suite™: [Methodology Handbook]. — France: Esterel Technolo -

gies, 2012. — 110.

Shligerski A., Model-based development of safe application software for safety-critical railways systems using scade tool environment/ Shligerski A., Umanski V. — M.: Functional safety – theory and practice, 2009. — pp. 13–21.

Myers J. Software Reliability – Principles and practices/ Myers J. — N.Y.: IBM Systems Research Institute Lectu re in Computer Science, Polytechnic Institute, 1976. — 360.


Ссылки

  • На текущий момент ссылки отсутствуют.


КОНТАКТЫСОБЫТИЯ ПРАВОВАЯ ИНФОРМАЦИЯ
ул. Кирилловская, 19-21, Киев, 04080, Украина Тел./факс: +3 8 (044) 455-93-92 Е-mail: iiii@ukrniat.com, ukrniat@ukrniat.com 
  • Новый выпуск журнала Технологические системы № 1 2018
  • Размещение журнала в IndexCopernicus
  • Рабочие встречи ГП АНТОНОВ и Азербайджанской стороны

 

Некоммерческое использование материалов сайта technological-systems.com.ua (в том числе цитирование и сокращенное изложение) разрешается при условии размещения прямой ссылки на цитируемый материал или на главную страницу technological-systems.com.ua. Любое коммерческое использование, а также перепечатка материалов возможны только с письменного разрешения редакции.