Организация верификации авионики
Автор: Шишкин В.В., Лапшова Е.В., Хасанов А.С.
Журнал: Известия Самарского научного центра Российской академии наук @izvestiya-ssc
Рубрика: Информатика, вычислительная техника и управление
Статья в выпуске: 4-3 т.26, 2024 года.
Бесплатный доступ
В статье приводятся описание процессов верификации конструкторской документации бортовой информационно-управляющих систем летательных аппаратов в соответствии с квалификационными требованиями КТ-254 и КТ-178C. Рассматриваются, основные методы, цели, этапы, входные данные и результаты процессов верификации, как конструктивной части конструкторской документации, так и программного обеспечения. Представлена актуальность задачи проведения виртуальных испытаний авионики перед проведением натурных испытаний на стойкость к внешним воздействующим факторам. Рассмотрен процесс верификации программного обеспечения для систем с повышенными требованиями к надежности и безопасности. Разработана схема процесса верификации программного обеспечения. Выделены цели и методы верификации. Подробно рассмотрен процесс тестирования программного обеспечения, как наиболее трудоемкий этап процесса верификации. Выделены цели процесса тестирования необходимые для удовлетворения квалификационных требований. Рассмотрены категории тестовых примеров и виды тестирования необходимые для выполнения тестирования в соответствии с авиационными стандартами.
Верификация, конструкторская документация, конструкция, кт-254, кт-178c
Короткий адрес: https://sciup.org/148330131
IDR: 148330131 | УДК: 004.031.6 | DOI: 10.37313/1990-5378-2024-26-4(3)-400-407
Avionics verification organization
The article is devoted to verification processes in the design of embedded avionics systems. Verification is carried out in accordance with the qualification requirements KT-254 and KT-178C. Embedded avionics systems consist of hardware and software. The main goals, stages, methods, input data and results of the verification processes of both parts are described. The relevance of conducting virtual tests of embedded avionics systems before conducting full-scale tests for resistance to external influencing factors is presented. Their implementation variants are considered. The process of safety critical avionics software verification is considered. A comprehensive software verification scheme has been developed. The goals and methods of verification are presented. The process of software testing, as the most labor-intensive stage of verification, is considered in detail. The goals of the testing process are determined from the point of view of meeting qualification requirements. The categories of test examples and types of testing required to perform testing in accordance with aviation standards are considered.
Список литературы Организация верификации авионики
- Шишкин В.В. Автоматизация проектирования диагностического обеспечения и диагностирования авиационных бортовых информационных систем / В.В. Шишкин, С.В. Черкашин. – Ульяновск: УлГТУ, 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).
