
pwcet
 Referenced in 8 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 4 articles
[sw20500]
 OTAWA: an open toolbox for adaptive WCET analysis. The analysis of worstcase execution times ... from research in the domain of WCET analysis so that they can be combined...

rTuBound
 Referenced in 3 articles
[sw09722]
 tubound: Loop bounds for WCET analysis. We describe the structure and the usage ... worstcase execution time (WCET) analysis of programs. rTuBound implements algorithms for patternbased ... used to derive the WCET of programs...

SWEET
 Referenced in 2 articles
[sw17684]
 flow analysis. WorstCase Execution Time (WCET) analysis [14] aims to estimate the longest possible ... executing uninterrupted on a particular hardware. Such WCET estimates are used when analysing realtime ... 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 worstcase 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...

McAiT
 Referenced in 3 articles
[sw09947]
 estimating the WorstCase 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...

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

Boolector
 Referenced in 28 articles
[sw00085]
 Boolector: an efficient SMT solver for bitvectors...

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

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

Kronos
 Referenced in 263 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 MLlike module system for the synchronous...

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

SPIN
 Referenced in 715 articles
[sw03455]
 Spin is a popular opensource software tool...

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

HyTech
 Referenced in 328 articles
[sw04125]
 HyTech is an automatic tool for the analysis...

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