3 <work-package number="6">
4 <name>Testing and Validation</name>
5 <begin>Month 12</begin>
7 <person-month participant="bologna" number="5"/>
8 <person-month participant="inria" number="6"/>
9 <person-month participant="dfki" number="3"/>
10 <person-month participant="nijmegen" number="17"/>
11 <person-month participant="aei" number="14"/>
12 <person-month participant="trusted-logic" number="9"/>
14 <p>The WP intends to measure the system suitability and
15 scalability and the satisfaction level of users with the
19 <p>Large scale testing and validation will start after the
20 release of the first MOWGLI prototype, at month 18. We
21 shall consider three main validation tests:</p>
24 <dd>Education. Full development of a fragment of the library
25 covering a typical undergraduate course in algebra of
29 <dd>Certified code. The aim is to be able to present the
30 formalization and the demonstration of some security
31 properties related to the code embedded into a smart card.
32 The presentation must be in a format understandable by
33 the company in charge of the evaluation of the code and
34 in accordance with the Common Criteria standard.</dd>
37 <dd>Electronic Publishing. The aim is to test the LaTeX-based
38 authoring tool and to demonstrate how an electronic
39 physics journal benefits from the exploitation of
40 content markup in journal articles.</dd>
43 <deliverable file="D6.a"/>
44 <deliverable file="D6.b"/>
45 <deliverable file="D6.c"/>
46 <deliverable file="D6.d"/>
48 <p>We expect a lot of feed-back during this phase, that will
49 be taken into account for the definition of the advanced and
50 final versions of the MOWGLI prototype.</p>