comp.lang.ada
 help / color / mirror / Atom feed
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Subject: Bound-T WCET and stack usage analyser: free downloads
Date: Thu, 04 Mar 2010 19:31:18 +0200
Date: 2010-03-04T19:31:18+02:00	[thread overview]
Message-ID: <4b8fee69$0$2375$4f793bc4@news.tdc.fi> (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
       .      @       .



                 reply	other threads:[~2010-03-04 17:31 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed
replies disabled

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