OPTIMIZED SAFETY – CRITICAL EMBEDDED AUTOMATIC FLIGHT CONTROL SYSTEM DEVELOPMENT APPROACH TO COMPLY WITH ARP 4754, DO-178C OBJECTIVES
Наукові журнали НАУ
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
OPTIMIZED SAFETY – CRITICAL EMBEDDED AUTOMATIC FLIGHT CONTROL SYSTEM DEVELOPMENT APPROACH TO COMPLY WITH ARP 4754, DO-178C OBJECTIVES
Оптимизированный подход к разработке программного обеспечения, с критическими требованиями к безопасности, для системы автоматического управления в соответствии со стандартами ARP 4754, DO-178C Оптимізований підхід до розробки програмного забезпечення з критич- ними вимогами по безпеці для системи автоматичного керування у відповідності до стандартів ARP 4754, DO-178C |
|
| Creator |
Prosvirin, D. A.; Національний авіаційний університет
Kharchenko, V. P.; Національний авіаційний університет |
|
| Subject |
Automatic flight control system; model-based design; SCADE; code generation; software certification; executable specification; verification; documentation; ARP 4754; DO-178С
UDC 629.735.3.+681.3.06.519.85 система автоматического управления; модельно-ориентировочное проектирование; ARP 4754, SCADE; генерация кода; сертификация программного обеспечения; исполнительная спецификация; верификация; документация UDC 629.735.3.+681.3.06.519.85 система автоматичного керування; модельно-орієнтоване проектування; ARP 4754, SCADE; генерація коду; сертифікація програмного забезпечення; виконувана специфікація; верифікація; документація UDC 629.735.3.+681.3.06.519.85 |
|
| Description |
This article deals with model based embedded software development approach of aircraft automaticflight control systems with using new model-based approach. Realization of air-borne equipmentsoftware requirements, regulated by functional safety standards such as ARP 4754, DO-178С is showed.This article explains how mentioned requirements can be obtained using SCADE. The possibility of documentationand qualified code generation from SCADE Display and SCADE Suite models is showed.Use of the mentioned approach allows facilitating embedded software development and certificationprocess
Представлен новый модельно-ориентированный подход к разработке программного обеспечения для системавтоматичного управления самолета. Показана реализация требований к программному обеспечению бортовыхсистем в соответствии со стандартами ARP 4754, DO-178С. В статье продемонстрировано как указанные требо-вания могут быть выполнены с использованием технологии SCADE. Показана возможность генерации тексто-вой документации и квалификационного кода. Использование представленного подхода позволяет облегчить изначительно ускорить процесс разработки и сертификации программного обеспечения бортовых систем Представлено новий модельно-орієнтований підхід до розробки програмного забезпечення для систем автоматичного керування літака. Показано реалізацію вимог до програмного забезпечення бортових систем у відповідності до стандартів ARP 4754, DO-178С. У статті продемонстровано як вказані вимогу можуть бути виконані звикористанням технології SCADE. Показано можливість генерації текстової документації та кваліфікованогокоду. Використання представленого підходу дозволяє полегшити та значно прискорити процес розробки тасертифікації програмного забезпечення бортових систем |
|
| Publisher |
Национальный Авиационный Университет
|
|
| Contributor |
—
— — |
|
| Date |
2016-03-23
|
|
| Type |
—
— — |
|
| Format |
application/pdf
|
|
| Identifier |
http://jrnl.nau.edu.ua/index.php/ESU/article/view/9900
|
|
| Source |
Electronics and Control Systems; № 3(45) (2015); 68-74
Электроника и системы управления; № 3(45) (2015); 68-74 Електроніка та системи управління; № 3(45) (2015); 68-74 |
|
| Language |
en
|
|