comp.lang.ada
 help / color / mirror / Atom feed
* Bound-T WCET and stack usage analyser: free downloads
@ 2010-03-04 17:31 Niklas Holsti
  0 siblings, 0 replies; only message in thread
From: Niklas Holsti @ 2010-03-04 17:31 UTC (permalink / raw)


As some of you may already have seen on other newsgroups, free downloads 
are now offered of a tool called Bound-T that uses static program 
analysis of machine code to compute upper bounds on the execution time 
(WCET) and stack usage of embedded programs. I do not mean to repeat the 
announcement here (see comp.arch.embedded or comp.realtime), but just to 
add that Bound-T is written in Ada, and has also been used to analyse 
Ada code, as well as C, C++, and assembly-language code.

For more information see http://www.bound-t.com/.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .



^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2010-03-04 17:31 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-03-04 17:31 Bound-T WCET and stack usage analyser: free downloads Niklas Holsti

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox