• Assuring APEX with a versatile...

Treffer: Assuring APEX with a versatile Rust API

Title:
Assuring APEX with a versatile Rust API
Authors:
Friedrich, Sven, Engler, Emil, Schubert, Tim, Zaeske, Wanja Marlo Moritz, Durak, Umut
Publisher Information:
WEKA FACHMEDIEN GmbH
Publication Year:
2023
Collection:
German Aerospace Center: elib - DLR electronic library
Subject Terms:
Sichere Systeme und System Engineering, Institut für Flugsystemtechnik
Document Type:
Konferenz conference object
File Description:
application/pdf
Language:
English
Relation:
https://elib.dlr.de/197935/1/Friedrich%20-%20paper-embedded-world.pdf; Friedrich, Sven und Engler, Emil und Schubert, Tim und Zaeske, Wanja Marlo Moritz und Durak, Umut (2023) Assuring APEX with a versatile Rust API. In: embedded world conference 2023, Seiten 298-305. WEKA FACHMEDIEN GmbH. Embedded World Conference 2023, 2023-03-14 - 2023-03-16, Nuremberg, Germany. ISBN 978-3-645-50197-2.
Availability:
https://elib.dlr.de/197935/
Accession Number:
edsbas.C40BF950
Database:
BASE

Weitere Informationen

Hypervisors have become fundamental to Integrated Modular Avionics (IMA), by offering several benefits during development, certification, and operation. Unfortunately, requiring per-seat licensing, many hypervisors do not integrate well with DevOps practices. APEX -- ARINC 653 standardizes a portable interface to common functionality of different hypervisors. However, like for all safety critical software, detailed knowledge of the standard and careful testing are required. Especially, with ARINC 653 not preventing unsafe misuse of its API. The Rust programming language is designed to provide strong safety guarantees using zero-cost abstractions. In this paper, we present apex-rs, a safe and ergonomic API to the APEX interface, and apex-linux, a DevOps-friendly hypervisor that utilizes features of the Linux kernel to provide a low complexity APEX implementation.