RE: I need some help

From: Arnold Urken <aurken_at_stevens_dot_edu>
Date: Tue Apr 26 2005 - 08:35:27 CDT

Ron,

Flight control software is based on redundant computers that vote to
overcome expected system failures. Google flight software redundancy and
voting.

Arnie

-----Original Message-----
From: ovc-discuss-bounces@listman.sonic.net
[mailto:ovc-discuss-bounces@listman.sonic.net] On Behalf Of Ron Crane
Sent: Monday, April 25, 2005 11:32 PM
To: Open Voting Consortium discussion list
Subject: [OVC-discuss] I need some help

At Alan's request, I am writing a paper rebutting Prof. Shamos's recent
paper that promotes DREs. I've got most of it in hand, but I need some
help on three issues. Two of them should be easy for someone who knows,
and one will require some work. I need all these by Thursday if
possible. Here they are:

1. A few reliable cites for the proposition that flight-control
software is subject to rigorous specification, implementation, review,
and testing procedures.

2. A few reliable cites for the proposition that software used for
major financial transactions (e.g. a bank's check-clearing system) is
subject to tight standards (though probably not as tight as (1)).

3. I need someone who is well versed in OVC's system to read section
2.4 of Shamos's paper
(http://euro.ecom.cmu.edu/people/faculty/mshamos/paper.htm#_edn1 ) and
to write a technically solid rebuttal. Reward: naming as a co-author.

Thanks!

-Ron

_______________________________________________
OVC discuss mailing lists
Send requests to subscribe or unsubscribe to arthur@openvotingconsortium.org

_______________________________________________
OVC discuss mailing lists
Send requests to subscribe or unsubscribe to arthur@openvotingconsortium.org
==================================================================
= The content of this message, with the exception of any external
= quotations under fair use, are released to the Public Domain
==================================================================
Received on Sat Apr 30 23:17:14 2005

This archive was generated by hypermail 2.1.8 : Sat Apr 30 2005 - 23:17:22 CDT