Essays about: "Task execution"

Showing result 21 - 25 of 160 essays containing the words Task execution.

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

  3. 22. Smooth Particle Ribbons Through Hardware Accelerated Tessellation

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

    Author : Oliver Eriksson; [2022]
    Keywords : particles; tessellation; b-spline; mesh shaders;

    Abstract : Generating and rendering ribbons from a stream of particles is common in games and VFX to visualize flow. To create detailed smooth particle ribbons this work combines tessellation and B-splines, which gives smooth surfaces with contiguous normals. READ MORE

  4. 23. 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. 24. 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. 25. Performance Evaluation of Cryptographic Algorithms on ESP32 with Cryptographic Hardware Acceleration Feature

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

    Author : Qiao Jin; [2022]
    Keywords : Embedded systems; ESP 32; Cryptographic algorithms; Cryptographic hardware acceleration; AES; RSA; SHA-2; HTTPS; Inbyggda system; ESP 32; Kryptografiska algoritmer; Kryptografisk hårdvaruacceleration; AES; RSA; SHA-2; HTTPS;

    Abstract : The rise of the Internet of Things (IoT) and autonomous robots/vehicles comes with a lot of embedded electronic systems. Small printed circuit boards with microcomputers will be embedded almost everywhere. READ MORE