From: Ted Dennison<dennison@telepath.com>
Subject: Re: Worst Case Execution Time Tool?
Date: Wed, 05 Dec 2001 00:10:36 GMT
Date: 2001-12-05T00:10:36+00:00 [thread overview]
Message-ID: <0CdP7.48989$xS6.81382@www.newsranger.com> (raw)
In-Reply-To: 3C0D536C.2E059EE8@computer.org
In article <3C0D536C.2E059EE8@computer.org>, StationSteve says...
>
>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.
Wouldn't such a tool also be able to solve the Halting Problem? (
http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?query=halting+problem )
---
T.E.D. homepage - http://www.telepath.com/dennison/Ted/TED.html
No trees were killed in the sending of this message.
However a large number of electrons were terribly inconvenienced.
next prev parent reply other threads:[~2001-12-05 0:10 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-12-04 22:51 Worst Case Execution Time Tool? StationSteve
2001-12-05 0:10 ` Ted Dennison [this message]
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