Panic Recovery in Rust-based Embedded Systems-Reference-Cited by-同舟云学术

Panic Recovery in Rust-based Embedded Systems

Published:2023-10-23 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 12th Workshop on Programming Languages and Operating Systems
language:
Short-container-title:

Author:

Ma Zhiyao¹^ORCID,Chen Guojun¹^ORCID,Zhong Lin¹^ORCID

Affiliation:

1. Yale University

Funder

National Science Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3623759.3624549

Reference24 articles.

1. Jorge Aparicio. 2018. panic-halt. https://crates.io/crates/panic-abort Jorge Aparicio. 2018. panic-halt. https://crates.io/crates/panic-abort

2. ARM Limited 2023. Exception Handling ABI for the Arm Architecture. ARM Limited. https://github.com/ARM-software/abi-aa/blob/844a79fd4c77252a11342709e3b27b2c9f590cf1/ehabi32/ehabi32.rst ARM Limited 2023. Exception Handling ABI for the Arm Architecture. ARM Limited. https://github.com/ARM-software/abi-aa/blob/844a79fd4c77252a11342709e3b27b2c9f590cf1/ehabi32/ehabi32.rst

3. Bitcraze. [n. d.]. Crazyflie: A flying open development platform. https://www.bitcraze.io/. Bitcraze. [n. d.]. Crazyflie: A flying open development platform. https://www.bitcraze.io/.

4. Kevin Boos , Namitha Liyanage , Ramla Ijaz , and Lin Zhong . 2020 . Theseus: an experiment in operating system structure and state management . In Proc. USENIX OSDI. Kevin Boos, Namitha Liyanage, Ramla Ijaz, and Lin Zhong. 2020. Theseus: an experiment in operating system structure and state management. In Proc. USENIX OSDI.

5. George Candea , Shinichi Kawamoto , Yuichi Fujiki , Greg Friedman , and Armando Fox . 2004. Microreboot--a technique for cheap recovery. arXiv preprint cs/0406005 ( 2004 ). George Candea, Shinichi Kawamoto, Yuichi Fujiki, Greg Friedman, and Armando Fox. 2004. Microreboot--a technique for cheap recovery. arXiv preprint cs/0406005 (2004).