• pwcet

  • Referenced in 6 articles [sw14479]
  • approaches for worst case execution time (WCET) analysis aim at finding the absolute upper bound ... these technique may produce estimates for the WCET which are pessimistic due to the simplifications...
  • OTAWA

  • Referenced in 3 articles [sw20500]
  • OTAWA: an open toolbox for adaptive WCET analysis. The analysis of worst-case execution times ... from research in the domain of WCET analysis so that they can be combined...
  • r-TuBound

  • Referenced in 3 articles [sw09722]
  • tubound: Loop bounds for WCET analysis. We describe the structure and the usage ... worst-case execution time (WCET) analysis of programs. r-TuBound implements algorithms for pattern-based ... used to derive the WCET of programs...
  • SWEET

  • Referenced in 2 articles [sw17684]
  • flow analysis. Worst-Case Execution Time (WCET) analysis [14] aims to estimate the longest possible ... executing uninterrupted on a particular hardware. Such WCET estimates are used when analysing real-time ... produced by a static WCET analysis that takes all possible execution paths and corresponding hardware...
  • ALF

  • Referenced in 2 articles [sw17683]
  • used for flow analysis in conjunction with WCET (Worst Case Execution Time) analysis...
  • Trickle

  • Referenced in 0 articles [sw22323]
  • detection using all minimal unsatisfiable subsets. Static analysis techniques can be used to compute safe ... bounds on the worst-case execution time (WCET) of programs. For large programs, abstractions ... adding additional constraints to the static analysis. Such constraints can be found manually but this ... Trickle by applying it to a WCET analysis of the seL4 microkernel. We also evaluate...
  • Sequoll

  • Referenced in 0 articles [sw22322]
  • guaranteed isolation between components. A tight WCET analysis of such systems requires trustworthy information about ... loop counts in the Malardalen WCET benchmarks. We also show that sequoll computes loop bounds...
  • McAiT

  • Referenced in 2 articles [sw09947]
  • estimating the Worst-Case Execution Times (WCET) of programs running on multicore processors. The highlight ... based on the results of local cache analysis by abstract interpretation) and a broad range ... models, such as synchronization, jitter, etc. High analysis precision is achieved by the McAiT approach ... WCET estimation, to provide the users with the flexibility to trade analysis precision for efficiency...
  • Boolector

  • Referenced in 27 articles [sw00085]
  • Boolector: an efficient SMT solver for bit-vectors...
  • PAG

  • Referenced in 19 articles [sw00669]
  • PAG -- an efficient program analyzer generator. In order...
  • SCADE

  • Referenced in 19 articles [sw00829]
  • SCADE Suite® is a product line of the...
  • Kronos

  • Referenced in 259 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • TAXYS

  • Referenced in 21 articles [sw01389]
  • TAXYS: A tool for the development and verification...
  • SIGNAL

  • Referenced in 51 articles [sw02915]
  • An ML-like module system for the synchronous...
  • BLAST

  • Referenced in 123 articles [sw02937]
  • BLAST (Berkeley Lazy Abstraction Software verification Tool) is...
  • SPIN

  • Referenced in 699 articles [sw03455]
  • Spin is a popular open-source software tool...
  • CPLEX

  • Referenced in 2489 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • HyTech

  • Referenced in 320 articles [sw04125]
  • HyTech is an automatic tool for the analysis...
  • FLATA

  • Referenced in 15 articles [sw04142]
  • FLATA is a toolset for the manipulation and...