Организация верификации авионики
Автор: Шишкин В.В., Лапшова Е.В., Хасанов А.С.
Журнал: Известия Самарского научного центра Российской академии наук @izvestiya-ssc
Рубрика: Информатика, вычислительная техника и управление
Статья в выпуске: 4-3 т.26, 2024 года.
Бесплатный доступ
В статье приводятся описание процессов верификации конструкторской документации бортовой информационно-управляющих систем летательных аппаратов в соответствии с квалификационными требованиями КТ-254 и КТ-178C. Рассматриваются, основные методы, цели, этапы, входные данные и результаты процессов верификации, как конструктивной части конструкторской документации, так и программного обеспечения. Представлена актуальность задачи проведения виртуальных испытаний авионики перед проведением натурных испытаний на стойкость к внешним воздействующим факторам. Рассмотрен процесс верификации программного обеспечения для систем с повышенными требованиями к надежности и безопасности. Разработана схема процесса верификации программного обеспечения. Выделены цели и методы верификации. Подробно рассмотрен процесс тестирования программного обеспечения, как наиболее трудоемкий этап процесса верификации. Выделены цели процесса тестирования необходимые для удовлетворения квалификационных требований. Рассмотрены категории тестовых примеров и виды тестирования необходимые для выполнения тестирования в соответствии с авиационными стандартами.
Верификация, конструкторская документация, конструкция, кт-254, кт-178c
Короткий адрес: https://sciup.org/148330131
IDR: 148330131 | DOI: 10.37313/1990-5378-2024-26-4(3)-400-407
Список литературы Организация верификации авионики
- Шишкин В.В. Автоматизация проектирования диагностического обеспечения и диагностирования авиационных бортовых информационных систем / В.В. Шишкин, С.В. Черкашин. – Ульяновск: УлГТУ, 2010.
- Руководство по сертификации сложных бортовых систем воздушных судов гражданской авиации Р-4754А. М., АР МАК, 2016.
- Руководство по гарантии конструирования бортовой электронной аппаратуры КТ-254 / Издание – ОАО «Авиаиздат», 2011
- КТ-178С. Квалификационные требования. Требования к программному обеспечению бортовой аппаратуры и систем при сертификации авиационной техники. Межгосударственный авиационный комитет, Авиационный регистр, 2016.
- [Электронный ресурс]: DO Qualifi cation Kit (for DO-178 and DO-254) - MATLAB. URL: https://ch.mathworks.com/products/do-178.html (режим доступа – свободный), (дата обращения: 17.04.2024).
- [Электронный ресурс]: LDRA Testbed® and TBvision® - LDRA. URL: https://ldra.com/products/ldra-testbed-tbvision/ (режим доступа – свободный), (дата обращения: 17.04.2024).
- [Электронный ресурс]: VectorCAST | Software Test Automation | Vector. URL: https://www.vector.com/int/en/products/products-a-z/software/vectorcast/ (режим доступа – свободный), (дата обращения: 17.04.2024).
- [Электронный ресурс]: Verifysoft Technology GmbH. URL: https://www.verifysoft.com/en_ctcpp.html (режим доступа – свободный), (дата обращения: 17.04.2024).
- Попов, А.Ю. Проектирование цифровых устройств с использованием ПЛИС: Учеб. пособие / А.Ю. Попов. – М.: Изд-во МГТУ им. Н.Э. Баумана, 2009.
- [Электронный ресурс]: Spec-TRACER – ПСБ Софт, Россия. URL: https://pcbsoftware.com/product/spec-tracer/ (режим доступа – свободный), (дата обращения: 17.04.2024).
- [Электронный ресурс]: Alint-PRO – ПСБ Софт, Россия. URL: https://pcbsoftware.com/product/aldecalint/ (режим доступа – свободный), (дата обращения: 17.04.2024).
- [Электронный ресурс]: Active-HDL – универсальный симулятор ПЛИС – ПСБ Софт, Россия. URL: https://pcbsoftware.com/product/aldec-active-hdl/ (режим доступа – свободный), (дата обращения: 17.04.2024).
