Design and architecture of real-time operating system

Mallachiev, K. M.; Pakulin, Nikolay; Хорошилов, А. В.

doi:10.15514/ispras-2016-28(2)-12

Cited by 12 publications

(7 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…We tested the rendering speed of the AMM application developed by ARINC 661 server [3]. We rendered it in the pilot display visualization system [4] elaborated for the perspective low power consuming processor i.MX6 with hardware support for Vivante GPU, running under the JetOS aircraft real time operating system [5]. The speed demonstrated by tests is 2-3 frames per second.…”

Section: Ua Cdsmentioning

confidence: 99%

Optimizing ARINC 661 Rendering for OpenGL with Hardware Support in the JetOS Aviation Operating System

Barladian¹,

Shapiro²,

Deryabin³

et al. 2021

Proceedings of the 31th International Conference on Computer Graphics and Vision. Volume 2

View full text Add to dashboard Cite

This paper denotes to the problem of the pilot display visualization speed. The software used in avionics has to follow strict rules prescribed by many standards. The studies used OpenGL Safety Critical (SC) with hardware support for Vivante GPU running in the aircraft real time operating system JetOS. One of the avionics standards – ARINC 661 – defines the application rendered in a cockpit display system. It raises the issue of efficient OpenGL SC using to ensure the acceptable visualization speed. Due to the specific of application prepared by the ARINC 661 server the visualization speed for the prospective aircraft platform (i.MX6 processor with Vivante GPU) is too slow to meet aviation requirements. An efficient visualization speed acceleration algorithm has been proposed and implemented. Firstly the OpenGL calls were optimized. But this optimization cannot be directly integrated into the ARINC 661 server. So a special intermediate module was designed and elaborated. The proposed approach makes it possible to achieve a visualization speed acceptable for an aircraft pilot display.

show abstract

Section: Ua Cdsmentioning

confidence: 99%

Optimizing ARINC 661 Rendering for OpenGL with Hardware Support in the JetOS Aviation Operating System

Barladian¹,

Shapiro²,

Deryabin³

et al. 2021

Proceedings of the 31th International Conference on Computer Graphics and Vision. Volume 2

View full text Add to dashboard Cite

show abstract

“…It uses Model-Based Engineering approach [3,4] for describing the system configuration, and its source code is available in [5]. In Russia, JetOS, a certified operating system for aircraft, was created by GosNIIAS and ISP RAS [6,7] as a fork of POK with advanced debugging capabilities, rewritten scheduler, system partition feature and different platforms support. The code is partially available on GitHub under the GPLv3 licence [8].…”

Section: Related Workmentioning

confidence: 99%

Designing robust quadcopter software based on a real-time partitioned operating system and formal verification techniques

Mikhailovich¹,

Stanislavovich²,

Mikhailovich³

2019

Proceedings of ISP RAS

View full text Add to dashboard Cite

Currently, the creation of reliable unmanned aerial vehicles (drones) is an important task in science and technology because such devices can have a lot of use-cases in digital economy and modern life, so we need to ensure their reliability. In this article, we propose to assemble a quadcopter from low-cost components in order to obtain a hardware prototype, and also to develop a software solution for the flight controller with high-reliability requirements, which will meet avionics software standards, using existing open-source software solutions. We apply the results as a model for teaching courses «Components of operating systems» and «Software verification». In the study, we analyze the structure of quadcopters and flight controllers for them, and present a self-assembly solution. We describe Ardupilot as open-source software for unmanned aerial vehicles, the appropriate APM controller and methods of PID control. Today's avionics standard of reliable software for flight controllers is a real-time partitioned operating system that is capable to respond to events from devices with an expected speed, as well as to share processor time and memory between isolated partitions. A good example of such OS is the open-source POK (Partitioned Operating Kernel). In its repository, it contains an example design of a system for a quadcopter using AADL language for modeling its hardware and software. We apply such a technique with Model-driven engineering to a demo system that runs on real hardware and contains a flight management process with PID control as a partitioned process. Using a partitioned OS brings the reliability of flight system software to the next level. To increase the level of control logic correctness we propose to use formal verification methods. We also provide examples of verifiable properties at the level of code using the deductive approach as well as at the level of the cyber-physical system using Differential dynamic logic to prove the stability.

show abstract

“…Первым из соавторов была разработана параметризованная сеть автоматов, содержащая реализации перечисленных базовых типов. Эти реализации представляют собой модели планировщика ядра, функциональной задачи и виртуального канала, а также модели трех часто используемых в МВС РВ планировщиков разделов: с фиксированными приоритетами и вытеснением [4], с фиксированным приоритетами без вытеснения [5], планировщик, работающий по алгоритму EDF [6]. Одна из моделей планировщиков раздела приведена на рисунке 1.…”

Section: рис 2 структура предложенной обобщенной сети автоматовunclassified

On the Correctness of Real-Time Modular Computer Systems Modeling with Stopwatch Automata Networks

Glonina¹,

Балашов²

2018

Model. anal. inf. sist.

View full text Add to dashboard Cite

Design and architecture of real-time operating system

Cited by 12 publications

References 0 publications

Optimizing ARINC 661 Rendering for OpenGL with Hardware Support in the JetOS Aviation Operating System

Optimizing ARINC 661 Rendering for OpenGL with Hardware Support in the JetOS Aviation Operating System

Designing robust quadcopter software based on a real-time partitioned operating system and formal verification techniques

On the Correctness of Real-Time Modular Computer Systems Modeling with Stopwatch Automata Networks

Contact Info

Product

Resources

About