Essays about: "RTIC"

Found 5 essays containing the word RTIC.

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

   University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

   Author : Viktor Sonesten; [2022]
   Keywords : embedded-rust; cortex-m; rtic; rtos; tracing;

   Abstract : 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. READ MORE

3. 2. RAUK: Automatic Schedulability Analysis of RTIC Applications Using Symbolic Execution

   University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

   Author : Mark Håkansson; [2022]
   Keywords : RTIC; symbolic execution; embedded systems; software verification; software analysis; schedulability;

   Abstract : In this thesis, the proof-of-concept tool RAUK for automatically analyzing RTIC applications for schedulability using symbolic execution is presented. The RTIC framework provides a declarative executable model for building embedded applications, which behavior is based on established formal methods and policies. READ MORE

4. 3. Control Flow Based Static Execution Time Analysis Using Symbolic Execution

   University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

   Author : Isak Sundell; [2022]
   Keywords : WCET; symbolic execution; LLVM;

   Abstract : To ensure the correctness of real time systems, it is important to determine the execution time of tasks. The worst case execution time of each task needs to be found in order to determine if the system is schedulable. This thesis aims at bounding the execution time of programs analyzed by KLEE, a symbolic execution engine. READ MORE

5. 4. Calculation of WCET with symbolic execution

   University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

   Author : Carl Österberg; [2022]
   Keywords : wcet; klee; static analysis; rust; llvm;

   Abstract : Calculating WCET for schedulability analysis of RTIC applications is today performed with a hybrid approach with both static analysis of code and hardware measurements. A fully static analysis tool would allow for a easier integration into a CI/CD pipeline without the actual hardware. READ MORE

6. 5. RTIC - A Zero-Cost Abstraction for Memory Safe Concurrency

   University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

   Author : Henrik Tjäder; [2021]
   Keywords : Embedded systems; real-time; concurrency; RTIC; RTFM; Real-Time For the Masses; Real-Time Interrupt-driven Concurrency;

   Abstract : Embedded systems are commonplace, often with real-time requirements, limited resources and increasingly complex workloads with high demands on security and reliability. The complexity of these systems calls for extensive developer experience and many tools has been created to aid in the development of the software running on such devices. READ MORE