FlyOS: rethinking integrated modular avionics for autonomous multicopters
A Farrukh, R West - Real-Time Systems, 2023 - Springer
Autonomous multicopters often feature federated architectures, which incur relatively high
communication costs between separate hardware components. These costs limit the ability …
communication costs between separate hardware components. These costs limit the ability …
A formal correctness proof for an EDF scheduler implementation
F Vanhems, V Rusu, D Nowak… - 2022 IEEE 28th Real …, 2022 - ieeexplore.ieee.org
The scheduler is a critical piece of software in real-time systems. A failure in the scheduler
can have serious consequences; therefore, it is important to provide strong correctness …
can have serious consequences; therefore, it is important to provide strong correctness …
FLYOS: Integrated Modular Avionics for Autonomous Multicopters
A Farrukh, R West - 2022 IEEE 28th Real-Time and Embedded …, 2022 - ieeexplore.ieee.org
Autonomous multicopters often feature federated architectures, which incur relatively high
communication costs between separate hardware components. These costs limit the ability …
communication costs between separate hardware components. These costs limit the ability …
Portable and configurable implementation of ARINC-653 temporal partitioning for small civilian UAVs
The ARINC-653 standard defines temporal partitioning that enables multiple avionics
applications to execute independently from each other without interference in terms of CPU …
applications to execute independently from each other without interference in terms of CPU …