comp.lang.ada
 help / color / mirror / Atom feed
From: StationSteve <Steven.Suchting@computer.org>
Subject: Worst Case Execution Time Tool?
Date: Tue, 4 Dec 2001 22:51:24 GMT
Date: 2001-12-04T22:51:24+00:00	[thread overview]
Message-ID: <3C0D536C.2E059EE8@computer.org> (raw)

Are there any tools that quantitatively determine the worst case
execution time (WCET) of an Ada83 program or subprogram?  Execution
platform is Intel 80386SX bare machine.  I think I'm looking for
something similar to SPARK Examiner's WCET analysis, but for Ada83.

Thanks in advance for any help...




             reply	other threads:[~2001-12-04 22:51 UTC|newest]

Thread overview: 13+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-12-04 22:51 StationSteve [this message]
2001-12-05  0:10 ` Worst Case Execution Time Tool? Ted Dennison
2001-12-05 17:28   ` Stuart Palin
2001-12-05 18:33     ` Ted Dennison
2001-12-06 14:05       ` StationSteve
2001-12-06 16:40         ` Ted Dennison
2001-12-06 21:27           ` StationSteve
2001-12-06 22:44             ` Ted Dennison
2001-12-07  1:00               ` annonymous
2001-12-05 10:00 ` Rod Chapman
2001-12-05 14:54   ` StationSteve
2001-12-05 15:31     ` Jeffrey L. Susanj
2001-12-05 17:32     ` Stuart Palin
replies disabled

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