Essays about: "schedulability"

Showing result 1 - 5 of 16 essays containing the word schedulability.

1. 1. The Global Interconnection Scheme of Silago : RTL Design and Verification

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Tong Lou; [2023]
   Keywords : Silago; global interconnection; synchronous dataflow; network on chip; Silago; global sammankoppling; synkront dataflöde; nätverk på chip;

   Abstract : The Silago concept introduces a hardware-centric platform that is based on coarse-grained reconfigurable fabrics and networks on chips(NoCs). With the intra-region and inter-region NoC, the Silago platform can form resource clusters to host various applications. READ MORE

3. 2. Measurement-based WCET estimation in multicore real-time systems

   University essay from Uppsala universitet/Institutionen för informationsteknologi

   Author : Sören Meinken; [2022]
   Keywords : ;

   Abstract : Increasing complexity and advancements of hardware continue to make WCET analysis a non-trivial problem especially on modern COTS processors. Finding a tightand reliable WCET upper bound is vital for schedulability analysis and increasing theresource utilization of a real-time system. READ MORE

4. 3. 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

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. Architecture for a Symbolic Execution Environment

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

   Author : Joacim Norlén; [2022]
   Keywords : symbolic execution; program verification;

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