Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements

Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has illustrated the importance of formal software engineering in the development of complex systems: poorly engineered and poorly documented voting systems have had serious negative consequences for all system stakeholders. It is clear that the formal verification of e-voting system models would help to address problems associated with certification against standards, and would improve the trustworthiness of the final systems. However, it is not yet clear how best to carry out such formal modelling and verification in order to leverage the compositional nature of the problem, and manage the complexity of the task. The choice of modelling language - for expressing the high level design and architecture of an e-voting system - poses many problems due to the complex mix of requirements that such a system is requi...

• Type: Conference
• Year: 2010
• Where: ISARCS
• Authors: J. Paul Gibson, Eric Lallet, Jean-Luc Raffy
• Keywords: Different Modelling Languages, Hardware, ISARCS 2010, Modelling Languages, Voting Systems