Sökning: "embedded-rust"

Hittade 2 uppsatser innehållade ordet embedded-rust.

1. 1. RTIC Scope : Real-Time Tracing for the RTIC RTOS Framework

   Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för system- och rymdteknik

   Författare :Viktor Sonesten; [2022]
   Nyckelord :embedded-rust; cortex-m; rtic; rtos; tracing;

   Sammanfattning : Work done at Luleå Technical University regarding the RTIC RTOS framework is expanded upon to yield a convenient toolset for event-based instrumentation by exploiting debug peripherals available on the ARMv7-M platform. By parsing the source of an RTIC application and recovering instrumentation metadata from user-supplied information, the target-emitted trace stream is decoded and mapped to RTIC task events, yielding a timeline of events that can be analyzed live and postmortem by help of a recording host-side daemon. LÄS MER

3. 2. Architecture for a Symbolic Execution Environment

   Uppsats för yrkesexamina på grundnivå, Luleå tekniska universitet/Institutionen för system- och rymdteknik

   Författare :Joacim Norlén; [2022]
   Nyckelord :symbolic execution; program verification;

   Sammanfattning : Program testing is an important aspect of software development. Symbolic execution can be used as a tool to automatically verify the correctness of programs for all feasible paths of execution. LÄS MER