Bibliography
[1]
Jim Blandy and Jason Orendorff. Programming Rust: fast, safe systems development. OReilly Media, 2017.
[2]
Giorgio C. Buttazzo. Hard real-time computing systems: predictable scheduling algorithms and applications. Springer, 2005.
[3]
Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns, Elements of Resusable Object-Oriented Software. Addison-Wesley, 1995.
[4]
Jean J. Labrosse. uC/OS-III: the real-time Kernel. Micrium Press, 2009.
[5]
Stefan Lüthi. Orientation Visualization. URL: https://gitlab.com/bern-rtos/demo/bare-metal-and-rtic/3d-visualization (visited on 2021-02-23).
[6]
Stefan Lüthi. Rust 3D Orientation Demo. URL: https://gitlab.com/bern-rtos/demo/bare-metal-and-rtic/rust-3d-orientation-demo (visited on 2021-02-23).
[7]
Carol Nichols and Steve Klabnik. The Rust Programming Language (Covers Rust 2018). no starch press, 2019. URL: https://doc.rust-lang.org/book (visited on 2020-12-22).
[8]
Andrew S. Tanenbaum and Herbert Bos. Modern operating systems. Prentice Hall, 2015.
[9]
Valentine Valyaeff. Drone OS. URL: https://book.drone-os.com/ (visited on 2020-10-23).
[10]
Joseph Yiu and Paul Beckmann. Definitive Guide to ARM® Cortex®-M3 and Cortex®-M4 Processors. Elsevier, Inc., 2014.
[11]
Amazon Web Services. The FreeRTOS™Reference Manual. URL: https://www.freertos.org/fr-content-src/uploads/2018/07/FreeRTOS_Reference_Manual_V10.0.0.pdf (visited on 2020-10-23).
[12]
Apache. Apache Mynewt. URL: https://mynewt.apache.org/ (visited on 2020-10-23).
[13]
ARM Limitted. An introduction to Arm Mbed OS 6. URL: https://os.mbed.com/docs/mbed-os/v6.3/introduction/index.html (visited on 2020-10-23).
[14]
Contiki-NG. Contiki-NG: The OS for Next Generation IoT Devices. URL: https://github.com/contiki-ng/contiki-ng (visited on 2020-10-23).
[15]
Embedded Rust Workgroup. The Embedded Rust Book. 2020. URL: https://rust-embedded.github.io/book/ (visited on 2020-12-29).
[16]
J. Eriksson, F. Häggström, S. Aittamaa, A. Kruglyak, and P. Lindgren. Real-time for the masses, step 1: programming api and static priority srp kernel primitives. In 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES), volume, 110–113. 2013. doi:10.1109/SIES.2013.6601482.
[17]
Mentor Graphics. Nucleus RTOS. URL: https://www.mentor.com/embedded-software/nucleus/ (visited on 2020-10-23).
[18]
Microsoft. Azure RTOS. URL: https://github.com/azure-rtos (visited on 2021-01-04).
[19]
Riot. The friendly Operating System for the Internet of Things. URL: https://www.riot-os.org/ (visited on 2020-10-23).
[20]
RTIC. Real-Time Interrupt-driven Concurrency. URL: https://rtic.rs/0.5/book/en/ (visited on 2020-10-23).
[21]
Rust Team. Rust Programming Language. URL: https://www.rust-lang.org/ (visited on 2021-01-05).
[22]
SEGGER Microcontroller GmbH. embOS - RTOS. URL: https://www.segger.com/products/rtos/embos/ (visited on 2020-10-23).
[23]
Silicon Labs. Micrium Cert-Pack. URL: https://www.micrium.com/certification/certification-kits/ (visited on 2020-10-23).
[24]
Silicon Labs. Micrium Repositories. URL: https://github.com/Micrium (visited on 2020-10-23).
[25]
Texas Instruments. TI-RTOS: Real-Time Operating System (RTOS) for Microcontrollers (MCU). URL: https://www.ti.com/tool/TI-RTOS-MCU (visited on 2020-10-23).
[26]
TockOS. Tock Embedded Operating System. URL: https://www.tockos.org/ (visited on 2020-10-23).
[27]
WITTENSTEIN aerospace and simulation Ltd. Pre-Certified Safety RTOS. URL: https://www.highintegritysystems.com/safertos/ (visited on 2020-10-23).
[28]
Zephyr Project. Primary Git Repository for the Zephyr Projec. URL: https://github.com/zephyrproject-rtos/zephyr (visited on 2021-01-03).
[29]
Zephyr Project. Zephyr Project Documentation. URL: https://docs.zephyrproject.org/latest/ (visited on 2020-10-23).
[30]
Zephyr Project. Zephyr Project RTOS – First Functional Safety Certification Submission for an Open Source Real Time Operating System. URL: https://www.zephyrproject.org/zephyr-project-rtos-first-functional-safety-certification-submission-for-an-open-source-real-time-operating-system/ (visited on 2020-10-23).