Linux OS integrated modular avionics application development framework with apex API of ARINC653 specification
The framework is made to provide tools to develop the integrated modular avionics (IMA) applications, which could be launched on the target platform LynxOs-178 without modifying their source code. The framework usage helps students to form skills for developing modern modules of the avionics. In add...
Main Authors: | Anna V. Korneenkova, Rinat A. Dobrokhotov |
---|---|
Format: | Article |
Language: | English |
Published: |
Plekhanov Russian University of Economics
2017-02-01
|
Series: | Открытое образование (Москва) |
Subjects: | |
Online Access: | https://openedu.rea.ru/jour/article/view/364 |
Similar Items
-
Certifiable onboard real-time operation system JetOS for Russian aircrafts design
by: Yu. A. Solodelov, et al.
Published: (2018-10-01) -
A Framework for Model and Verification of Safety-Critical Operating System Based on ARINC653
by: Wenjing Xu, et al.
Published: (2021-08-01) -
On the Correctness of Real-Time Modular Computer Systems Modeling with Stopwatch Automata Networks
by: Alevtina B. Glonina, et al.
Published: (2018-04-01) -
Refinement-based specification and security analysis of separation kernels
by: Zhao, Yongwang, et al.
Published: (2020) -
Multichannel ARINC429 bus test system based on FPGA
by: Sun Ao, et al.
Published: (2023-01-01)