GUARDS Internal Reports

      Design

GUARDS Home Page | Requirements | Management | Team Directory

Short Title Project Ref Number Version Date Issued Partner Form Contact Person
Architectural development environment D2A1 AO 3002 C 07 Apr 1997 IS paper A. Paganone
Formal validation environment (D3O3 cover) D300 TO 0036 A 07 Apr 1997 TA paper I. Roux
Multi-level integrity specification D1A6 AO 2027 B 04 Apr 1997 MMS-F paper H. Schindler
IOs manager specification D1A6 AO 2025 B 04 Apr 1997 MMS-F paper H. Schindler
Software components D100 TO 2020 B 04 Apr 1997 MMS-F paper H. Schindler
Generic header of components specification D1A6 AO 2018 B 04 Apr 1997 MMS-F paper H. Schindler
Software architecture D1A6 AO 2013 D 04 Apr 1997 MMS-F paper H. Schindler
Feasibility assessment report (D3 task) D3A6 AO 1012 B 02 Apr 1997 ATR paper A. Amendola
Validation environment (D3O2 cover) D300 TO 4002 A 02 Apr 1997 SOE paper B. Attermeyer
Validation environment D3A2 AO 4001 A 02 Apr 1997 SOE paper B. Attermeyer
Hardware components specification D1A7 AO 1300 C 02 Apr 1997 ATR electronic C. Brusa
Output consolidation mechanisms D1A5 AO 0019 B 27 Mar 1997 TA electronic S. Lautier
Approach-methodology-tools for validation by simulation D3A3 AO 0034 A 26 Mar 1997 TA paper E. Jenn
Approach-methodology-tools for analytical evaluation - nuclear application - dependability modelling with stochastic Petri Nets D3A3 AO 0031 B 26 Mar 1997 TA paper E. Jenn
Operating system specification D1A6 AO 2026 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
Control-flow monitor specification D1A6 AO 2023 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
ICN manager specification D1A6 AO 2021 A 24 Mar 1997 MMS-F paper H. Schindler
Clock synchronizer specification D1A6 AO 2019 A 24 Mar 1997 MMS-F paper H. Schindler
Inter-channel fault treatment mechanism D1A3 AO 2014 B 24 Mar 1997 MMS-F paper H. Schindler
Dependability mechanisms D100 TO 2007 C 24 Mar 1997 MMS-F paper H. Schindler
Validation strategy definition D3A1 AO 5002 E 21 Mar 1997 LAAS paper M-J. Fontagne
Approach-methodology-tools for analytical evaluation D3A3 AO 0032 B 19 Mar 1997 TA paper E. Jenn
Analytical modelling and evaluation of GUARDS mechanisms & components D3A4 AO 6002 C 18 Mar 1997 PDCC electronic D. Tarini
Analytical modelling and evaluation of the GUARDS instances D3A4 AO 6001 C 18 Mar 1997 PDCC electronic D. Tarini
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 17 Mar 1997 SOE paper B. Attermeyer
Formal specification and verification of the inter-channel consistency network D3A4 AO 6004 C 15 Mar 1997 PDCC paper D. Tarini
Formal specification and validation of the clock synchronisation algorithm D3A5 AO 0801 C 15 Mar 1997 TA/Ulm electronic I. Roux
Formal methods in GUARDS D3A5 AO 0800 C 15 Mar 1997 TA/Ulm electronic I. Roux
Feasibility assessment report (D2 task) D2A3 AO 2016 A 05 Mar 1997 MMS-F electronic H. Schindler
Feasibility assessment report (D1 task) D1A9 AO 2015 A 05 Mar 1997 MMS-F electronic H. Schindler
Approach-methodology-tools for validation by simulation D3A3 TN 0022 B 19 Feb 1997 TA electronic E. Jenn
Temporal properties analysis toolset D2A2 AO 7014 C 19 Feb 1997 YORK electronic Lj. Beus-Dukic
Clock synchronisation mechanism D1A3 AO 2010 C 17 Feb 1997 MMS-F electronic H. Schindler
Inter-channel consistency mechanism D1A3 AO 2008 D 17 Feb 1997 MMS-F electronic H. Schindler
Intra-channel error processing mechanisms D1A2 AO 6005 B 13 Feb 1997 PDCC electronic D. Tarini
Approach, methodology and tools for evaluation by analytical modelling - railway application D3A6 AO 1011 A 10 Feb 1997 ATR paper A. Amendola
Multilevel integrity mechanisms D1A3 AO 2009 D 30 Jan 1997 MMS-F paper H. Schindler
Preliminary architecture definition D1A1 AO 5000 D 06 Jan 1997 LAAS paper M-J. Fontagne
Mechanism for discriminating transient from intermittent/permanent faults D1A2 AO 6003 A 16 Dec 1996 PDCC paper D. Tarini
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
Simulation D3A3 TN 0022 A 20 Nov 1996 TA electronic E. Jenn
D1 meeting in Toulouse D1A1 MM 5004 A 15 Nov 1996 LAAS paper M-J. Fontagne
Guidelines for software design D2A1 TN 3004 A 07 Nov 1996 IS electronic P. Coppola
D2 meeting in Paris D200 MM 3003 22 Oct 1996 IS electronic A. Paganone
Architecture definition bibliography D1A1 AO 5003 A 11 Oct 1996 LAAS paper M-J. Fontagne
Fault tolerance structures & mechanisms D1A2 AO 6000 A 19 Sep 1996 PDCC electronic D. Tarini
D3 meeting in Milan D300 MM 1012 11 Sep 1996 ATR electronic A. Amendola
Analysis of software design methods D2A1 TN 3001 A 02 Sep 1996 IS electronic A. Paganone
D2 meeting in York D200 MM 7009 24 July 1996 YORK electronic Lj. Beus-Dukic
Validation strategy in the nuclear field D3A3 TN 0014 A 12 July 1996 TA electronic S. Lautier
Timing analysis considerations D1A4 TN 7006 A 25 June 1996 YORK electronic Lj. Beus-Dukic
D2 kick-off meeting D200 MM 3000 12 June 1996 IS electronic P. Coppola
Kernel survey D1A4 TN 7003 A 21 May 1996 YORK electronic Lj. Beus-Dukic

GUARDS Home Page | Team Directory