Технологические системы. – 2014. – Выпуск 2 (67)

Permanent URI for this collectionhttps://ena.lpnu.ua/handle/ntb/26297

Научно-технический журнал

Международный мультидисциплинарный журнал специалистов наукоемкого машиностроения.

Технологические системы : научно-технический журнал / главный редактор Кривов Г. А. – Киев, 2014. – № 2 (67). – 103 с.

Browse

Filters

20141

Settings

Author: search.filters.author.Prosvirin, D. A.Has files: Yes

Search Results

Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    Deployment of model-based development process of safe application software for safetycritical avionics systems
    (ООО «Компания «Индустриальные технологии», 2014) Prosvirin, D. A.
    This article deals with model based embedded software development of avionics systems within early field trial. Realization of air-borne equipment software requirements, regulated by functional safety standards is showed. This article explains how mentioned requirements can be obtained using SCADE. The possibility of mentioned approach practical application is showed. The possibility of documentation and qualified code gene ration from SCADE Display and SCADE Suite models is showed. Use of the mentioned approach allows to facilitate embedded software development and certification process for safety-critical avionics systems. В статье представлен модельно-ориентированный подход к проектированию встроенного программного обеспечения для авиационных систем с критичными требованиями к безопасности при выполнении пилотного проекта. Показана реализация требований к программному обеспечению бортовой аппаратуры, регламентируемые стандартами по функциональной безопасности. Показана возможность практического применения указанного подхода. Рассмотрена возможность автоматической генерации исходного кода и документации из SCADE Display та SCADE Suite моделей. Применение указанного подхода позволяет значительно ускорить процесс проектирования и дальнейшей сертификации программного обеспечения.