Зведений каталог бібліотек Харкова

 

Prosvirin, D. A.
    Deployment of model-based development process of safe application software for safety-critical avionics systems [Текст] = Применение модельно-ориентированного подхода для разработки безопасного программного обеопечения авиационных систем с критичными требованиями к безопасности / D.A. Prosvirin // Технологические системы : Научно-технический журнал. — К. : Наука, 2014. — P. 80-84.


- Анотація:

This article deals with model based embedded software development of avionics systems within early fieldtrial. 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 entioned approach allows to facili tate embedded software development and certification process for safety-critical avionics systems. Keywords: model-based design, SCADE, code generation, software certification, executable specification, verification, documentation, DO-178B.

- Електронні версії документа:

- Є складовою частиною документа:

- Теми документа

  • УДК // Навігаційно-пілотажні прилади
  • УДК // Розробка програмного забезпечення



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського   Перейти на сайт