4 citations · 9 across the 5 of their papers we have counts for
5 papers
Robust Resource Partitioning Approach for ARINC 653 RTOS
Vitaly Cheptsov, Alexey Khoroshilov
Modern airborne operating systems implement the concept of robust time and resource partitioning imposed by the standards for aerospace and airborne-embedded software systems, such…
UEFI virtual machine firmware hardening through snapshots and attack surface reduction
Mikhail Krichanov, Vitaly Cheptsov
The Unified Extensible Firmware Interface (UEFI) is a standardised interface between the firmware and the operating system used in all x86-based platforms over the past ten years.…
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…
Securing the EDK II Image Loader
Marvin Häuser, Vitaly Cheptsov
The Unified Extensible Firmware Interface (UEFI) is a standardised interface between the firmware and the operating system used in all x86-based platforms over the past ten years,…