Bibliography

[1]
Completely Integrated Thermocouple Measurement System using a Low Power, Precision, 24-Bit, Sigma-Delta ADC. Analog Devices, 2017. Rev. A.
[2]
8-Channel, Low Noise, Low Power, 24-Bit, Sigma-Delta ADC with PGA and Reference. Analog Devices, 2018. Rev. E.
[3]
Completely Integrated 2-Wire, 3-Wire, or 4-Wire RTD Measurement System Using a Low Power, Precision, 24-Bit Sigma-Delta ADC. Analog Devices, 2019. Rev. D.
[4]
Jim Blandy and Jason Orendorff. Programming Rust: fast, safe systems development. OReilly Media, 2017. ISBN 9781491927281.
[5]
Giorgio C. Buttazzo. Hard real-time computing systems: predictable scheduling algorithms and applications. Springer, 2005.
[6]
Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns, Elements of Resusable Object-Oriented Software. Addison-Wesley, 1995.
[7]
Tobias Kaupat. FreeRTOS-rust. URL: https://github.com/lobaro/FreeRTOS-rust (visited on 2021-07-02).
[8]
Horst Kuchling. Taschenbuch der Physik. Hanser Fachbuchverlag, 20., aktualisierte auflage. edition, 2010. ISBN 9783446424579.
[9]
Jean J. Labrosse. uC/OS-III: the real-time Kernel. Micrium Press, 2009. ISBN 9780982337530.
[10]
Stefan Lüthi. 3D Orientation Example. URL: https://gitlab.com/bern-rtos/demo/orientation-example (visited on 2021-07-03).
[11]
Stefan Lüthi. Bern RTOS. URL: https://gitlab.com/bern-rtos/bern-rtos (visited on 2022-07-25).
[12]
Stefan Lüthi. Espresso Machine Hardware. URL: https://gitlab.com/bern-rtos/demo/espresso-machine/hardware (visited on 2022-07-01).
[13]
Stefan Lüthi. Orientation Visualization. URL: https://gitlab.com/bern-rtos/demo/bare-metal-and-rtic/3d-visualization (visited on 2021-02-23).
[14]
Stefan Lüthi. Orientation Visualization. URL: https://github.com/espressomaster2000/Hardware (visited on 2022-08-04).
[15]
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).
[16]
Stefan Lüthi. Bern RTOS: RTOS Analysis and Rust Introduction. Technical Report, Bern University of Applied Sciences, Jlcoweg 1, CH-3400 Burgdorf, 1 2020. URL: https://rtos-analysis-and-rust-intro.bern-rtos.org/ (visited on 2021-07-03).
[17]
Carol Nichols and Steve Klabnik. The Rust Programming Language (Covers Rust 2018). no starch press, 2019. ISBN 9781718500440. URL: https://doc.rust-lang.org/book (visited on 2020-12-22).
[18]
Evgeniy Reizner. cargo-bloat. URL: https://github.com/RazrFalcon/cargo-bloat (visited on 2021-07-03).
[19]
Andrew S. Tanenbaum and Herbert Bos. Modern operating systems. Prentice Hall, 2015. ISBN 9780133591620.
[20]
Ioan Ungurean. Timing comparison of the real-time operating systems for small microcontrollers. Symmetry, 2020. URL: https://www.mdpi.com/2073-8994/12/4/592, doi:10.3390/sym12040592.
[21]
Valentine Valyaeff. Drone OS. URL: https://book.drone-os.com/ (visited on 2020-10-23).
[22]
Daniel Stefanus Maria Verhaert. An architecture-agnostic memory protection interface for the tock operating system. Master's thesis, Delft University of Technology, 10 2018.
[23]
Timothy Warkentin. Rancilio Silvia V3 Espresso Machine. URL: https://grabcad.com/library/rancilio-silvia-v3-espresso-machine-1 (visited on 2022-07-09).
[24]
Joseph Yiu and Paul Beckmann. Definitive Guide to Arm® Cortex®-M3 and Cortex®-M4 Processors. Elsevier, Inc., 2014. ISBN 9780124080829.
[25]
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 2021-06-26).
[26]
Apache. Apache Mynewt. URL: https://mynewt.apache.org/ (visited on 2020-10-23).
[27]
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).
[28]
Contiki-NG. Contiki-NG: The OS for Next Generation IoT Devices. URL: https://github.com/contiki-ng/contiki-ng (visited on 2020-10-23).
[29]
Danilo Bargen. embedded-hal-mock. URL: https://github.com/dbrgn/embedded-hal-mock (visited on 2022-07-02).
[30]
Dextrel Electronics. Isolated High Quality Mains Voltage Zero Crossing Detector. URL: https://web.archive.org/web/20170730111208/https://www.dextrel.net/diyzerocrosser.htm (visited on 2022-06-26).
[31]
Embedded Rust Workgroup. embedded-hal. URL: https://github.com/rust-embedded/embedded-hal (visited on 2021-07-02).
[32]
Embedded Rust Workgroup. The Embedded Rust Book. 2020. URL: https://rust-embedded.github.io/book/ (visited on 2021-07-02).
[33]
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.
[34]
faustino. Installation eines Temperatursensors in Silvia-Brühgruppe. URL: https://www.kaffee-netz.de/threads/installation-eines-temperatursensors-in-silvia-bruehgruppe.111093 (visited on 2022-06-27).
[35]
Knurling. defmt-test. URL: https://github.com/knurling-rs/defmt/tree/main/firmware/defmt-test (visited on 2021-07-03).
[36]
Knurling. defmt. URL: https://github.com/knurling-rs/defmt (visited on 2022-07-19).
[37]
LVGL LLC. Light and Versatile Graphics Library. URL: https://lvgl.io/ (visited on 2022-06-29).
[38]
Mentor Graphics. Nucleus RTOS. URL: https://www.mentor.com/embedded-software/nucleus/ (visited on 2020-10-23).
[39]
Microsoft. Azure RTOS. URL: https://github.com/azure-rtos (visited on 2021-01-04).
[40]
Philipp Oppermann. Allocator Designs. URL: https://os.phil-opp.com/allocator-designs/ (visited on 2022-07-12).
[41]
QEMU. QEMU Documentation. URL: https://qemu-project.gitlab.io/qemu/ (visited on 2021-07-03).
[42]
Riot. The friendly Operating System for the Internet of Things. URL: https://www.riot-os.org/ (visited on 2020-10-23).
[43]
RTIC. Real-Time Interrupt-driven Concurrency. URL: https://rtic.rs/0.5/book/en/ (visited on 2021-05-16).
[44]
Rust Allocators Working Group. The Rust Unstable Book: allocator_api. URL: https://doc.rust-lang.org/beta/unstable-book/library-features/allocator-api.html (visited on 2022-07-12).
[45]
Rust Community. A Rust library providing a lightweight logging facade. URL: https://github.com/rust-lang/log (visited on 2022-07-12).
[46]
Rust Community. Clippy: A collection of lints to catch common mistakes and improve your Rust code. URL: https://github.com/rust-lang/rust-clippyg (visited on 2022-07-29).
[47]
Rust Team. The Rust Programming Language. URL: https://www.rust-lang.org/ (visited on 2021-01-05).
[48]
Rust Team. The Rust Reference: Type Layout. URL: https://doc.rust-lang.org/reference/type-layout.html (visited on 2021-07-02).
[49]
rust-lang. rust-bindgen. URL: https://github.com/rust-lang/rust-bindgen (visited on 2022-06-29).
[50]
SEGGER Microcontroller GmbH. embOS - RTOS. URL: https://www.segger.com/products/rtos/embos/ (visited on 2020-10-23).
[51]
Silicon Labs. Micrium Cert-Pack. URL: https://www.micrium.com/certification/certification-kits/ (visited on 2020-10-23).
[52]
Silicon Labs. Micrium Repositories. URL: https://github.com/Micrium (visited on 2020-10-23).
[53]
smoltcp-rs. smoltcp. URL: https://github.com/smoltcp-rs/smoltcp (visited on 2022-06-29).
[54]
stm32 Rust community. stm32f4xx-hal. URL: https://github.com/stm32-rs/stm32f4xx-hal (visited on 2021-07-03).
[55]
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).
[56]
TockOS. Tock Embedded Operating System. URL: https://www.tockos.org/ (visited on 2021-07-01).
[57]
tokio-rs. Tokio: Build reliable network applications without compromising speed. URL: https://tokio.rs/ (visited on 2022-07-24).
[58]
WITTENSTEIN aerospace and simulation Ltd. Pre-Certified Safety RTOS. URL: https://www.highintegritysystems.com/safertos/ (visited on 2020-10-23).
[59]
Zephyr Project. Arm Cortex-M3 Emulation (QEMU). URL: https://docs.zephyrproject.org/latest/boards/arm/qemu_cortex_m3/doc/index.html (visited on 2021-07-03).
[60]
Zephyr Project. Primary Git Repository for the Zephyr Projec. URL: https://github.com/zephyrproject-rtos/zephyr (visited on 2021-01-03).
[61]
Zephyr Project. Zephyr Project Documentation. URL: https://docs.zephyrproject.org/latest/ (visited on 2020-05-16).
[62]
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 2021-07-01).