Sökning: "worst-case execution time"
Visar resultat 6 - 10 av 34 uppsatser innehållade orden worst-case execution time.
6. Architecture for a Symbolic Execution Environment
Uppsats för yrkesexamina på grundnivå, Luleå tekniska universitet/Institutionen för system- och rymdteknikSammanfattning : 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. LÄS MER
7. Compiler optimization VS WCET : Battle of the ages
Kandidat-uppsats, Linköpings universitet/Institutionen för datavetenskapSammanfattning : 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. LÄS MER
8. Predictable Multiprocessor Platform for Safety- Critical Real- Time Systems
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : 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. LÄS MER
9. A Specification for Time-Predictable Communication on TDM-based MPSoC Platforms
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : 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. LÄS MER
10. Efficient Generation of Mutants for Testing Execution Time
Magister-uppsats, Mälardalens högskola/Akademin för innovation, design och teknikSammanfattning : 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. LÄS MER