GUARDS Home Page | Requirements | Design | Management | Team Directory

Short Title Project Ref Number Version Date Issued Partner Form Contact Person
Kick-off meeting 1/2/96 M100 MM 0001 19 April 1996 TA paper I. Roux
First Executive Board meeting M100 MM 0002 19 April 1996 TA paper I. Roux
Management Plan M100 DE 0003 A 01 July 1996 TA paper I. Roux
Nuclear industry requirements R1A1 AO 0005 C 09 Aug 1996 TA electronic S. Lautier
R1/R2 meeting in Aix-en-Provence R000 MM 0010 01 July 1996 TA paper I. Roux
First Quarterly Progress Report M100 DE 0011 A 01 July 1996 TA paper I. Roux
Validation strategy in the nuclear field D3A3 TN 0014 A 12 July 1996 TA electronic S. Lautier
Second Executive Board meeting M100 MM 0015 09 July 1996 TA paper I. Roux
R1O2 - Synthesis of the requirements R100 TN 0016 C 03 Oct 1996 TA paper S. Lautier
Certification standards in nuclear industry R2A1 AO 0017 A 27 Aug 1996 TA electronic I. Roux
R1O1 - End users' requirements R100 TO 0018 A 03 Oct 1996 TA paper S. Lautier
Output consolidation mechanisms D1A5 AO 0019 B 27 Mar 1997 TA electronic S. Lautier
Second Quarterly Progress Report M100 DE 0020 A 30 Sep 1996 TA paper I. Roux
Approach-methodology-tools for validation by simulation D3A3 TN 0022 B 19 Feb1997 TA electronic E. Jenn
Third Executive Board meeting M100 MM 0023 25 Nov 1996 TA paper I. Roux
Fourth Executive Board meeting M100 MM 0025 10 Jan 1997 TA paper I. Roux
Exploitation Plan - first update M100 DE 0027 A 07 Feb 1997 TA paper I. Roux
Periodic Management Report for 8,9,10/96 M100 PR 0030 25 Feb 1997 TA paper I. Roux
Approach-methodology-tools for analytical evaluation - nuclear application - dependability modelling with stochastic Petri Nets D3A3 AO 0031 B 26 Mar 1997 TA electronic E. Jenn
Approach-methodology-tools for analytical evaluation D3A3 AO 0032 B 19 Mar 1997 TA electronic E. Jenn
Approach-methodology-tools for validation by simulation D3A3 AO 0034 A 26 Mar 1997 TA paper E. Jenn
Formal validation environment (D3O3 cover) D300 TO 0036 A 07 Apr 1997 TA paper I. Roux
Fifth Executive Board meeting M100 MM 0035 07 Apr 1997 TA electronic I. Roux
Formal methods in GUARDS D3A5 AO 0800 C 15 Mar 1997 TA/Ulm electronic I. Roux
Formal specification and validation of the clock synchronisation algorithm D3A5 AO 0801 C 15 Mar 1997 TA/Ulm electronic I. Roux
Phase I final review M100 MM 0037 14 May 1997 TA paper I. Roux
Sixth Executive Board meeting M100 MM 0041 13 June 1997 TA paper I. Roux
Certification standards in railway industry R2A4 AO 1001 A 29 July 1996 ATR electronic M. Neri
General standards R2A5 AO 1002 A 29 Aug 1996 ATR electronic M. Neri
R2O1 - Trends in standardisation R2O1 TO 1003 A 31 July 1996 ATR electronic M. Neri
R2O2 - Standardisation framework R2O2 TO 1004 A 13 Sep 1996 ATR electronic M. Neri
Railway industry requirements R1A3 AO 1010 A 31 July 1996 ATR paper C. Brusa
Approach, methodology and tools for evaluation by analytical modelling - railway application D3A6 AO 1011 A 10 Feb 1997 ATR paper A. Amendola
D3 meeting in Milan D300 MM 1012 11 Sep 1996 ATR electronic A. Amendola
Feasibility assesment report (D3 task) D3A6 AO 1012 B 02 Apr 1997 ATR electronic A. Amendola
Hardware components specification D1A7 AO 1300 C 02 Apr 1997 ATR electronic C. Brusa
Space industry requirements R1A2 AO 2001 B 09 Sep 1996 MMS-F paper H. Schindler
Certification standards in space industry R2A3 AO 2002 B 09 Sep 1996 MMS-F paper H. Schindler
Dependability mechanisms D100 TO 2007 C 24 Mar 1997 MMS-F paper H. Schindler
Inter-channel consistency mechanism D1A3 AO 2008 D 17 Feb1997 MMS-F electronic H. Schindler
Multilevel integrity mechanisms D1A3 AO 2009 D 30 Jan 1997 MMS-F electronic H. Schindler
Clock synchronisation mechanism D1A3 AO 2010 C 17 Feb 1997 MMS-F electronic H. Schindler
Software components specification D1A6 AO 2013 D 04 Apr 1997 MMS-F electronic H. Schindler
Inter-channel fault treatment mechanism D1A3 AO 2014 B 24 Mar 1997 MMS-F paper H. Schindler
Feasibility assessment report (D1 task) D1A9 AO 2015 A 05 Mar 1997 MMS-F electronic H. Schindler
Feasibility assessment report (D2 task) D2A3 AO 2016 A 05 Mar 1997 MMS-F electronic H. Schindler
Generic header of components specification D1A6 AO 2018 B 04 Apr 1997 MMS-F paper H. Schindler
Clock synchronizer specification D1A6 AO 2019 A 24 Mar 1997 MMS-F paper H. Schindler
Software components D100 TO 2020 B 04 Apr 1997 MMS-F paper H. Schindler
ICN manager specification D1A6 AO 2021 A 24 Mar 1997 MMS-F paper H. Schindler
Inter-channel error manager specification D1A6 AO 2022 A 24 Mar 1997 MMS-F paper H. Schindler
Control-flow monitor specification D1A6 AO 2023 A 24 Mar 1997 MMS-F paper H. Schindler
Intra-channel error manager specification D1A6 AO 2024 A 24 Mar 1997 MMS-F paper H. Schindler
IOs manager specification D1A6 AO 2025 B 04 Apr 1997 MMS-F paper H. Schindler
Operating system specification D1A6 AO 2026 A 24 Mar 1997 MMS-F paper H. Schindler
Multi-level integrity specification D1A6 AO 2027 B 04 Apr 1997 MMS-F paper H. Schindler
D2 kick-off meeting D200 MM 3000 12 June 1996 IS electronic P. Coppola
Analysis of software design methods D2A1 TN 3001 A 02 Sep 1996 IS electronic A. Paganone
Architectural development environment D2A1 AO 3002 C 07 Apr 1997 IS electronic A. Paganone
D2 meeting in Paris D200 MM 3003 22 Oct 1996 IS electronic A. Paganone
Guidelines for software design D2A1 TN 3004 A 07 Nov 1996 IS electronic P. Coppola
D2 meeting in Pisa D200 MM 3005 18 Mar 1997 IS electronic A. Paganone
Approach, methodology and tools for validation by fault injection D3A2 AO 4000 C 07 Mar 1997 SOE electronic B. Attermeyer
Validation environment D3A2 AO 4001 A 02 Apr 1997 SOE paper B. Attermeyer
Validation environment (D3O2 cover) D300 TO 4002 A 02 Apr 1997 SOE paper B. Attermeyer
Preliminary architecture definition D1A1 AO 5000 D 06 Jan 1997 LAAS paper M-J. Fontagne
Certification standards in avionics industry R2A2 AO 5001 B 29 Aug 1996 LAAS electronic J. Arlat
Validation strategy definition D3A1 AO 5002 E 21 Mar 1997 LAAS paper M-J. Fontagne
Architecture definition bibliography D1A1 AO 5003 A 11 Oct 1996 LAAS paper M-J. Fontagne
D1 meeting in Toulouse D1A1 MM 5004 A 15 Nov 1996 LAAS paper M-J. Fontagne
Coverage matrix for D1 and D3 R1A4 TN 5005 A 21 Jan 1997 LAAS paper M-J. Fontagne
Fault tolerance structures & mechanisms D1A2 AO 6000 A 19 Sep 1996 PDCC electronic D. Tarini
Methodology for the modeling and evaluation of GUARDS instances D3A4 AO 6001 C 18 Mar 1997 PDCC electronic D. Tarini
Model-based analytical evaluation of GUARDS mechanisms and components D3A4 TN 6002 C 18 Mar 1997 PDCC electronic D. Tarini
Mechanism for discriminating transient from intermittent/permanent faults D1A2 AO 6003 A 16 Dec 1996 PDCC paper D. Tarini
Formal specification and verification of the inter-channel consistency network D3A4 AO 6004 C 15 Mar 1997 PDCC paper D. Tarini
Intra-channel error processing mechanisms D1A2 AO 6005 A 17 Dec 1996 PDCC paper D. Tarini
Kernel survey D1A4 TN 7003 A 21 May 1996 YORK electronic Lj. Beus-Dukic
Timing analysis considerations D1A4 TN 7006 A 25 June 1996 YORK electronic Lj. Beus-Dukic
D2 meeting in York D200 MM 7009 24 July 1996 YORK electronic Lj. Beus-Dukic
Computational models D1A4 AO 7012 B 12 Dec 1996 YORK electronic Lj. Beus-Dukic
Schedulability analysis D1A4 AO 7013 B 12 Dec 1996 YORK electronic Lj. Beus-Dukic
Temporal properties analysis toolset D2A2 AO 7014 C 19 Feb 1997 YORK electronic Lj. Beus-Dukic

GUARDS Home Page | Team Directory

TA | ATR | MMS-F | IS | SOE | LAAS | PDCC | YORK