[Imsa-hpc-list] Talks on September First: Two talks will be presented in 116 McAdams on problems in electronic voting in France.

[Steve Stevenson]

Paul Gibson and Jean Reay of IT-Sud Paris will visit Clemson from  
Tuesday afternoon of the First until 3PM on the Second.
http://www-public.it-sudparis.eu/~gibson/

They have prepared two talks related to their work on electronic  
voting. After the talk there will be time for discussion, or you can  
join us for dinner, planned at the Blue Heron at 6PM.

steve
---------------------------------------------------------------------------------
TITLE: "Feature Interactions in a Software
Product Line for E-voting"

ABSTRACT:

A significant number of failures in e-voting systems have arisen
because of poorly specified requirements, combined with an ad-hoc
approach to engineering multiple variations of similar machines. We
demonstrate that e-voting is a suitable domain for leveraging state-of-
the-art in software product line (SPL) engineering techniques and tools.
We propose, based on examples of typical requirements, that a feature-
oriented approach to e-voting domain analysis is a good foundation upon
which to carry out commonality and variablity analysis. Simple anal-
ysis of our core and optional features (and their variants) leads us to
believe that feature interactions are a major problem in voting systems.
We conclude that a formal software product line would help to man-
age the composition of features in such a way as to eliminate interac-
tions in the requirements models, before particular e-voting systems are
instantiated.

TITLE: "A distributed voting system in France: the verification problem"

ABSTRACT: We propose that formal modelling techniques
are necessary in establishing the trustworthiness of
e-voting systems and the software within. We illustrate how
a distributed e-voting system architecture can be verified
against quality of service requirements, through simulation
of formal models. A concrete example of a novel e-voting
system prototype (for use in French elections) is used to justify
the utility of our approach. The quality of service that
we consider is the total time it takes for a voter to record
their vote (including waiting time). The innovative aspects
of the e-voting system that required further research were
new requirements for voting anywhere and re-voting; and
the potential for undesirable interactions between them.

regards
paul

Steve Stevenson wrote:
> Paul,
> Only two direct responses: one for French voting and one for feature  
> interaction.
> Steve
> ===
> Dr. D. E. Stevenson, School of Computer Science
> 315 McAdams Hall, Clemson University
> 864-656-5880
> Be Well. Do Good Works. Stay in Touch. Garrison Keillor

-- 
http://www-public.it-sudparis.eu/~gibson/

=============
Steve Stevenson

"The whole problem with the world is that fools and fanatics are  
always so certain of themselves, and wiser people so full of doubts."



---
Steve Stevenson

It's not that people don't know, it's so much of what they know ain't  
so - Josh Billings.