Essays about: "Isak Sundell"

Found 1 essay containing the words Isak Sundell.

  1. 1. 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