15 citations · 20 across the 5 of their papers we have counts for
4 papers · 1 filter
Cross-platform graphics subsystem for an ARINC 653-compatible real-time operating system
Maksim Raenchuk, Vitaly Cheptsov, Alexey Khoroshilov
In the development of modern cockpits, there is a trend towards the use of large displays that combine information about air navigation and the status of aircraft equipment. Flight…
Dynamic Analysis of ARINC 653 RTOS with LLVM
Vitaly Cheptsov, Alexey Khoroshilov
Existing standards for airborne-embedded software systems impose a number of requirements applicable to the software development cycle of hard real-time operating systems found in…
Deductive Verification of Unmodified Linux Kernel Library Functions
Denis Efremov, Mikhail Mandrykin, Alexey Khoroshilov
This paper presents results from the development and evaluation of a deductive verification benchmark consisting of 26 unmodified Linux kernel library functions implementing conven…
Model-Based Testing of Safety Critical Real-Time Control Logic Software
Yevgeny Gerlits, Alexey Khoroshilov
The paper presents the experience of the authors in model based testing of safety critical real-time control logic software. It describes specifics of the corresponding industrial…