Tell a friend
Print
Friedrich, Sven and Engler, Emil and Schubert, Tim and Zaeske, Wanja Marlo Moritz and Durak, Umut (2023) Assuring APEX with a versatile Rust API. In: embedded world conference 2023, pp. 298-305. WEKA FACHMEDIEN GmbH. Embedded World Conference 2023, 2023-03-14 - 2023-03-16, Nuremberg, Germany. ISBN 978-3-645-50197-2.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
- Only accessible within DLR
688kB |
Abstract
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.
| Item URL in elib: | https://elib.dlr.de/197935/ | ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Document Type: | Conference or Workshop Item (Speech) | ||||||||||||||||||||||||
| Title: | Assuring APEX with a versatile Rust API | ||||||||||||||||||||||||
| Authors: |
| ||||||||||||||||||||||||
| Date: | 21 July 2023 | ||||||||||||||||||||||||
| Journal or Publication Title: | embedded world conference 2023 | ||||||||||||||||||||||||
| Refereed publication: | Yes | ||||||||||||||||||||||||
| Open Access: | No | ||||||||||||||||||||||||
| Gold Open Access: | No | ||||||||||||||||||||||||
| In SCOPUS: | No | ||||||||||||||||||||||||
| In ISI Web of Science: | No | ||||||||||||||||||||||||
| Page Range: | pp. 298-305 | ||||||||||||||||||||||||
| Publisher: | WEKA FACHMEDIEN GmbH | ||||||||||||||||||||||||
| ISBN: | 978-3-645-50197-2 | ||||||||||||||||||||||||
| Status: | Published | ||||||||||||||||||||||||
| Keywords: | ARINC653, Rust, Hypervisor | ||||||||||||||||||||||||
| Event Title: | Embedded World Conference 2023 | ||||||||||||||||||||||||
| Event Location: | Nuremberg, Germany | ||||||||||||||||||||||||
| Event Type: | international Conference | ||||||||||||||||||||||||
| Event Start Date: | 14 March 2023 | ||||||||||||||||||||||||
| Event End Date: | 16 March 2023 | ||||||||||||||||||||||||
| HGF - Research field: | other | ||||||||||||||||||||||||
| HGF - Program: | other | ||||||||||||||||||||||||
| HGF - Program Themes: | other | ||||||||||||||||||||||||
| DLR - Research area: | Digitalisation | ||||||||||||||||||||||||
| DLR - Program: | D - no assignment | ||||||||||||||||||||||||
| DLR - Research theme (Project): | D - no assignment | ||||||||||||||||||||||||
| Location: | Braunschweig | ||||||||||||||||||||||||
| Institutes and Institutions: | Institute of Flight Systems > Safety Critical Systems&Systems Engineering Institute of Flight Systems | ||||||||||||||||||||||||
| Deposited By: | Friedrich, Sven | ||||||||||||||||||||||||
| Deposited On: | 24 Jan 2024 17:48 | ||||||||||||||||||||||||
| Last Modified: | 24 Apr 2024 20:58 |
Repository Staff Only: item control page
