democracyhaha writes: Brazilian voting machines migrated to Linux operating system, informs Giuseppe Dutra Janino, secretary of technology for Brazil's Superior Electoral Court. The new machines are ready for deployment, and citizens will use them to choose their majors and aldermen in this year's elections in October 5th. G1 News has an article where Janino says Linux will be replacing VirtuOS and Windows CE as the operating system in the voting machines designed by engineer Carlos Rocha from OMNITECH, and licensed for manufacturing to Diebold-Procomp.
According to Janino, this change will bring three benefits. "The first is saving money", he says, "the government will no longer have to pay licensing fees for the proprietary operating systems". He acknowledges the need and costs to redevelop all software for the new operating system, but says "this cost will be offset gradually, as we save on licensing fees". He goes on, saying the second benefit "is transparency of the process. Before we couldn't show the operating system source code to entities like the Bar Association and political parties". Every 180 days the current source code for the software is sent for inspection to all interested parties and organizations, including all political parties and legal entities, before being digitally signed and installed on the machines. The third benefit, says Janino, "is security. Linux is robust and widely recognized as secure".
Voting machines have been used in all ballots in Brazil since 1998, and no fraud has been proved so far.