Navigation ...
|
|
|
Scientific Writing ...
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Other Writing ...
|
|
|
|
|
|
Reference details
Author(s)
| Year
| Title
| Reference
| View/Download
|
Les Hatton | 2003h | Embedded System Paranoia: a tool for testing embedded system arithmetic | Information and Software Technology, 47 (8) (2005), p. 555-563 | esp_19.zip |
Synopsis and invited feedback
This work was or is being reviewed by domain-specific experts appointed independently.
If you would like to provide feedback just e-mail me here.
Synopsis
| Invited Feedback
| Importance (/10, author rated :-) )
|
Kahan's paranoia is a famous method for exercising the arithmetic of a normal computer. Unfortunately, its structure is not suited to the host / target architecture of embedded control systems. This paper describes a re-written and enhanced version of paranoia (ESP - Embedded System Paranaoia), which addresses this problem allowing them to be tested to the same degree of rigour as conventional systems. Given that many conventional systems fail paranoia to some extent, embedded systems are expected to behave similarly badly. | Version 1.9: this includes excellent feedback from Adrian Capel and Simon Dalley of UKAEA Culham. Amongst other things, they have added the capability of dealing with machines which use extra internal precision more gracefully. I have added simple transcendental and hyperbolic function tests. | 9 |
Related links
Auto-generated: $Revision: 1.63 $, $Date: 2020/01/25 16:18:09 $, Copyright Les Hatton 2001-
|