Is your number true?
Current standards for floating point have no means of measuring and/or recording floating point rounding and cancellation error.
Since the invention of computers, real number calculations have produced unreported errors, sometimes catastrophically.
Safety in Numbers
True North bounded floating point is a method of performing operations on floating point numbers that maintains boundaries for the real numbers they represent. This is accomplished by adding a bound field to the floating point representation of real numbers.
Implemented in hardware, this circuit provides real-time, fail safe representation of real numbers.
Patriot Missile Failure
The most notorious floating point error catastrophe was the Patriot Missile Failure at Dhahran, Saudi Arabia, February 25, 1991, when a Patriot Missile failed to destroy a Scud missile and 28 U.S. military people were killed as a result. The conversion of 100 hours in tenths of a second (3600000) to floating point introduced an undetectable error resulting in the missile guidance software incorrectly locating the scud missile. (Photo from www.army.mil.)
Ariane 5 ROCKET, Flight 501
On June 4th, 1996, 40 seconds into flight and at an altitude of 3.7 kilometers, the initial launch of the Ariane 5 rocket, flight 501, ended in RUD (colloquially, Rapid Unplanned Disassembly). Estimates of the loss of the rocket and cargo may be as high as $500M. Cause of the failure was an inappropriate floating point conversion. The image is of the recovered support strut of the satellite structure. (Photo from Deadpan.)
Vancouver Stock Exchange
In January of 1982 the Vancouver Stock Exchange started a stock index accumulating total stock value for all 1,400 stocks listed on the exchange. but truncating (rounding down) that sum up to 3000 times per day resulting in a loss of index value of about $25 per month for about 23 months indicating an index value of $524.811 when the actual value was $1098.892. (Image by Mafue)
The man behind the solution
Dr. Alan A. Jorgensen
A long-time computer system engineer with degrees in electrical engineering and computer science.
Leader in technology
Designed a high performance four-channel microprogrammed synchronous communications controller that was still operational 15 years after its introduction.
He owned and operated a computer system consulting business that offered system troubleshooting services to operators of real-time process control systems, particularly main plant computers in nuclear power stations.
As adjunct faculty he has taught university courses in microprogrammed design, programming, system design, and other computer science related courses.
He has been an international keynote speaker on software testing and quality.
Why floating point
His interest in floating point dates back to logic and compatibility testing of early floating-point units. The discovery of system failures that were traced back to floating point error has led him to design and patent a circuit for calculating and retaining bounds on floating point error.
More about the man
He has performed professionally as a musician and loves to read and paint and solve puzzles when he has time.