Tree TromboneOfMassDestruction

Navigation ...

lh_home.png
lh_fli.png

Scientific Writing ...

lh_AA.png
lh_AC.png
lh_BE.png
lh_CS.png
lh_DA.png
lh_ED.png
lh_GE.png
lh_GP.png
lh_LW.png
lh_MA.png
lh_ME.png
lh_PR.png
lh_RE.png
lh_SA.png
lh_SF.png

Other Writing ...

lh_AR.png
lh_ES.png
lh_MU.png
lh_SP.png

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-563esp_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

Related papers and links

Documents/esp.pdf


Auto-generated: $Revision: 1.63 $, $Date: 2020/01/25 16:18:09 $, Copyright Les Hatton 2001-