Essays about: "worst-case execution time"

Showing result 6 - 10 of 28 essays containing the words worst-case execution time.

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

  3. 7. Compiler optimization VS WCET : Battle of the ages

    University essay from Linköpings universitet/Institutionen för datavetenskap

    Author : Tova Harrius; Max Nordin; [2022]
    Keywords : Compiler; Optimization; Worst Case Execution Time; Kompilator; Optimering; WCET;

    Abstract : Optimization by a compiler can be executed with many different methods. The defence company Saab provided us with a mission, to see if we could optimize their code with the help of the GCC compiler and its optimization flags. For this thesis we have conducted a study of the optimization flags to decrease the worst case execution time. READ MORE

  4. 8. Predictable Multiprocessor Platform for Safety- Critical Real- Time Systems

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

    Author : Páll Axel Sigurðsson; [2021]
    Keywords : Composability; FPGA; Multicore processing; Predictability; Real- time systems; System on chip; FPGA; Förutsägbarhet; Komposibilitet; Mångkärnig bearbetning; Realtidssystem; System på chip;

    Abstract : Multicore systems excel at providing concurrent execution of applications, giving true parallelism where all cores can execute sequences of machine instructions at the same time. However, multicore systems come with their own sets of problems, most notably when cores in a system (or core tiles) share hardware components such as memory modules or Input/Output (IO) peripherals. READ MORE

  5. 9. A Specification for Time-Predictable Communication on TDM-based MPSoC Platforms

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

    Author : Kelun Liu; [2021]
    Keywords : Communication; Time-Predictability; Network-on-Chip; Software Specification; Worst-Case Communication Time; Kommunikation; Tid Förutsägbarhet; Nätverk-på-Chip; MjukvaruSpecifikation; Kommunikationstid i Värsta Fall;

    Abstract : Formal System Design (ForSyDe) aims to bring the design of multiprocessor systems-on-chip (MPSoCs) to a higher level of abstraction and bridge the abstraction gap by transformational design refinement. The current research is focused on a correct-by-construction design flow, which requires design space exploration including formal models of computation and timepredictable platforms. READ MORE

  6. 10. Efficient Generation of Mutants for Testing Execution Time

    University essay from Mälardalens högskola/Akademin för innovation, design och teknik

    Author : Mohammed Abusamaan; Mohammed Abuayyash; [2020]
    Keywords : Targeted Mutation; Mutation Testing; Software Engineering; Mutants; WCET; Testing;

    Abstract : In this thesis, we specifically focus on testing non-functional proprieties. We target the Worst-Case Execution Time (WCET), which is very important for real-time tasks. This thesis applies the concept of targeted mutation, where the mutations are applied to the parts of the code that are most likely to significantly affect the execution time. READ MORE