NAU Harvester System
Оптимізований підхід до розробки програмного забезпечення з критич- ними вимогами по безпеці для системи автоматичного керування у відповідності до стандартів ARP 4754, DO-178C
Наукові журнали Національного Авіаційного Університету
View Archive Info| Field | Value | |
| Title |
Оптимізований підхід до розробки програмного забезпечення з критич- ними вимогами по безпеці для системи автоматичного керування у відповідності до стандартів ARP 4754, DO-178C
OPTIMIZED SAFETY – CRITICAL EMBEDDED AUTOMATIC FLIGHT CONTROL SYSTEM DEVELOPMENT APPROACH TO COMPLY WITH ARP 4754, DO-178C OBJECTIVES Оптимизированный подход к разработке программного обеспечения, с критическими требованиями к безопасности, для системы автоматического управления в соответствии со стандартами ARP 4754, DO-178C |
|
| Creator |
Prosvirin, D. A.; Національний авіаційний університет
Kharchenko, V. P.; Національний авіаційний університет |
|
| Subject |
система автоматичного керування; модельно-орієнтоване проектування; ARP 4754, SCADE; генерація коду; сертифікація програмного забезпечення; виконувана специфікація; верифікація; документація
UDC 629.735.3.+681.3.06.519.85 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 |
|
| Description |
Представлено новий модельно-орієнтований підхід до розробки програмного забезпечення для систем автоматичного керування літака. Показано реалізацію вимог до програмного забезпечення бортових систем у відповідності до стандартів ARP 4754, DO-178С. У статті продемонстровано як вказані вимогу можуть бути виконані звикористанням технології SCADE. Показано можливість генерації текстової документації та кваліфікованогокоду. Використання представленого підходу дозволяє полегшити та значно прискорити процес розробки тасертифікації програмного забезпечення бортових систем
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. Показана возможность генерации тексто-вой документации и квалификационного кода. Использование представленного подхода позволяет облегчить изначительно ускорить процесс разработки и сертификации программного обеспечения бортовых систем |
|
| Publisher |
National Aviation University
|
|
| Contributor |
—
— — |
|
| Date |
2015-10-23
|
|
| Type |
—
— — |
|
| Format |
application/pdf
|
|
| Identifier |
http://jrnl.nau.edu.ua/index.php/ESU/article/view/9900
10.18372/1990-5548.45.9900 |
|
| Source |
Electronics and Control Systems; Том 3, № 45 (2015); 68-74
Электроника и системы управления; Том 3, № 45 (2015); 68-74 Електроніка та системи управління; Том 3, № 45 (2015); 68-74 |
|
| Language |
en
|
|